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

ISC:zkVM 生存之道 一文详解派系之争_unisat教程

作者:

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

撰文:Bryan,IOSGVentures

过去的2022年关于rollup主要的讨论焦点似乎都集中在ZkEVM,但是别忘记ZkVM也是另一种扩容手段。虽然ZkEVM并不是本文的重点,但是值得回味一下ZkVM与ZkEVM之间的的几个维度的不同之处:

兼容性:虽然都是扩容,但是侧重点并不同,ZkEVM的侧重点在于直接实现与现有EVM的兼容,而ZkVM的定位在于实现完全的扩容,也就是将dapp的逻辑以及性能提升到最优,兼容性并不是首要的。底层搭好了,EVM兼容也可以实现。

性能:两者都有比较可以预见的性能方面的瓶颈,ZkEVM主要瓶颈在于兼容EVM这样一个并不适合封装在ZK证明系统时产生的多余成本。ZkVM的瓶颈在于因为引入了指令集ISA,导致最终输出的约束更复杂。

开发者体验:TypeIIZkEVM(如Scroll,Taiko)主打的是对于EVMBytecode的兼容,换句话说就是Bytecode级别及其以上的EVM代码都可以通过ZkEVM产生对应的零知识证明。对于ZkVM来说,有两个方向,一个方向是做自己的DSL(如Cairo),另一个则是目标兼容现有的比较成熟的语言如C++/Rust(如Risc0)。未来我们预计原生的solidity以太坊开发者会可以无成本迁移至ZkEVM,而更新更强大的应用则会跑在ZkVM上。

很多人应该还记得这张图,CairoVM事不关己游离于ZkEVM派系斗争的本质原因是设计思想的不同

在讨论ZkVM之前,我们首先思考的是如何在区块链中实现ZK证明系统。大致上,有两种方法实现电路-基于电路的系统(circuitbased)以及基于虚拟机的系统(vm-based)。

订单簿DEX iZiSwap上线zkSync 2.0测试网:据官方消息,iZUMi Finance宣布iZiSwap完成与zkSync集成,并已上线zkSync 2.0测试网。在zkSync的支持下,iZiSwap增强了处理更多交易的能力,充分释放DL-AMM处理链上资产交易的超高效潜力,进一步提高资产安全水平和交易透明度。

据介绍,iZiSwapPro是一个AMM驱动、追求高资本效率的订单簿DEX,允许用户进行无滑点的交易。[2023/1/14 11:12:14]

首先,基于电路的系统的功能是将程序(program)直接转化为约束条件(constraints)并送入证明系统(provingsystem);基于虚拟机的系统通过指令集(ISA)执行程序,在此过程中产生执行轨迹(executiontrace)。这个执行轨迹之后会被映射成约束条件,然后被送入证明系统。

对于一个基于电路的系统,程序的计算由执行程序的每台机器(machine)进行约束。而对于基于虚拟机的系统,ISA被嵌入到电路产生器(circuitgenerator)中,并产生程序的约束(constraints),同时电路产生器有指令集、运行周期、内存等等限制。虚拟机提供了通用性,即任何机器都可以运行一个程序,只要该程序的运行条件在上述限制范围内。

在虚拟机中一个zkp程序大概经历如下的流程:

图片来源:Bryan,IOSGVentures

优缺点:

从开发者(developer)的角度来看,在基于电路的系统中开发通常需要对每个约束条件的成本有深入的了解。然而,对于编写虚拟机程序来说,电路是静态的,开发者需要更关心的是指令(instructions)。

基于ZK Rollup的DEX ZigZag上线zkSync与Polygon跨链桥测试版:3月14日消息,基于 ZK Rollup 的订单簿式 DEX ZigZag 宣布上线 zkSync 与 Polygon 跨链桥的测试版。该测试版现已支持 zkSync 上 ETH 和 Polygon 上 WETH 的小额跨链转账测试,待代码稳定后会增加测试额度并进行 UI 开发。[2022/3/14 13:55:10]

从验证者(verifier)的角度来看,假设使用相同的纯SNARK作为后端,基于电路的系统和虚拟机在电路的通用性方面有很大的不同。电路系统对每个程序产生不同的电路,而虚拟机对不同程序产生相同的电路。这意味着,在一个rollup中,电路系统需要在L1上部署多个验证合约(verifiercontract)。

