零知识证明在Web3中的五大实用案例_区块链:STAR

撰写:Magik Invest?

零知识证明是正在开发的最重要的加密货币技术之一,以下是零知识证明使 dApps 更加高效、更隐私和更去中心化的五种方式:

Dark Forest 是一个链上的多人游戏,玩家在其中进行轮番竞争。玩家从一个星球开始,可以征服其他未被征服的星球或其他玩家的星球,目标是获得尽可能多的积分。

玩家的星球位置和他们的行动都是隐藏的,不为其他玩家所知。玩家在自己的系统上生成 ZK 证明,并将其发布在区块链上,由合约来验证他们所做的动作是否有效。每一次证明,玩家都要提交位置的哈希值,所有玩家位置的哈希值都在链上,但这些哈希值需要揭示。玩家可以通过计算一个地区的所有可能的哈希值来探索该地区的行星(这需要时间),这就是 ZK 在多人游戏中的作用。

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

Tornado.cash 使用户能够以隐秘的方式将他们的 ETH 转移到不同的账户上,用户将 ETH 存入一个资金池中,并可以使用不同的账户从资金池中提取这些 ETH。

零知识证明研发机构StarkWare启动基于STARK的可验证延迟函数服务:零知识证明研发机构StarkWare在以太坊主网上启动了基于STARK的可验证延迟函数(VDF)服务VeeDo。VDF是一种可通过计算提供延迟和时间滞后的函数。StarkWare打算用VeeDo解决的第一个应用是以太坊上的无需信任的、不可支配的随机性概念验证(PoC)。目前,该PoC已在主网激活。另外,StarkWare还在研究时间锁(TimeLock)以及下一代PoW机制。

注:2018年7月份,StarkWare获得了以太坊基金会提供的400万美元资助,将研发对STARK友好的哈希函数和技术,并为生态系统提供开源代码。STARK将允许区块链在兼备隐私和后量子安全的情况下进行大规模扩展(例如分片)。(Medium)[2020/6/24]

ZK 有助于打破存款和提款之间的联系。在存款时,用户需要提交一个秘密的哈希值。在提款时,用户只需要提交一个 ZK 证明,不需要透露他们知道哪个秘密,便可以证明他们知道该秘密。这使得他们能够提取他们的 ETH 而不透露哪笔存款是他们的。

金色沙龙 | 燕丽:零知识证明对于协调区块链底层扩容也有很大帮助:在今日举行的《隐私计算——区块链信息安全守护者》为主题的金色沙龙中,算力智库创始人燕丽表示,2020年1月1日,中国首部《中华人民共和国密码法》将正式开始实施,而在这之前一直只有一部 2007年4月23日公布的《商用密码产品使用管理规定》和《境外组织和个人在华使用密码产品管理办法》。很多人把这次《密码法》和2019年“1024”中央把区块链技术作为国家战略联系在一起。区块链技术是完全基于密码学技术,所以按照这个逻辑,如果政府要完全掌控未来区块链技术的发展,首先就要完全掌控密码学技术,而这个其中的核心是国家主权范围之间在所有的通信安全和商业行为之间军备竞赛的升级。区块链有大量扩容压力,而为了达到这个操作,必然要牺牲系统处理效能和部分隐私。但矛盾的是,区块链前期的应用场景如虚拟货币,数字金融等,都需要有更好的隐私保护和不容易被恶意攻击的防护。所以若想让区块链技术落地生根,那么提高区块链底层技术来满足对于高安全性(含高完整性和高保密性)、高性能、高广义效率的要求,也许是个稳妥做法。所以隐私计算中的零知识证明等对于协调区块链底层扩容也有很大帮助。[2020/4/15]

Filecoin 使每个人都能以去中心化的方式存储他们的数据,每个存储供应商必须提交两个证明:

1.复制证明(PoRep)——数据被提供者下载

2.空间时间证明(PoSt)——数据仍在存储中

使用 ZK,Filecoin 能够将 PoRep 和 PoSt 从 100 多 KB 压缩到 192B,减少大量的空间使用。每个存储供应商需要分别为 PoRep 和 PoSt 生成 10 个 ZKP,并以一种非常便宜的成本在链上验证,以节省带宽和挖矿成本。

Iden3 支持像 PolygonID 这样的解决方案——在分享用户数据信息的同时保持其隐私。例如,证明你是 DAO 成员而不透露你的身份,或者证明你已年满 18,而不透露你的具体年龄。

利用 ZK,用户可以向 DAO 提交证明,证明他们是其中一个成员地址,而不透露哪个地址是他们的,用户也可以提交证明,证明他们持有有效的证件(>18 岁),而不透露该文件的实际细节。

Mina Protocol 帮助交易者和基金验证他们在交易中是否真的获利,而不透露真实的交易内容,LP 或追随者可以在不知道执行了哪些交易或投资的情况下验证交易者的盈利能力。

使用 ZK,交易者可以将他们的交易所账户链接到一个应用程序,该程序可以获取他们所有的交易历史,它能够生成一个盈利 ZKP,而不需要揭示交易员的操作细节。

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

水星链

[0:15ms0-1:3ms