零知识证明进入大范围应用倒计时?0x正式发布OpenZKP_ZKP:Findora

10月8日,0x研究团队正式宣布推出OpenZKP,这是一种完全开源的零知识证明Rust实现,零知识证明技术或者很快就会迎来更加广泛的应用。

在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实现。

零知识证明系统Bulletproofs+代码获准可在门罗币协议中使用:12月30日,门罗币发推宣布,零知识证明系统Bulletproofs+的代码现已获得许可,可在Monero协议中使用,以替代现有的Bulletproofs零知识证明系统。新系统将使得门罗交易结构变得更小,钱包交易速度更快以及网络验证速度更快。此外,官方表示,该代码具有功能性并包括对基础算法的测试,若考虑将来在门罗币网络升级中进行部署,则应该由第三方进行审核。[2020/12/30 16:04:23]

开发团队创建了一个易于使用的界面,任何人都可以与之交互。而且,它是当今可用的最小量证明中最快的证明实现。详情可点击文档和案例。

Findora将基于腾讯云提供零知识分类帐产品“zkLDB”:7月2日消息,去中心化金融公链项目Findora宣布与腾讯云建立合作关系,Findora将很快基于腾讯云提供零知识分类帐产品“zkLDB”。该产品将支持加密交易(encryptedtransaction)和资产发行、处理、验证和存储。Findora的zkLDB还包含一套完整的合规隐私保护审核工具。另外,腾讯和Findora将合作提供多种API和SDK,以满足银行、投资管理和游戏等行业的需求。

注:Findora是一个基于密码学的金融公链,由计算机密码学专家和美国斯坦福大学校产基金首席执行官组建,旨在支持众多应用,包括开放式银行、资产证券化、交易和点对点贷款。不仅为企业提供数据隐私服务,同时允许审计以符合财务规则。(MarketWatch)[2020/7/2]

开源是0x创建通证化世界使命的核心。为了让区块链网络取代传统金融系统,堆栈的每一层都必须是开放和透明的。从逻辑上讲,开源的ZKP实现就是下一步,它对于这些技术的广泛采用至关重要。与闭源的解决方案相比,OpenZKP拥有以下几个主要的优点。

首先,任何人都可以为OpenZKP做出贡献,以0x团队和其他人的工作为基础进行开发。零知识证明是一项快速发展的技术,许多专业人士都在研究它。通过尽早的发布以及频繁的更新,研究人员可以彼此有效地相互学习,一起向前推进。其次,OpenZKP是可审计的。任何人都可以自己查看代码并确定它是否存在安全漏洞,这一点至关重要。第三,这一开源实现提供了一种连续性。开发团队希望0x协议在运行时不受其创建者的影响。只有在所有源代码都可访问的情况下,这种情况才会发生。

OpenZKP库已经可以供开发者使用。开发团队采用零知识证明中的STARK,因为它拥有一些独特的特性。最重要的是,STARK有非常快的证明者,特别是对于拥有很多重复性的约束来说,这也是试验用例的主要瓶颈。STARK的加密安全性非常好,不需要可信的初始设置,并且可以抵御量子计算机的攻击,数学方面也比某些替代方法更简单。在密切相关的系统中也有积极的发展。它的主要缺点是它使用一种新的约束语言,目前尚无良好的工具。另一个缺点是,证明本身比其他一些系统要大,虽然有大约100kB,但仍然很小。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:0ms0-6:941ms