0X:介绍OpenZKP zk-STARK开源实现

在2018年末，我们与StarkWare合作构建了可扩展的DEX概念验证，称为StarkDEX。通过这些经验，我们学到了很多东西，并且对ZKP在DEX可扩展性和性能方面的强大能力更加自信。

 

在2019年春季发布StarkDEX概念验证之后，我们决定独立进行以构建更通用的解决方案，以符合我们对开源和去中心化的基本信念。今天，我们很高兴推出OpenZKP，这是零知识证明（ZKP）的完全开源的Rust实现。

 

我们构建了一个易于使用的低级界面，任何人都可以与之交互，并且它是当今可用的最小量证明中最快的证明者。查看我们的文档和示例。

 

开源开发是0x创建令牌化世界的使命的核心，在该世界中所有价值可以自由流动。为了使区块链网络取代传统金融系统，堆栈的每一层都必须是开放和透明的。开源ZKP实现是下一步的逻辑，对于广泛采用这些技术至关重要。与封闭源方法相比，OpenZKP具有几个主要优点。

 

首先，任何人都可以为OpenZKP做出贡献，并以我们和其他人的工作为基础。零知识证明是一项快速发展的技术，许多有才能的人都在研究它。通过尽早而经常地释放，我们可以彼此有效地学习，并集体前进。其次，OpenZKP是可审核的。任何人都可以自己查看代码并确定是否存在安全漏洞，这一点至关重要。第三，我们的开源实现提供了连续性。我们希望0x协议独立于其创建者而起作用，并且只有在所有源代码都可访问的情况下，这种情况才会发生。

 

OpenZKP库今天可用。我们利用了STARK各种ZKP，因为它利用了一些独特的特性。最重要的是，STARK具有很多重复性，可以非常快速地解决约束问题，这是我们用例的主要瓶颈。密码安全性非常好，不需要受信任的设置，并且可以抵御量子计算机的攻击。数学也比某些替代方法更简单，这简化了高质量证明者和验证者的开发。在密切相关的系统（例如Aurora）中也有积极的发展。主要缺点是它具有一种新的约束语言，尚无良好的工具。另一个缺点是，证明比其他一些系统要大，但是在大约100kB时，它们仍然很小。

 

OpenZKP仍处于起步阶段。但是，我们有一个内部团队致力于构建这项技术并将其推向市场。我们赞助了Coda Dekrypt SNARK挑战赛，在该挑战赛中，我们计划纳入基于GPU的快速加密数学。我们还将参加一些即将举行的活动，包括Devcon5。请确保在第3天上午11:25在B3会议室观看我们的OpenZKP演示！

 

我们期待在零知识证明方面进一步与加密社区合作，并欢迎您对OpenZKP提出任何反馈。请继续关注更多激动人心的更新！