零知识证明：zk-STARK 是什么？它如何运作？

什么是 zk-STARK？

zk-STARK 储备金证明系统运用了一种称为 STARK 理论的复杂数学模型。zk-STARK是"Zero-Knowledge Scalable Transparent Arguments of Knowledge (零知识可扩展的透明知识论证)"的缩写，是一种加密证明技术，由以太坊发明人维塔利克-布特林 ( Vitalik Buterin, 即"V神") 的理论发展而来，旨在通过区块链确保计算的完整性和隐私。本文将介绍 zk-STARK 的原理并解释一般的数学概念，如果您想深入了解，可以参考以下资料：

核对步骤

如何自行验证储备金证明？
如何验证：
1）要验证您的账户资产余额是否以 zk-STARK 默克尔树叶子节点的形式包含在树根中，请登录您的欧易账号，前往"审计" 页面查看近期审计文件，点击"详情"查看审计数据。
2）点击"复制数据"获取手动验证所需的数据。
3）点击"复制数据"后，打开记事本或其他文本编辑器，粘贴刚刚复制的 JSON 文本并保存为文件。JSON 文本包含您的账户余额和默克尔路径快照，粘贴完成后请将文件保存在一个新建文件夹。
6）打开 zk-STARKValidator 并自动运行保存在文件夹中的 JSON 文本文件。
如何验证：
5）打开 zk-STARKValidator 并自动运行保存在文件夹中的"sum proof data"文件。