月亮链 月亮链
Ctrl+D收藏月亮链
首页 > SHIB > 正文

区块链:零知识证明:身份隐私中的ZK_ZKPEPE

作者:

时间:1900/1/1 0:00:00

在区块链世界中,身份可以以多种方式表现出来。真实世界的实体(如人或组织)可以在一个或多个区块链上采用不同的形式,区块链上的一个身份可以代表几个真实世界的实体。这样的身份可以通过拥有私钥、拥有特殊类型的NFT、参与某种类型的DeFi等进行建立。

图1:数字身份演示

这种通用且灵活的身份概念可以实现前所未有的用例和体验——但我们也同时需要注意隐私。一个人的身份可能是以一种特定的方式相互关联的多种事物,但只有其中的某一部分可能在一个环境中才是最重要的。例如,一场只允许BAYCNFT持有者参加的音乐会的组织者并不真正关心你拥有哪一个NFT,只要你至少拥有其中一个就可以。参加DeFi会议可能要求去年你在某个DeFi交易所借出了5万个代币,但不确切说明借出了多少、参与了多长时间等。

QitChain network通过零知识证明(ZKPs)实现网络的隐私性升级:据官方消息,在2022年12月底前,QitChain底层网络将完成“零知识证明(ZKPs)实现QitChain network网络的隐私性”升级。据悉,此次升级能够在目前QTC网络系统中利用隐私保护数据集。允许用户和企业在执行智能合约时保护私有数据集,而不会泄露底层数据。[2022/6/15 4:28:44]

第一个例子

零知识(ZK)证明可以真正实现这样的用例,同时为相关实体提供数学上可证明的隐私。为了进一步阐述这一点,让我们回到前一段的两个例子。对于第一个例子,ZK证明将表明一个想要参加音乐会的人P知道一个地址A的密钥,该地址属于BAYCNFT持有者的10,000个地址集。进一步分解:

公共输入是在链中某一特定NFT的所有地址的集合S;;

Polygon以4亿美元收购零知识初创公司Mir:金色财经报道,以太坊Layer2扩容解决方案Polygon宣布以4亿美元收购零知识初创公司Mir,这笔交易是通过2.5亿枚MATIC完成的。作为交易的一部分,Mir将更名为Polygon Zero,该项目将基于其ZK-proof技术构建一个ZK-rollup。Polygo联合创始人Sandeep Nailwal在接受采访时表示:“我们希望通过提供一系列解决方案,成为Web3平台的AWS,使开发人员能够在其上进行构建。”[2021/12/10 7:29:15]

私人输入P为密钥sk1;

我们想在ZK中证明的是,从sk派生的地址在集合S中。

在零知识学术文献中,这种证明通常被称为成员证明。有几种方法可以生成这样的证明。如果集合不是太大,可以使用RSA累加器。

使用RSA累加器,集合S可以用一个短值表示——成员证明也很短。在S中添加或删除地址的代价也很低,与累计值的数量无关。然而,在最坏的情况下,累积集合S和产生证明所花费的时间可能与S的大小成线性关系(实际的时间范围取决于设置的具体情况,甚至可能是恒定时间)。这里还有另一个问题:我们不仅想证明某个地址A在集合中,而且还想证明A是从sk派生出来的。我们可以为前者设计自定义ZK协议(例如,离散对数知识),但通用的ZK系统通常最适合后者。另一个问题是以一种有效的方式将三个组件粘合在一起(成员关系、离散日志和哈希的原像)。

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

第二个例子

上面提到的第二个用例比第一个要复杂一些。有兴趣参加DeFI会议的人需要表明他们向区块链发送了交易tx(如以太坊),该区块链在DeFI合约中调用了借贷功能,比如DF。他们还需要表明,tx转了至少5万个代币,并且它被添加到对应于2021年开始和结束的两个区块之间的区块链中。现在,根据区块链,一年内可能会生成数十万区块。每个区块包含的所有交易的哈希(通常称为交易哈希)。ZKP可以用来表明tx被“包含”在某个区块B的交易哈希中——而不显示tx本身——但这会揭示比预期的还要多的信息。在极端情况下,如果B只包含合约DF的一笔交易,那么ZKP是没有意义的。理想情况下,我们希望证明tx包含在2021年的其中一个区块的交易哈希中。

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

生成一个包含2021年以来所有区块(或至少有一些DF交易的区块)的Merkle树,并证明包含tx的区块只是Merkle树的叶子之一,这将是一个更具可扩展性的方法。对于这个问题:

动态 | 三星SDS采用零知识证明增强其企业区块链隐私性:据coindesk消息,三星企业技术部门SDS (Samsung SDS)正在使用零知识证明(zero-knowledge proof, ZKPs)来增强其Nexledger区块链的隐私保护。该公司周四表示,它已与总部位于以色列的QEDIT建立了合作关系,在不披露保密信息的情况下,在一个共享的账簿上记录和验证资产转移。此举突显出采用分布式账本技术的公司面临的挑战之一,向网络广播交易,可能会暴露敏感的客户数据,并向竞争对手泄露信息。[2019/11/14]

