STARK:零知识证明进入大范围应用倒计时？0x正式发布OpenZKP

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

两位数学家因对零知识证明的研究获得数学界大奖阿贝尔奖:据DeepTech深科技消息，近日，备受瞩目的数学界大奖阿贝尔奖公布两名获奖者，一位是匈牙利数学家拉兹洛?洛瓦兹（László Lovász），一位是以色列计算机科学家阿维?威格森（Avi Wigderson）。两位数学家因为对零知识证明的研究，而获此殊荣。曾经让纯数学家看不起的零知识证明，却获得了数学界举足轻重的阿贝尔奖。正如颁奖词所说：“表彰其在理论计算机科学和离散数学方面做出的杰出贡献，以及在将之塑造为现代数学中心领域中发挥的主导作用。”零知识证明比起其他复杂算法更为简单，但这两位数学家对于零知识证明的研究，不仅对现代数学核心计算有重大贡献，还有巨大的现实意义：其一，零知识证明对数字货币的认证意义重大；其二，零知识证明还可以用于人的身份验证，即在不透露密码的前提下，验证方通过一系列问题来让对方提供 “我知道正确密码”，或在信息安全领域，提供 “我就是本人” 的证明。[2021/5/2 21:16:57]

在2018年末，去中心化交易所协议0x的研究团队与StarkWare合作创建了一个可扩展DEX的概念验证项目，名为StarkDEX。整个过程中，开发人员学到了很多东西，并且对ZKP在DEX可扩展性和性能方面的强大能力更加有信心。

门罗币开始审核零知识证明系统Bulletproofs+代码:1月19日消息，门罗币官方宣布，已正式开始对零知识证明系统Bulletproofs+代码进行审核，将于30天内发布报告。此前消息，零知识证明系统Bulletproofs+代码获准可在门罗币协议中使用。随后官方计划筹集90.3 XMR以进行零知识证明系统Bulletproofs+审计。[2021/1/19 16:29:47]

在2019年春季StarkDEX概念验证结束后，0x的研究团队决定独立推进试验以构建更通用的解决方案，一种符合团队对开源和去中心化基本信念的解决方案。10月8日，0x研究团队正式宣布推出OpenZKP，这是一种完全开源的零知识证明Rust实现。

动态 | 波场TRON网络即将进行零知识证明匿名交易公测:据官方最新消息，波场TRON网络即将进行零知识证明匿名交易公测，现在诚邀社区参与MPC过程，参与者越多，匿名交易越安全。通过参与MPC，用户可以将贡献永久的保存在TRON网络中。参考见原文链接。[2019/12/19]

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

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

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

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

标签：ZKPSTARKARKSTARzkProofStarkNetspark币价格ASTAR

加密货币热门资讯