原文标题：《零知识证明进入大范围应用倒计时？0x 正式发布 OpenZKP》 原文作者： Remco Bloemen 原文翻译：巴比特
10 月 8 日，0x 研究团队正式宣布推出 OpenZKP，这是一种完全开源的零知识证明 Rust 实现，零知识证明技术或者很快就会迎来更加广泛的应用。
在 2018 年末，去中心化交易所协议 0x 的研究团队与 StarkWare 合作创建了一个可扩展 DEX 的概念验证项目，名为 StarkDEX。整个过程中，开发人员学到了很多东西，并且对 ZKP（零知识证明）在 DEX 可扩展性和性能方面的强大能力更加有信心。
在 2019 年春季 StarkDEX 概念验证结束后，0x 的研究团队决定独立推进试验以构建更通用的解决方案，一种符合团队对开源和去中心化基本信念的解决方案。10 月 8 日，0x 研究团队正式宣布推出 OpenZKP，这是一种完全开源的零知识证明 Rust 实现。
开发团队创建了一个易于使用的界面，任何人都可以与之交互。而且，它是当今可用的最小量证明中最快的证明实现。详情可点击文档和案例。
开源是 0x 创建通证化世界使命的核心。为了让区块链网络取代传统金融系统，堆栈的每一层都必须是开放和透明的。从逻辑上讲，开源的 ZKP 实现就是下一步，它对于这些技术的广泛采用至关重要。与闭源的解决方案相比，OpenZKP 拥有以下几个主要的优点。
首先，任何人都可以为 OpenZKP 做出贡献，以 0x 团队和其他人的工作为基础进行开发。零知识证明是一项快速发展的技术，许多专业人士都在研究它。通过尽早的发布以及频繁的更新，研究人员可以彼此有效地相互学习，一起向前推进。其次，OpenZKP 是可审计的。任何人都可以自己查看代码并确定它是否存在安全漏洞，这一点至关重要。第三，这一开源实现提供了一种连续性。开发团队希望 0x 协议在运行时不受其创建者的影响。只有在所有源代码都可访问的情况下，这种情况才会发生。
OpenZKP 库已经可以供开发者使用。开发团队采用零知识证明中的 STARK，因为它拥有一些独特的特性。最重要的是，STARK 有非常快的证明者，特别是对于拥有很多重复性的约束来说，这也是试验用例的主要瓶颈。STARK 的加密安全性非常好，不需要可信的初始设置，并且可以抵御量子计算机的攻击，数学方面也比某些替代方法更简单。在密切相关的系统（例如 Aurora）中也有积极的发展。它的主要缺点是它使用一种新的约束语言，目前尚无良好的工具。另一个缺点是，证明（proof）本身比其他一些系统要大，虽然有大约 100kB，但仍然很小。
巴比特翻译原文：https://blog.0xproject.com/introducing-openzkp-1dea6b22dceb |
玩币族移动版
