本文将介绍 zk-STARK 的原理并解释一般的数学概念，如果您想深入了解，可以参考以下资料： STARK Math: The Journey Begins https://vitalik.eth.limo/general/2017/11/09/starks_part_1.htmlzk-STARK 如何运作？ 图1：zk-STARK 储备金证明执行记录表和默克尔树 第一步：设定约束条件 为了证明平台持有的用户资产，我们先提出三项陈述： 陈述 1： 平台每名用户资产价值的总和是正确的，包括每种数字资产的价值和全部用户的净资产价值。 陈述 2： 平台没有通过伪造净资产为负的虚拟用户，来减少平台持有用户资产价值的账面数字 (只有当单一用户的净资产大于 0 时，才允许存在负余额) 。 陈述 3： 平台持有的用户资产总和等于每一名用户的资产之和，因此每个用户都可以验证其净资产是否包含在平台持有的总资产中。