公共输入是2021年以来所有区块集合的Merkle根(或至少是它们的正确子集),和合约DF的代码(通过链上的合约地址引用);

私人输入是用于签署tx的密钥sk,tx本身,包含tx的区块B,以及B在Merkle树中的路径;

我们想要证明的是:sk用于签署tx,tx包含在B中,B是Merkle树的一部分,tx调用DF中的适当函数,并且tx转了至少5万个代币。

我们只是触及了可以在不同用例中进行的大量身份验证的皮毛,ZK语句已经开始显示出一些复杂性。事实上,一旦我们开始更具体地思考,它们会变得更加复杂(诚然,上面关于DeFi会议参与问题的语句相当简单)。其中的复杂性包括:

DF不是直接调用的,而是通过另一个合约或一系列合约进行调用的;

tx包含在区块链中,但对DF的状态没有预期的效果;

会议关心的是以今天的利率借出的实际美元数量,而不是代币。

跳出固有思维模式

不过我们不必太担心。ZKP的美妙之处在于,几乎任何你能想到的语句都可以在零知识中被证明(确切地说,任何可以在多项式时间内被验证的关系也可以在零知识中被证明)。虽然ZKP的非交互式版本最适合解决L1上的机密性、隐私、状态增长、完整性等问题,但交互式证明对于需要基于区块链的身份断言的许多应用程序可能很有意义。

图2:ZKP交互式版本示例

上述音乐会入场的例子可以用来说明这一点。对于NFT所有权的ZK成员证明,只需要一个确定的验证者,而不是典型的L1设置中的数百或数千个身份不明的验证者。证明者可以主动与验证者接触,并在会话过程中交换多条消息,从而摆脱了非交互式ZK证明固有的复杂性。事实上,证明不必很短,验证者的复杂度也不必很低,因此可以充分探索ZK-SNARK之外的ZK证明范围。我们将能够使用具有更好的证明复杂性、底层安全假设等的证明系统。

请参阅下表,了解不同证明系统的高级比较。当我们沿着表格往下看时,证明复杂度和安全性假设变得越来越好,而证明大小变得越来越差。虽然基于mpc的ZK证明系统提供了最好的证明复杂性,并且具备无需信任的设置,但证明是交互式的并且仅适用于特定的验证者,所以当身份断言必须对链下的特定一方做出判断时,这可能就不是问题。(ZK证明系统的其他一些特征,如后量子安全性,在表中没有体现。)

表1:不同证明系统的高级比较

总之,世界上的身份不一定是基于区块链的,也不一定是基于非区块链的。展望未来,它们当然可以是两者的结合——这将使保护隐私的身份断言变得更加有趣!

Source:https://medium.com/delendum/zk-in-identity-980493401d80

标签:区块链ZKPDEFINFT区块链域名还有市场前景吗ZKPEPEDeFireX无聊猿nft价格

SHIB热门资讯
NFT:NFT 的潜力:扩展的艺术品鉴定证书_MVP

NFT或可改进博物馆和画廊鉴定可复制艺术品的纸质证书。但要挖掘这种潜力,还有很多工作要做。 NancyBakerCahill:《合约杀手》(社交),2021年2014年5月,在NewMuseum.

1900/1/1 0:00:00
SOL:从以太坊到Aptos 谁能找到“三角难题”的终极答案?_LANA

我们相信针对特定应用进行优化才是L1的未来,考虑到三难问题,没有哪条链能达到一个万能设计就符合所有应用场景的状态,这个时候平衡取舍便是关键所在.

1900/1/1 0:00:00
GOE:Goerli/Prater合并在即 这些事项需要注意_Piratera

原文标题:《Goerli/Prater合并公告》原文来源:EthereumFoundationBlog原文作者:ProtocolSupportTeam作为最后一个进行权益证明过渡的测试网.

1900/1/1 0:00:00
ENS:ENS:Web3 世界的名片_V-Dimension Cloud

8月1日,蒂芙尼以近33WRMB的价格购买ENS域名tiffany.eth,引发越来越多的圈内外人士开始关注到ENS这一应用.

1900/1/1 0:00:00
比特币:2017比特币分叉的来龙去脉与未来(下):社区治理与挑战_具有更高的信任等级

点击阅读:2017比特币分叉的来龙去脉与未来2022年8月,距离2017已经过去5年。市场也经历了两个牛熊市的转换.

1900/1/1 0:00:00
以太坊:金色观察|Vitalik详解5种类型的ZK-EVM_near币是下一个以太坊吗

文/Vitalik感谢PSE、PolygonHermez、Zksync、Scroll、MatterLabs和Starkware团队的讨论和审稿。最近有许多“ZK-EVM”项目发布了公告.

1900/1/1 0:00:00