有效性证明与错误性证明

和 OR 比较，VP 具有以下优势：

从根本上更安全

撤款时的资本效率高 1000 倍

可拓展性更强（链上）

在计算方面，至少能达到相同的效率

安全性

比较VP 和 OR ，前者只会在某状态转换被严格证明有效的情况下执行该状态转换，而后者则允许任意的状态转换，参与方可以针对无效的状态转换提交错误性证明。区块链上的基础架构解决方案必须足够健壮，要能支撑来自金融世界、每天万亿级别的资金交互负载。VP 和 OR 分别怎样胜任？由于在 OR 中窃取资金的成本和收益大小无关，所以一旦系统承载了足够多的资本，使得破坏系统变得有利可图，那理性的参与者肯定会想方设法通过攻击牟利。与 OR 相反，VP 不会转换到任何无效的状态，使得无论承载多少资金都不会被盗。对于大规模的金融系统，VP 更健壮，而 OR 更脆弱。

也可以站在数据集一旦遗失的角度分析系统的安全性。和 VP 相比，OR 中的数据更为敏感。一旦数据遗失，OR 中的资金就可能被盗 —— 也正因如此，目前的设计方案都集中在链上数据可用性挑战（Data Availability）上。而对于 VP ，由于采用了链上数据（例如 ZK-Rollup），资金就跟存在 Layer-1 中一样安全。至于 VP 的链下数据部分，资金最多被冻结，而不会失窃。

资金效率

数字货币世界中流动性的一大痛点在于资金取款时的延迟。在 OR 中，标准取款窗口期大约为 1 周时间——这是给提交错误性证明的有效窗口时间（一个安全性参数）。在 VP 中，标准取款窗口大约为 10 分钟（利用额外的软件和硬件提升能变得更短）—— 这是针对上一次计算结果来生成有效性证明的时间。因此 OR 的标准取款窗口时间要比 VP 长 1000 倍（1 周/10 分钟 ~ 1000）。使用 OR 就要承受这样 1000 倍的不便，这不仅是时间上的延迟，也是资金效率的降低。

一个免信任的快速提款机制：想要立刻提款的用户需要给流动性提供商打一份链下资产的欠条，即签名了的条件支付交易，然后流动性提供商从自己的 “存钱罐” 智能合约中垫付这笔资金，在链上把欠条金额上的资金转给提款用户，整套操作需要的时间和区块链网络的转账时间差不多。流动性提供商会定期把累积的链下资产转移到链上的“存钱罐”中。

VP 和 OR 都能应用快速取款机制。但在 OR 系统中，流动性提供商需要在 “存钱罐” 中准备 1000 倍的资金，因为他们收到链下资产等待的时间窗口要长 1000 倍。这个 1000 倍的比例和 “存钱罐” 流动性算法中的各种假设都无关：无论是基于取款金额期望值，或 提款-存款差额，再或者是峰值流动性需求、平均撤款金额等等，OR 需要的储备金数量都是 VP 的 1000 倍。

然而，有时根本无法使用快速撤款。对于非同质化资产（或者是一些非主流同质化资产）就没法使用（或者应用的成本很高）：

非同质 Token（NFT）：正如早先由 Vitalik 介绍那样，如果一只名叫 Mitzi 的名贵 CryptoKitty 存在了链下，他的所有者没法要求在链上再收到一只 Mitzi ，因为世界上有且只有这一只叫 Mitzi 的 CryptoKitty。

隐蔽交易：Zerocash 风格的承诺（commitment）在某种程度上也是非同质化的。要想把隐蔽交易中的资金快速提到主链（主链上也应该保持隐蔽性），用户必须要向流动性提供商揭露承诺中的数据，破坏隐蔽性。

在这种快速撤款机制无法应用的场景下，用户只能选择等待标准撤款窗口结束，VP 则要比 OR 快 1000 倍。

可拓展性（链上）

对比不同的 rollup 系统，由于同类事物间的比较才有意义，因此我们只比较提供链上数据可用性的 rollup 系统，即：OR vs. STARK ZK-Rollup（StR）。虽然不想，但是所有在链上存储数据的 rollup 系统都将随着 rollup 交易的增多而线性增大消耗的资源量。链上数据包含一些 状态（例如交易细节）以及 见证数据（例如用来证明交易参与各方的数字签名）。OR 和 StR 的区别在于随着交易量的增加，前者的见证数据线性增长，而后者把这些见证替换成了一个证明，这个证明的大小只会多项式对数级别增长。划重点，对于足够大、足够多的批量交易，StR 的链上数据指纹要比 OR 小很多...

从细节出发：在 StR 中，见证数据能核实 rollup 运营者所进行的查验，因此一批计算只需要一则见证（例如一份 zk-proof），而不需要在每一份交易后面都附一份证明。更优秀的是，在现代 zkp 系统中，这个证明的大小是固定的（准确点来说，正如我们前文所提到，是多项式指数级别）。因此随着批量交易的增大，分摊到每一条交易头上的资源消耗反而减少。在 OR 中，每一条交易都必须附上一则见证，使验证人能核实交易的正确性。因此对于大批量的交易，并没有均摊减少的优势。更重要的是。OR 中的见证要比交易本身大很多：比方说 OR 见证需要包含所有用户的签名 1，而 VP 不需要（证明能核实它们已经在链下被验证过了）。在单纯的支付中，见证要比支付的数据量大 3 到 5 倍；而对于复杂的应用场景（比如说隐蔽交易），见证通常会比状态的数据大 10 倍以上，有时甚至更多。

总的来说，OR 明显要消耗更多的链上资源，也因此比 StR 更快地顶到拓展性天花板。

—-

编译者/作者：舒宁

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。