零知识证明：什么是 zk-STARKs 以及它们是如何工作的？（zk-STARK V2）

一、什么是储备证明和零知识证明？

1、什么是储备证明（PoR）？

核对步骤

1. 有关更多技术细节，例如我们如何调整帐号以适应批量大小或选择正确的哈希算法，请查看此页面。
2. 登录您的OKX帐户，转到资产，并选择 PoR报告
3. 选择详细信息 ，以查看审计数据
4. 通过选择复制数据获取手动验证所需的数据
5. 选择复制数据后，打开文本编辑器（例如使用笔记本），然后粘贴并将JSON字符串保存为文件。文件必须以名称“_inclusion_proof. json”结尾。JSON字符串包含您的帐户余额和Merkle路径的快照，然后将文件保存在新文件夹中。
6. 打开文本编辑器（例如Notebook），然后粘贴JSON字符串并将其保存为文件。文件名必须以“_inclusion_proof. json”结尾。将文件保存在新文件夹中。
7. 打开 zk-STARKValidator；它将自动运行您保存在文件夹中的JSON文件。
8. 转到我们的储备证明页面并选择责任报告
9. 打开zk-STARKValidator；它将自动运行您保存在文件夹中的求和证明数据文件

补充说明

储备证明（PoR）是加密货币交易所展示其拥有足够资产来覆盖所有用户余额的过程。这通过证明交易所没有隐藏任何负债，以博取信任。展示这一点的最简单方法是发布交易所的资产金额和用户余额列表，以便每个人都可以确认：

欧易持有的用户资产总量等于每个用户资产余额的总和。

每个用户的总余额都大于零，并对其资产进行核算，覆盖其负债并确保每个用户拥有正的净资产。

交易所公布的总价值包含每个用户，因此每个用户都应该能够验证他们的净值是否包含在总价值中。

细节以 OKX 官方帮助原文 为准；本页为学习核对清单，非官方镜像。