0x 开源 Rust 实现的零知识证明系统 OpenZKP

链闻消息，去中心化交易所协议 0x 宣布开源 Rust 实现的零知识证明（ZKP）系统 OpenZKP，旨在基于 DEX 可扩展性和性能方面推进试验构建更通用的解决方案。该解决方案构建了一个易于使用的低级别界面，任何人都可以与之交互，是目前可用最小证明量中最快的证明实现。与闭源相比，OpenZKP 具有几个主要优点：1）任何人都可以在其他人工作的基础上为 OpenZKP 做出贡献，2） OpenZKP 可审核，因此，任何人都可自行查看代码并确定是否存在安全漏洞，3）开源实现保证了项目的连续性，因为只有在所有源代码都可访问的情况下，0x 协议才能独立于其创建者起作用。目前 OpenZKP 库可供开发者使用。STARK 最大优势是重复性约束下的一种快速证明实现，并拥有高级别的密码安全性能，不需要进行可信设置，还可抵御量子计算机的攻击。STARK 的数学也比某些替代方法更简单，可简化证明者和验证者的开发，其密切相关的系统（例如 Aurora）也正在进行积极应用开发。STARK 的主要缺陷是，作为一门新的约束语言，其相关工具还不完善。另外它的证明大小约为 100kB，比一些其他系统要大。（链闻） [原文链接]