防弹证明的证明数据量较量短，并且有很好的隐私掩护，可是比拟于其他新的零常识证明技能较慢，因此它大概不合用于出格巨大的证明，好比说生意业务的时候要埋没金额，我们就可以用防弹证明。可是对付雷同偿付本领证明这样内容较为巨大的证明，防弹证明就不再适合。而在应用上，Monero 中对防弹证明举办的早期测试中，生意业务局限和用度淘汰了 80％，这是一个庞大的进步。
Supersonic2019 年 10 月 22 日，Findora 连系首创人，斯坦福暗码学家 Ben Fisch 和 Benedikt Bünz，以及 Alan Szepeniec 宣布了他们在零常识证明方面的最新打破，即「Supersonic」（超音速）。（Benedikt Bünz 也是防弹证明的发现者之一）
在这篇文章中，我们将主要报告两种已知的可以较量好的办理这个问题的零常识证明技能。
当比特币网络的某个节点验证生意业务时，它会确保生意业务乐成 1 = 0.1 + 0.9。请留意，现实世界存在生意业务用度，这个式子没有包括生意业务用度。缺少了一部门，在这个例子中我们可以忽略掉它，以浅易化这个常识点的观念。
C(1) = C(100) + C(-99)
sum of inputs = sum of outputs
可是这又引进了一个新的问题，对付：
Sonic，PLONK，Fractal 和 Libra 均利用应用于多项式 IOP 的多项式理睬方案。有趣的是，多项式的选择和利用的理睬方案在很洪流平上互相独立。因此，凡是可以将一个 SNARK 的多项式 IOP 与其他 SNARK 的多项式理睬方案一起利用。这意味着多项式 IOP 的开拓和多项式理睬方案的开拓可以别离举办，这就是 Supersonic 的环境。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