从应用(application)的角度来看,虚拟机通过将内存模型(memory)嵌入到设计中,使应用程序的逻辑更加复杂,而使用电路系统的目的是为了提高程序的性能。

从系统复杂性(complexity)的角度来看,虚拟机将更多的复杂性纳入系统,如内存模型、主机(host)和客户(guest)之间的通信等,相比之下电路系统更简洁。

以下是目前L1/L2中基于电路和基于虚拟机的不同的项目预览:

图片来源:Bryan,IOSGVentures

虚拟机的设计原则

在虚拟机中,有两个关键的设计原则。首先,确保程序被正确执行。换句话说,输出(output)与输入(input)应当正确匹配。一般这是通过ISA指令集完成的。其次,确保编译器(compiler)在从高级语言转换为适当的约束格式时能正确工作。

Solana Labs发布SPL-ZK代币开发计划,可实现SPL格式代币的隐私传输:12月14日消息,Solana开发团队Solana Labs在Github上发布了一项“SPL-ZK(零知识证明)-Token”开发计划。根据介绍,该程序是 SPL代币程序的配套程序,可实现 SPL 代币的保密(非匿名)传输。

据称,任何 SPL格式的代币都可启用上述隐私传输功能。但具有冻结权限的 SPL 代币可以选择启用一项功能,允许全球审计员查看所有隐私传输相关的交易记录与余额,同时使冻结权限扩展到隐私代币帐户。(Github)[2021/12/14 7:37:56]

1.ISA指令集

规定了电路产生器的工作方式。它的主要责任是将指令(instructions)正确地映射到约束条件(constraint)中,这些约束条件随后被送入证明系统(provingsystem)。zk系统使用的都是RISC(精简指令集)。有两种ISA的选择:

第一种是自建一个自定义的ISA(customISA),这在Cairo的设计中可以看到。一般来说,有如下四种类型的约束逻辑。

自定义ISA的基本设计重点是确保约束条件尽可能少,从而使程序的执行和验证都能快速运行。

