简明证明： V2证明大小（~500KB）仅为V1（~1.2GB）的0.05%。由于递归方法，证明可以重复聚合并压缩成一个证明。四、如何执行准备金证明（PoR）的自我验证？ 这是如何检查您的资产余额是否包含在zk-STARK Merkle叶子中的方法： 1、登录您的OKX帐户，转到资产，并选择 PoR报告 2、选择详细信息 ，以查看审计数据 3、通过选择复制数据获取手动验证所需的数据 4、选择复制数据后，打开文本编辑器（例如使用笔记本），然后粘贴并将JSON字符串保存为文件。文件必须以名称“_inclusion_proof. json”结尾。JSON字符串包含您的帐户余额和Merkle路径的快照，然后将文件保存在新文件夹中。 5、打开文本编辑器（例如Notebook），然后粘贴JSON字符串并将其保存为文件。文件名必须以“_inclusion_proof. json”结尾。将文件保存在新文件夹中。 JSON字符串包含帐户余额和Merkle路径的快照。

可以直接使用获取交易产品基础信息接口获取：https://www.okx.com/docs-v5/zh/#public-data-rest-api-get-instruments 合约面值：ctVal，最小下单数量：minSz。九、instId的格式是什么样的？ 您可以在该页面，直接获取交易产品基础信息接口、获取instId格式。十、怎么设置止盈止损？ 1、如果是下单附加止盈止损，可以参考下单接口：https://www.okx.com/docs-v5/zh/#order-book-trading-trade-post-place-order 的attachAlgoOrds数组参数。 2、如果是单独下单止盈止损，可以参考策略委托接口：https://www.okx.com/docs-v5/zh/#order-book-trading-algo-trading-post-place-algo-order。

zk-STARK是"Zero-Knowledge Scalable Transparent Arguments of Knowledge (零知识可扩展的透明知识论证)"的缩写，是一种加密证明技术，由以太坊发明人维塔利克-布特林 ( Vitalik Buterin, 即"V神") 的理论发展而来，旨在通过区块链确保计算的完整性和隐私。本文将介绍 zk-STARK 的原理并解释一般的数学概念，如果您想深入了解，可以参考以下资料： STARK Math: The Journey Begins https://vitalik.eth.limo/general/2017/11/09/starks_part_1.htmlzk-STARK 如何运作？ 图1：zk-STARK 储备金证明执行记录表和默克尔树 第一步：设定约束条件 为了证明平台持有的用户资产，我们先提出三项陈述： 陈述 1： 平台每名用户资产价值的总和是正确的，包括每种数字资产的价值和全部用户的净资产价值。