当前位置:okx > 头条 > 零知识证明:身份隐私中的ZK

零知识证明:身份隐私中的ZK

小欧2022-08-12 15:50:46头条35

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

零知识证明:身份隐私中的ZK-第1张图片

图1:数字身份演示

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

第一个例子

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

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

  • 私人输入P为密钥sk¹;

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

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

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

第二个例子

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

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

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

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

  • 我们想要证明的是:sk 用于签署 tx,tx 包含在 B 中,B 是 Merkle 树的一部分,tx 调用 DF 中的适当函数,并且 tx 转了至少5万个代币(其他tx 的参数应保持隐藏状态)。

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

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

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

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

跳出固有思维模式

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

零知识证明:身份隐私中的ZK-第2张图片

图 2:ZKP 交互式版本示例

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

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

零知识证明:身份隐私中的ZK-第3张图片

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

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


“零知识证明:身份隐私中的ZK” 的相关文章

深入探究:Layer1 的估值, 经济机制和MEV问题

传统的金融市场,我们通常可以用贴现现金流模型(DCF),对比模型(Comparable Analaysis) 等模型对各种资产进行估值,而这些资产可以是资本资产,可以为持有者带来持续性收益的资产,可以是消费类资产,用于购买,交换和持有(类似于美元),或者是具有储存价值的资产(例如黄金)。而加密货币领...

Refik Anadol 基于人工智能的 NFT 收藏以 620 万美元的价格拍卖

据韩国先驱报周三报道,土耳其裔美国艺术家 Refik Anadol以 620 万美元的价格拍卖了他最新的不可替代代币 (NFT) 收藏品之一。该系列名为“人类的重要记忆”,以数据可视化为特色,代表了从第一次全民用太空飞行中收集的数据。该系列是 Anadol 和 LG Display 之间的合作,后者...

Terra 治理系统通过计划烧毁 13 亿个 UST 代币

Terra 的核心开发人员在治理投票后获准从其社区池中销毁 13 亿 UST。这大约占现有 112 亿 UST 供应量的 11%。Terra 治理系统已投票批准一项提议,即销毁项目社区池中持有的所有 TerraUSD (UST) 代币,并将 UST 部署在以太坊上用于过去的流动性激励。据CoinGe...

LUNA 重启数小时后暴跌超过 70%

Terraform Labs 周六早些时候推出了新版本的 Terra 区块链“Terra 2.0”,其中包含新铸造的 LUNA 代币。根据CoinMarketCap 汇编的数据,大约 12 小时后,LUNA(在某些交易所被标记为 LUNA2)已经下跌了近 73% 的初始价值,截至撰写本文时,交易价格...

Nassim Taleb 声称 Terra 的 Do Kwon 比 Bernie Madoff 更危险

前期权交易员 Nassim Taleb 建议 Terra 的 Do Kwon 应该入狱前期权交易员和风险分析师Nassim Taleb认为,将 Terra 创始人 Do Kwon 关进监狱会阻止他推出 Luna 2.0,这位哲学家声称这是“完全相同的透明庞氏骗局”。《黑天鹅》的作者说,像 Terra...

柴犬币匿名创始人Ryoshi删除所有推特内容和Medium文章

柴犬币匿名创始人Ryoshi删除所有推特内容和Medium文章

柴犬币创办人Ryoshi被社群发现已删除他之前发布的所有推文,同时,Ryoshi还被发现删除了所有Shiba Inu上的Medium文章,包括第一篇All Hail the Shiba文章,共4篇Medium文章皆已在Medium平台上全数删除,该网页目前也显示410错误。令人讶异的是,在去年的同一...