第二种是利用现有的ISA(existingISA),这在Risc0的设计中被采用。除了以简洁的执行时间为目标外,现有的ISA还提供了额外的好处,如对前端语言(front-endlanguage)和后端硬件(backendhardware)友好。一个问题是,现有的ISA会不会在验证时间上有所落后(因为验证时间并不是Risc-V的主要设计追求。

zkTube已被加密货币数据网站CoinGecko收录:据CoinGecko数据显示,zkTube(ZKT)信息已被CoinGecko官方收录,zkTube是基于以太坊的第二层网络协议,作为Layer 2 zk-Rollup领域的开发团队,主要面向全球以太坊生态用户提供Layer 2解决方案。ZKT是zkTube主网唯一治理代币,限定总量3.3亿枚,可在多应用场景下流通和使用,为用户在交易中提供更多权益和功能属性,促进zkTube与以太坊生态的聚合效应,从而提升项目价值。[2021/10/22 20:49:00]

2.编译器(Compiler)

笼统地来说,编译器会逐步将编程语言翻译成机器代码。在ZK的环境下,它指的是使用C、C++、Rust等高级语言编译成约束系统的低级代码表示。有两种方法,

设计一个基于现有zk电路表示(existingcircuitrepresentations)的编译器--比如说在ZK中,电路表现形式从Bellman这样的可以直接调用的库(library)和Circom这样的低级语言开始。为了聚合不同的表现形式,Zokrates这样的编译器旨在提供一个抽象层,可以编译成任意的更低级表现形式。

基于编译器基础设施(compilerinfrastructure)来构建。基本逻辑是利用一个针对多个前端和后端的中间表现形式(intermediaterepresentation)。

Risc0的编译器是基于multi-levelintermediaterepresentation,可以生成多个IR。不同的IR给开发者带来了灵活性,因为不同的IR有各自的设计重点,例如其中有一些的优化是专门针对硬件,所以开发者可以根据自己的意愿进行选择。类似的想法在使用GCC的vnTinyRAM和TinyRAM中也可以看到。ZkSync也是另一个利用编译器基础设施的例子。

此外,你还可以看到一些针对zk的编译器基础设施,如CirC,它也借用了LLVM的一些设计理念。

zkTube 将于10月27日在莫斯科Blockchain Life盛会参展:据官方消息,zkTube将于本月27日参展莫斯科Blockchain Life 2021,该会议是本年度全球区块链和加密货币规模最大的盛会之一。

zkTube作为本次活动的赞助商之一,将在现场设立展位并由zkTube欧洲大使发表主题演讲,分享项目在Layer 2领域取得的成果。同时,也希望通过本次会议在欧洲对接更多技术和商业合作,促进生态建设和提高zkTube全球影响力。[2021/10/11 20:21:04]

除了上述两个最关键的设计步骤外,还有一些其他的考虑因素:

1.系统的安全性(security)和验证的成本(verifiercost)之间的权衡

系统使用的比特数越高,意味着验证的成本越高。安全性反映在密钥生成器。

2.与前端和后端的兼容性(compatibility)

兼容性取决于为电路的中间表示(intermediaterepresentation)的有效性。IR需要在正确性和灵活性之间取得了平衡。如果IR最初是为解决像R1CS这样的低度(low-degree)约束系统而设计的,那么与其他更高级别(high-degree)的约束系统如AIR的兼容就很难。

3.为提高效率需要手工制作(hand-crafted)电路

使用通用模型(generalpurpose)的缺点是,对于一些不需要复杂指令的简单操作,其效率较低。

简述一下先前的一些理论,

Pinocchio协议之前:实现了可验证的计算,但验证时间非常慢

Pinocchio协议:在可验证性和验证成功率方面提供了理论上的可行性,是基于电路的系统

TinyRAM协议:相对于Pinocchio协议,TinyRAM更像一个虚拟机,引入了ISA,因此摆脱了一些限制,如内存访问(RAM)、控制流(conttrolflow)等

vnTinyRAM协议:使得密钥生成(keygeneration)并不取决每个程序,提供了额外的通用性。扩展电路产生器,即能够处理更大的程序。

上述模型都以SNARK作为其后端证明系统,但是特别是在处理虚拟机时,STARK和Plonk似乎是一个更合适的后端,从根本上说是由于其约束系统更适合于实现cpu一样的逻辑。

接下来,本文会介绍三个基于STARK的虚拟机-Risc0,MidenVM,CairoVM。简而言之,除了都以STARK作为证明系统外,它们各自有一些不同:

Risc0利用Risc-V来实现指令集的简洁性。R0在MLIR进行编译,这是LLVM-IR的一个变种,旨在支持多种现有的通用编程语言,如Rust、C++。Risc-V还有一些额外的好处,比如对于硬件较为友好。

Miden的目标是与以太坊虚拟机兼容,本质上是EVM的rollup。Miden现在有自己的编程语言,但也致力于在未来支持Move。

CairoVM是由Starkware开发的。这三个系统所使用的STARK证明系统是由EliBen-Sasson发明的,目前Starkware的总裁。

让我们更深入地了解它们的区别:

*如何读懂上面的表格?一些注解...

Wordsize-由于这些虚拟机所基于的约束系统是AIR,其功能与CPU架构类似。所以选择CPU字长比较合适。

Memoryaccess-Risc0使用寄存器(register)的原因主要是Risc-V指令集是基于寄存器的。Miden主要使用堆栈(stack)来存储数据,因为AIR的功能与堆栈类似。CairoVM没有使用通用寄存器(general-purposeregister),因为Cairo模型中的内存访问(mainmemory)成本较低。

Programfeed-不同方法是有取舍的。例如,对于mastroot方法来说,它需要在处理指令时进行解码,因此在执行步骤较多的程序中下证明者的成本较高。Bootloading方法试图在保持隐私的同时在证明者成本和验证者的成本之间取得平衡。

Non-determinism-非确定性是NP-complete问题的一个重要属性。利用非确定性有助于快速验证过去的执行。反过来说,它增加了更多的约束条件,因此在验证方面会有一些妥协。

Accelerationoncomplexoperations-有些计算在CPU上运行很慢。例如,位操作,如XOR和AND,哈希程序(hashprogram),如ECDSA,还有范围检查(range-check)......大多是区块链/加密技术的原生但不是CPU原生的运算。直接通过DSL来实现这些运算会很容易导致证明的周期(cycle)耗尽。

Permutation/multiset(排列/多列组合)-在大多数zkVM中大量使用,有两个目的--1.通过减少存储完整的执行轨迹(executiontrace)来降低验证者的成本2.证明验证者知道完整的执行轨迹

文章最后笔者想谈谈Risc0目前的发展以及其让我兴奋的原因。

R0目前的发展:

a.自研的「Zirgen」的编译器基础设施正在开发中。将Zirgen与一些现有的zk专用编译器的性能进行比较会很有趣。

b.一些很有意思的的创新,如fieldextension,可以实现更坚实的安全参数以及在更大的整数上进行操作。

c.见证了在ZK硬件和ZK软件公司之间的整合中看到的挑战,Risc0使用了一个硬件抽象层,以便在硬件方面进行更好的开发。

d.Stillawork-in-progress!还在开发中!

支持手工制作的电路(hand-craftedcircuits),支持多种哈希算法。目前,专用的SHA256电路已实现,然而还不能满足所有的需求。笔者相信具体选择优化哪类电路取决于Risc0所提供的用例(usecase)。SHA256是一个非常好的起点。另一方面,ZKVM的定位给人以灵活性,例如,只要他们不想,就不必去管Keccak:)

