/CheckBalance --mode="single_coin_total_balance" --coin_name="btc" --por_csv_filename=okx_por_20221122.csv Windows CheckBalance.exe --mode="single_coin_total_balance" --coin_name="btc" --por_csv_filename=okx_por_20221122.csv 注：如果您使用的是 Mac 系统，在此步骤中遇到安全设定的问题，可到 系统偏好设置 -> 安全性&隐私 -> 通用 ->点按锁按钮以进行更改 -> 允许从以下位置下载的 App：App Store和被认可的开发者 -> 给予工具权限 2. 根据返回结果，所有地址余额输出结果如下图所示 3.

三、zk-PoR 版本 2 的进展 我们的zk-PoR版本2比以前的版本有了几个进步。 更高的效率： 它现在比以前的版本快50倍。在单个10核机器上需要3小时，而以前的版本使用9台64核机器需要36小时。这种加速是由于使用了Plonky2框架，该框架将Rust编码的电路编译成高效的机器语言，而不是使用较慢的Python脚本。我们还增强了Plonky2在GPU上运行一些计算，将时间额外减少了30%。 更好的可审计性： 在版本2中，我们使用了一个高级框架，为我们处理复杂的加密细节。这使我们的代码更清晰，更易读，更不容易出错。 简明证明： V2证明大小（~500KB）仅为V1（~1.2GB）的0.05%。由于递归方法，证明可以重复聚合并压缩成一个证明。四、如何执行准备金证明（PoR）的自我验证？

事件合约采用全额保证金制度： 保证金占用 = 买入份额数量 × 买入价格 + 手续费 最大亏损 = 保证金占用（即买入时支付的全部 USDT） 最大收益 = (1.00 − 买入价格) × 份额数量 − 手续费 各类挂单的保证金占用如下： 操作 保证金冻结金额 以价格 P 买入 N 份看涨 N × P + 买入手续费 以价格 (1−P) 买入 N 份看跌 N × (1−P) + 买入手续费 注： 事件合约仓位不会爆仓，也不会参与账户爆仓流程。但若全仓账户触发整体风险，未成交的事件合约挂单将被取消，以保障账户整体安全。

第二步：低次多项式扩展 利用上述多项式约束，我们可以得到一个长度为 uts * N 的计算记录多项式。出于安全考虑，我们在一个更大的评估域上进行多项式承诺，扩展因子为 extension_factor。 在上述情况下，我们可以从 I(x) 计算出一个多项式 p(x)。当我们使用扩展因子 8 时，我们将在 p(x) 上计算另外 32 * (8-1) 个点。 由于两个不同的 D 次多项式最多共享 D 个点，因此具有有效多项式（满足上述约束条件）和 D 次假多项式（不满足上述约束条件）的多项式对最多共享 D 个点。这意味着假多项式有 的机会通过随机抽样检查。如果我们进行 n 次抽样检查，机会会降低到 。 我们默认将 extension_factor 设置为 16，将抽样检查默认次数设置为 16，因此安全级别将为 80 位。 第三步： 多项式承诺 我们用计算记录和相应的用户余额、用户 ID 以及每行对应约束多项式的值来计算哈希值，并生成默克尔树 (Mekel tree)。默克尔树根是多项式的承诺 (commitment) 值。