本文所述办理方案的配合点是都利用了零常识暗码学。它们之间的差别性则源自数据可用性问题。

生成一个虚假的零常识证明

安比按：SNORK = Succinct Non-interactive Oecumenical (Universal) aRguments of Knowledge （简捷的非交互性通用常识论证），实际上就是带有通用且可进级的可信初始化配置的 SNARK。

今朝为止，已经有许多基于零常识证明的暗码学证明鼓起，个中最知名的莫过于 SNARK 和 STARK 。它们之间有着很是重要的接洽。

鉴于比特币的设计，其生意业务吞吐量从理论上来说只有每秒 7 笔。实际上，由于空块、巨大的输入和输出生意业务等问题，吞吐量平均只有每秒 3 笔。当比特币网络于 2017 年通过软分叉更新断绝见证协议后，吞吐量增至 4.6 笔，照旧连每秒 7 笔都达不到。

现实糊口中的例子

Vitcor （验证者）眼中的世界

安比按：读者应该留意到了，2.3.1 章节和 2.3.2 章节别离就是零常识证明属性中的 「完备性」 和 「靠得住性」：正确的证明肯定可以或许通过验证；错误的证明肯定不能通过验证。这里并没有用到零常识证明的 「零常识性」。因此，若不需要满意隐私要求，仅仅是为了提高可扩展性，则任何满意完备性、靠得住性、简捷性（证明体积小）、验证速度快的证明系统，实际上都能用作同样的用途。因此，Vitalik 就曾提议 「以 snarks 替换掉 ZK rollup 的 ZK 前缀」，可能更细致的定名好比 「

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。