递归(recursion):这是一个很大的话题,笔者倾向于不在该报告进行深入研究。需要知道的是,随着Risc0倾向于支持更复杂的用例/程序,更迫切地需要递归。为了进一步支持递归,他们目前正在研究一个硬件端的GPU加速方案。

处理非确定性(non-determinism):这是ZKVM必须处理的一个属性,而传统的虚拟机是没有这个问题的。非确定性可以帮助虚拟机执行得更快。MLIR相对更擅长处理传统虚拟机方面的问题,而Risc0如何将非确定性嵌入到ZKVM系统设计中值得期待。

WHATEXCITESME:

a.简单且可验证!

在分布式系统中,PoW需要高水平的冗余,因为人们不信任他人,因此需要重复执行相同的计算来达成共识。而通过利用零知识证明,状态的实现应该和同意1+1=2一样容易。

b.更多更实际的用例:

除了最直接的扩容外,更多有意思的用例将变得可行,比如零知识机器学习、数据分析等。相比于Cairo这样的特定的ZK语言,Rust/C++的功能更普适且更强大,更多web2的用例跑在Risc0VM上。

c.更具包容性/成熟的开发者社区:

对STARK和区块链感兴趣的开发者不必再重新学习DSL,使用Rust/C++即可。

感谢XinGao、p0xeidon的Boyuan、Taiko的Daniel以及Sin7Y对本文的支持和修改建议!

标签:ISCIONISAZKTKISCaction币圈unisat教程ZkTsunami

DOGE热门资讯
DAO:加密领域的下一波颠覆性创新浪潮将来自哪里_HDAO

“颠覆性创新”一词最初由?ClaytonChristensen?在?20?世纪?90?年代提出,当新技术与创新商业模式相结合时,就会发生颠覆性创新——新市场进入者能够超越现有企业.

1900/1/1 0:00:00
NOS:Nostr 的野心 不止替代 Twitter_DAM价格

图片来源:由MazeAI工具生成1.Nostr协议的缘起和起承转合,比如说它是出于什么想法和思路创建的,以及一些流量分析1.1首先,讨论Nostr协议最近大火的Damus.

1900/1/1 0:00:00
ZKP:盘点 ZKP 主流实现方案技术特点_zkProof

概述在研究区块链系统的工作原理时,我们需要了解各种各样密码学知识,比如secp256k1,它是一种曲线和非对称签名算法,在比特币和以太坊系统中用于签名和验证账号.

1900/1/1 0:00:00
区块链:一览Web3零知识证明市场版图_区块链工程专业学什么女生好

原文标题:《Web3ZeroKnowledgeMarketMap》原文作者:WAGMIVentures原文编译:ChinaDeFi本文总结了在zk领域中的100家公司的市场地图.

1900/1/1 0:00:00
BNB:BNB Greenfield 暴露了赵长鹏的哪些野心_GREEN

金色财经记者Jessy赵长鹏押注去中心化存储赛道了。2月1日,?BNBGreenfield白皮书发布,这条定位于BNBChain侧链的区块链,其主要功能是在一条链上实现存储和计算的同步.

1900/1/1 0:00:00
ZKS:最受期待的 L2 ZK-Rollup:zkSync深度研报_zkSync

原文作者:Louround原文来源:substack原文标题:zkSync编译:Lynn,MarsBit概述zkSync是一个以太坊Layer2区块链.

1900/1/1 0:00:00