本文主要是介绍零知识证明:zk- ASM可能代表Web2和Web3的现实汇合点,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
零知识证明:zk- ASM可能代表Web2和Web3的现实汇合点
简介
零知识证明,特别是zk-SNARK(Succinct Non-interactive Arguments of Knowledge)可能是Web 3前沿最重要的技术之一。虽然该子领域的大多数媒体和投资的关注都集中在zk- Rollup上,这种扩展解决方案为以太坊等L1区块链提供了巨大的可扩展性,但这绝不是zk-SNARK的唯一应用。在这篇文章中,我们将深入分析零知识汇编代码(或zkASM)的概念,评估它在zk- Rollup和其他领域的用例,探索它在重新发明我们所知道的互联网方面的理论可能性。
技术原理
zk-ASM,顾名思义,主要包含两个技术部分:zk和ASM。zk部分指的是zk-SNARK,而ASM部分指的是汇编代码。要理解zk-ASM的潜力,我们必须首先理解这两个看似神秘的概念的理论基础。
zk-SNARK
zk-SNARK是zk-Proof皇冠上的宝石:它们是一种简洁的证明,证明某个陈述是正确的,在证明时没有透露任何关于被证明数据的信息。例如,假设某人断言“我知道一个m使得C(m) = 0”,其中m是一个千兆字节长的消息,C是一个函数。zk-SNARK将是一个非常简短的证明(<1GB),可以快速验证,并且不会透露任何关于 m 的信息(除了公开可用的信息)。
那么C(m)到底是什么?它有什么用?这个函数实际上是一个算数电路,或者是我们想要执行的特定函数的有向无环图(DAG)表示,如图所示。“m”本质上是进入电路的输入数据,电路中的特定“节点”是单独的逻辑门或算数运算。例如,“+”节点可能有“2”和“3”作为输入,并将“5”输出到下一个运算符。因此,可以在“算数电路”中对任意算数或逻辑运算进行编码。
一旦我们有了这个算数电路作为我们想要运行zk-SNARK的代码的表示,我们就可以开始构建这个zk-SNARK了。从根本上说,因为“代数基本定
这篇关于零知识证明:zk- ASM可能代表Web2和Web3的现实汇合点的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!