10月8日，0x研究团队正式宣布推出OpenZKP，这是一种完全开源的零知识证明Rust实现，零知识证明技术或者很快就会迎来更加广泛的应用。
零知识证明技术开发公司StarkWare推出第一个公开版本Cairo 1.0:1月6日消息，零知识证明技术开发公司 StarkWare 宣布推出第一个公开版本的 Cairo 1.0，Cairo 于 2020 年作为图灵完备的编程语言首次推出，用于高效编写 STARK 可证明的程序。Cairo 1.0 中最重要的变化之一是语法，新版本的 Cairo 允许编写更安全的代码。Cairo 1.0 还引入了 Sierra，这是一种新的中间表示，可确保每次 Cairo 运行都可以得到证明。StarkWare 表示，预计在接下来的几周内，提供与旧版本相同的 Cairo 1.0 功能，对 StarkNet 合约的支持将在即将到来的 StarkNet Alpha 版本中加入。[2023/1/6 10:24:18]
在2018年末，去中心化交易所协议0x的研究团队与StarkWare合作创建了一个可扩展DEX的概念验证项目，名为StarkDEX。整个过程中，开发人员学到了很多东西，并且对ZKP在DEX可扩展性和性能方面的强大能力更加有信心。
零知识证明初创公司RISC Zero完成1200万美元种子轮融资:8月9日消息，零知识证明初创公司 RISC Zero 宣布完成 1200 万美元种子轮融资，Bain Capital Crypto 领投，Geometry 、D1 Ventures 和 Cota Capital 等参投。本轮所融资金将用于构建对开发人员友好的可扩展区块链。今年 3 月，RISC Zero 推出了零知识证明虚拟机，该虚拟机使开发人员能够构建零知识证明，并使用各种编程语言在任何计算机上执行。（The Block）[2022/8/9 12:13:26]
在2019年春季StarkDEX概念验证结束后，0x的研究团队决定独立推进试验以构建更通用的解决方案，一种符合团队对开源和去中心化基本信念的解决方案。10月8日，0x研究团队正式宣布推出OpenZKP，这是一种完全开源的零知识证明Rust实现。
Polygon 推出基于STARK零知识证明的扩容方案 Miden，采用Facebook开源技术且兼容EVM:11月16日消息，Polygon宣布推出基于零知识的、与 EVM 兼容的扩容解决方案Miden，同时也将开源其核心组件的早期原型版本Polygon Miden 虚拟机 (VM) 。Polygon Miden 是一个基于 STARK 的 ZK Rollup，Polygon Miden VM 是完全开源的基于 STARK 的虚拟机，它的作用是验证程序执行并为DApp 部署提供增强的尽职调查。Miden VM 通过利用Facebook的Novi开发的STARK证明器/验证器Winterfell 对基于Rust语言编写的零知识虚拟机 Distaff VM进行了扩展。Distaff VM和Winterfell的核心开发人员Bobbin Threadbare将加入 Polygon 作为 Miden Lead，致力于重新整合 Distaff，将 Distaff 和 Winterfell 结合起来，并继续开发 Miden VM 及其周围的生态系统。
除Polygon Miden外，Polygon价值10亿美元的ZK策略资金还孵化Polygon Hermez和Polygon Nightfall。Polygon Hermez是此前收购的Hermez Network，Polygon Nightfall是与安永共同开发构建的以隐私为重点保护的Rollup。[2021/11/17 21:56:06]
开发团队创建了一个易于使用的界面，任何人都可以与之交互。而且，它是当今可用的最小量证明中最快的证明实现。详情可点击文档和案例。
开源是0x创建通证化世界使命的核心。为了让区块链网络取代传统金融系统，堆栈的每一层都必须是开放和透明的。从逻辑上讲，开源的ZKP实现就是下一步，它对于这些技术的广泛采用至关重要。与闭源的解决方案相比，OpenZKP拥有以下几个主要的优点。
首先，任何人都可以为OpenZKP做出贡献，以0x团队和其他人的工作为基础进行开发。零知识证明是一项快速发展的技术，许多专业人士都在研究它。通过尽早的发布以及频繁的更新，研究人员可以彼此有效地相互学习，一起向前推进。其次，OpenZKP是可审计的。任何人都可以自己查看代码并确定它是否存在安全漏洞，这一点至关重要。第三，这一开源实现提供了一种连续性。开发团队希望0x协议在运行时不受其创建者的影响。只有在所有源代码都可访问的情况下，这种情况才会发生。
OpenZKP库已经可以供开发者使用。开发团队采用零知识证明中的STARK，因为它拥有一些独特的特性。最重要的是，STARK有非常快的证明者，特别是对于拥有很多重复性的约束来说，这也是试验用例的主要瓶颈。STARK的加密安全性非常好，不需要可信的初始设置，并且可以抵御量子计算机的攻击，数学方面也比某些替代方法更简单。在密切相关的系统中也有积极的发展。它的主要缺点是它使用一种新的约束语言，目前尚无良好的工具。另一个缺点是，证明本身比其他一些系统要大，虽然有大约100kB，但仍然很小。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。