撰文：Bryan, IOSG Ventures
菠菜网站平台搭建以前的 2022 年对于 rollup 主要的商讨焦点似乎都挽回在 ZkEVM，但是别健忘 ZkVM 亦然另一种扩容技巧。天然 ZkEVM 并不是本文的重心，但是值取得味一下 ZkVM 与 ZkEVM 之间的的几个维度的不同之处:
兼容性：天然都是扩容，但是侧重心并不同，ZkEVM 的侧重心在于径直已毕与现存 EVM 的兼容，而 ZkVM 的定位在于已毕皆备的扩容，也便是将 dapp 的逻辑以及性能升迁到最优，兼容性并不是首要的。底层搭好了，EVM 兼容也不错已毕。性能：两者都有比较不错意想的性能方面的瓶颈，ZkEVM 主要瓶颈在于兼容 EVM 这么一个并不顺应封装在 ZK 讲解系统时产生的过剩资本。ZkVM 的瓶颈在于因为引入了领导集 ISA,导致最终输出的不停更复杂。设立者体验：Type II ZkEVM ( 如 Scroll, Taiko) 主打的是对于 EVM Bytecode 的兼容，换句话说便是 Bytecode 级别过甚以上的 EVM 代码都不错通过 ZkEVM 产生对应的零学问讲解。对于 ZkVM 来说，有两个标的，一个标的是作念我方的 DSL( 如 Cairo), 另一个则是指标兼容现存的比较纯熟的话语如 C++/Rust（如 Risc0)。明天咱们预测原生的 solidity 以太坊设立者会不错无资本挪动至 ZkEVM，而更新更重大的应用则会跑在 ZkVM 上。好多东谈主应该还牢记这张图，CairoVM 事不关己游离于 ZkEVM 派别接触的骨子原因是想象想想的不同
在商讨 ZkVM 之前，咱们最先想考的是如安在区块链中已毕 ZK 讲解系统。约莫上，有两种方法已毕电路 - 基于电路的系统 (circuit based) 以及基于假造机的系统 (vm-based)。
最先，基于电路的系统的功能是将要领 (program) 径直转动为不停要求 (constraints) 并送入讲解系统 (proving system)；基于假造机的系统通过领导集 (ISA) 实施要领，在此过程中产生实施轨迹 (execution trace)。这个实施轨迹之后会被映射成不停要求，然后被送入讲解系统。
对于一个基于电路的系统，要领的打算由实施要领的每台机器 (machine) 进行不停。而对于基于假造机的系统，ISA 被镶嵌到电路产生器 (circuit generator) 中，并产生要领的不停 (constraints)，同期电路产生器有领导集、运行周期、内存等等限度。假造机提供了通用性，即任何机器都不错运行一个要领，惟有该要领的运行要求在上述限度限制内。
皇冠信誉网在假造机中一个 zkp 要领简略资格如下的过程：
图片来源: Bryan, IOSG Ventures
优流毒:
从设立者 (developer) 的角度来看，在基于电路的系统中设立通常需要对每个不停要求的资本有久了的了解。但是，对于编写假造秘要领来说，电路是静态的，设立者需要更温雅的是领导 (instructions)。从考据者 (verifier) 的角度来看，假定使用交流的纯 SNARK 动作后端，基于电路的系统和假造机在电路的通用性方面有很大的不同。电路系统对每个要领产生不同的电路，而假造机对不同要领产生交流的电路。这意味着，在一个 rollup 中，电路系统需要在 L1 上部署多个考据合约 (verifier contract)。从应用 (application) 的角度来看，假造机通过将内存模子 (memory) 镶嵌到想象中，使应用要领的逻辑愈加复杂，而使用电路系统的观点是为了提高要领的性能。从系统复杂性 (complexity) 的角度来看，假造机将更多的复杂性纳入系统，如内存模子、主机 (host) 和客户 (guest) 之间的通讯等，比较之下电路系统更神圣。以下是现时 L1/L2 中基于电路和基于假造机的不同的边幅预览:
图片来源: Bryan, IOSG Ventures
假造机的想象原则在假造机中，有两个症结的想象原则。最先，确保要领被正确乎施。换句话说，输出 (output)（即不停要求 constraint）与输入 (input)（即要领 program）应当正确匹配。一般这是通过 ISA 领导集完成的。其次，确保编译器 (compiler) 在从高等话语调治为顺应的不停方法时能正确责任。
1. ISA 领导集
律例了电路产生器的责任方式。它的主要背负是将领导 (instructions) 正确地映射到不停要求 (constraint) 中，这些不停要求随后被送入讲解系统 (proving system)。zk 系统使用的都是 RISC( 精简领导集 )。有两种 ISA 的采纳：
女孩的母亲告诉奥利弗，女孩最好的朋友在野火中去世，小女孩十分想念她的朋友。
www.crownracessitehome.com海外网8月22日电 据塔斯社22日报道，俄罗斯安全会议秘书尼古拉·帕特鲁舍夫当天表示，日本已经在美国的带领下走上了军事化的道路。
皇冠体育hg86a
第一种是自建一个自界说的 ISA(custom ISA)，这在 Cairo 的想象中不错看到。一般来说，有如下四种类型的不停逻辑。
自界说 ISA 的基本想象重心是确保不停要求尽可能少，从而使要领的实施和考据都能快速运行。
第二种是垄断现存的 ISA(existing ISA)，这在 Risc0 的想象中被接收。除了以神圣的实施时候为指标外，现存的 ISA（如 Risc-V）还提供了稀零的平允，如对前端话语 (front-end language) 和后端硬件 (backend hardware) 友好。一个（有待贬责的可能）问题是，现存的 ISA 会不会在考据时候上有所过时（因为考据时候并不是 Risc-V 的主要想象追求。
2. 编译器 (Compiler)
轻松地来说，编译器会逐渐将编程话语翻译成机器代码。在 ZK 的环境下，它指的是使用 C、C++、Rust 等高等话语编译成不停系统（R1CS、QAP、AIR 等.）的初级代码暗意。有两种方法，
想象一个基于现存 zk 电路暗意 (existing circuit representations) 的编译器 -- 比如说在 ZK 中，电路弘扬神志从 Bellman 这么的不错径直调用的库 (library) 和 Circom 这么的初级话语开动。为了团聚不同的弘扬神志，Zokrates 这么的编译器（身亦然一个 DSL）旨在提供一个玄虚层，不错编译成苟且的更初级弘扬神志。基于（现存的）编译器基础设施 (compiler infrastructure) 来构建。基本逻辑是垄断一个针对多个前端和后端的中间弘扬神志 (intermediate representation)。Risc0 的编译器是基于 multi-level intermediate representation（MLIR），不错生成多个 IR（雷同于 LLVM）。不同的 IR 给设立者带来了机动性，因为不同的 IR 有各自的想象重心，举例其中有一些的优化是专门针对硬件，是以设立者不错把柄我方的意愿进行采纳。雷同的想法在使用 GCC 的 vnTinyRAM 和 TinyRAM 中也不错看到。ZkSync 亦然另一个垄断编译器基础设施的例子。
皇冠体育此外，你还不错看到一些针对 zk 的编译器基础设施，如 CirC，它也借用了 LLVM 的一些想象理念。
除了上述两个最症结的想象门径外，还有一些其他的推敲要素：
1.系统的安全性 (security) 和考据的资本 (verifier cost) 之间的衡量
系统使用的比特数越高（即安全性越高），意味着考据的资本越高。安全性反应在密钥生成器（比如在 SNARK 中代表椭圆弧线）。
体育博彩网址导航2.与前端和后端的兼容性 (compatibility)
兼容性取决于为电路的中间暗意 (intermediate representation) 的灵验性。IR 需要在正确性（要领的输出是否与输入相匹配 + 输出是否适当讲解系统）和机动性（撑合手多种前端和后端）之间取得了均衡。如果 IR 领先是为贬责像 R1CS 这么的低度 (low-degree) 不停系统而想象的，那么与其他更高等别 (high-degree) 的不停系统如 AIR 的兼容就很难。
3.为提高驱散需要手工制作 (hand-crafted) 电路
使用通用模子 (general purpose) 的流毒是，对于一些不需要复杂领导的肤浅操作，其驱散较低。
简述一下先前的一些表面，
金贝娱乐城Pinocchio 公约之前: 已毕了可考据的打算，但考据时候特出慢Pinocchio 公约: 在可考据性和考据胜仗率方面提供了表面上的可行性（即考据的时候比实施要领的时候短），是基于电路的系统TinyRAM 公约: 相对于 Pinocchio 公约，TinyRAM 更像一个假造机，引入了 ISA，因此解脱了一些限度，如内存拜谒 (RAM)、收敛流 (conttrol flow) 等vnTinyRAM 公约: 使得密钥生成 (key generation) 并不取决每个要领，提供了稀零的通用性。推广电路产生器，即能够处理更大的要领。上述模子都以 SNARK 动作自后端讲解系统，但是特出是在处理假造机时，STARK 和 Plonk 似乎是一个更合适的后端，从根底上说是由于其不停系统更顺应于已毕 cpu 相同的逻辑。
接下来，本文会先容三个基于 STARK 的假造机 - Risc0, MidenVM, CairoVM。简而言之，除了都以 STARK 动作讲解系统外，它们各自有一些不同:
Risc0 垄断 Risc-V 来已毕领导集的神圣性。R0 在 MLIR 进行编译，这是 LLVM-IR 的一个变种，旨在撑合手多种现存的通用编程话语，如 Rust、C++。Risc-V 还有一些稀零的平允，比如对于硬件较为友好。Miden 的指标是与以太坊假造机（EVM）兼容，骨子上是 EVM 的 rollup。Miden 现时有我方的编程话语，但也奋勉于于在明天撑合手 Move。Cairo VM 是由 Starkware 设立的。这三个系统所使用的 STARK 讲解系统是由 Eli Ben-Sasson 发明的，现时 Starkware 的总裁。让咱们更久了地了解它们的诀别：
* 奈何读懂上头的表格？一些注解...Word size（字长） - 由于这些假造机所基于的不停系统是 AIR，其功能与 CPU 架构雷同。是以采纳 CPU 字长（32/64 位）比较合适。Memory access（内存读取）- Risc0 使用寄存器 (register) 的原因主如果 Risc-V 领导集是基于寄存器的。Miden 主要使用堆栈 (stack) 来存储数据，因为 AIR 的功能与堆栈雷同。CairoVM 莫得使用通用寄存器 (general-purpose register)，因为 Cairo 模子中的内存拜谒 (main memory) 资本较低。Program feed（要领实施）- 不同方法是有采纳的。举例，对于 mast root 方法来说，它需要在处理领导时进行解码，因此在实施门径较多的要领中下讲解者的资本较高。Bootloading 方法试图在保合手隐痛的同期在讲解者资本和考据者的资本之间取得均衡。Non-determinism（非深信性）- 非深信性是 NP-complete 问题的一个要紧属性。垄断非深信性有助于快速考据以前的实施。反过来说，它增多了更多的不停要求，因此在考据方面会有一些调和。Acceleration on complex operations（复杂运算的加快）- 有些打算在 CPU 上运行很慢。举例，位操作，如 XOR 和 AND，哈希要领 (hash program)，如 ECDSA，还有限制查抄 (range-check)......大多是区块链 / 加密本领的原生但不是 CPU 原生的运算（除了位操作）。径直通过 DSL 来已毕这些运算会很容易导致讲解的周期 (cycle) 消耗。Permutation/multiset ( 摆设 / 多列组合 ) - 在大多数 zkVM 中多数使用，有两个观点 --1.通过减少存储完好意思的实施轨迹 (execution trace) 来裁减考据者的资本 2.讲解考据者知谈完好意思的实施轨迹著作临了笔者想谈谈 Risc0 现时的发展以过甚让我欣喜的原因。
R0 现时的发展:
a.自研的「Zirgen」的编译器基础设施正在设立中。将 Zirgen 与一些现存的 zk 专用编译器的性能进行比较会很情理。
b.一些很额外想的的篡改，如 field extension，不错已毕更坚实的安全参数以及在更大的整数上进行操作。
c.见证了在 ZK 硬件和 ZK 软件公司之间的整合中看到的挑战，Risc0 使用了一个硬件玄虚层，以便在硬件方面进行更好的设立。
d.Still a work-in-progress! 还在设立中！
撑合手手工制作的电路 (hand-crafted circuits)，撑合手多种哈希算法。现时，专用的 SHA256 电路已已毕，但是还不可满足总共的需求。笔者信赖具体采纳优化哪类电路取决于 Risc0 所提供的用例 (use case)。SHA256 是一个特出好的开端。另一方面，ZKVM 的定位给东谈主以机动性，举例，惟有他们不想，就不消去管 Keccak :)递归 (recursion)：这是一个很大的话题，笔者倾向于不在该陈述进行久了接洽。需要知谈的是，跟着 Risc0 倾向于撑合手更复杂的用例 / 要领，更伏击地需要递归。为了进一步撑合手递归，他们现时正在接洽一个硬件端的 GPU 加快决策。处理非深信性 (non-determinism)：这是 ZKVM 必须处理的一个属性，而传统的假造机是莫得这个问题的。非深信性不错匡助假造机实施得更快。MLIR 相对更擅所长理传统假造机方面的问题，而 Risc0 奈何将非深信性镶嵌到 ZKVM 系统想象中值得期待。WHAT EXCITES ME:
皇冠客服飞机：@seo3687a.肤浅且可考据！
在漫衍式系统中，PoW 需要高水平的冗余，因为东谈主们不信任他东谈主，因此需要相通实施交流的打算来达成共鸣。而通过垄断零学问讲解，情景的已毕应该和得意 1+1=2 相同容易。
2013年美国法国设下“美国陷阱”如出一辙。彼时，法国电力巨头阿尔斯通不仅无法救出美国逮捕、诱供高管皮耶鲁齐，乖乖向美国奉上天价罚款，最终仍惨遭美国通用电气公司低价吞并。如今，阿尔斯通早已跌出世界500强，法国失去一度领先全球支柱产业。b.更多更实践的用例：
郑州皇冠娱乐会所图片除了最径直的扩容外，更多额外想的用例将变得可行，比如零学问机器学习、数据分析等。比较于 Cairo 这么的特定的 ZK 话语，Rust/C++ 的功能更普适且更重大，更多 web2 的用例跑在 Risc0 VM 上。
c.更具包容性 / 纯熟的设立者社区:
对 STARK 和区块链感趣味趣味的设立者不消再再行学习 DSL，使用 Rust/C++ 即可。
感谢 Xin Gao、p0xeidon 的 Boyuan、Taiko 的 Daniel 以及 Sin7Y 对本文的撑合手和修改提议！顶盛体育备用网址
