从合约部署的角度区分不同的 zkEVM

来源：pseudotheos.mirror.xyz

作者：Pseudotheos

以太坊虚拟机 (EVM) 是在以太坊区块链上管理状态和执行智能合约的虚拟机。zkEVMs 旨在通过零知识电路来证明 EVM 的执行，这个领域在过去的一年里已经有了显著的增长并扩张为一个行业。在该领域涌现了许多不同的项目和社区，每个项目和社区都采取了自己独特的方案来应对这两种技术交叉带来的挑战和机遇。

对比不同 zkEVM 项目的一个维度是 EVM 的兼容程度。虽然 EVM 兼容是一个连续介质，但有两种主要的方案：语言层面的兼容和字节码层面的兼容。

Optimism主网Bedrock升级将于6月7日进行，届时需停机2至4小时:5月16日消息，以太坊二层解决方案Optimism发推文称：“OP主网升级到Bedrock的官方日期已经确定：UTC时间6月6日16:00（北京时间6月7日00:00），升级将需要OP主网停机2-4小时。升级当天，停机期间将无法进行交易、充值和提款，OP主网链将停止运行。节点运营商需为Bedrock启动一个全新的节点部署。”

据悉，Bedrock是由OP Labs开发的新一代去中心化Rollup基础架构，旨在为Layer2网络提供模块化、简单性和以太坊等效性。[2023/5/16 15:05:02]

要理解这些方案之间的区别，很重要的一点是了解 EVM 如何执行用 Solidity 或 Vyper 等高级语言编写的代码。

Compute North的重组计划获得破产法官的批准:金色财经报道，一名联邦法官批准了实际上已解散的加密货币挖矿服务公司 Compute North 的最终重组计划，该公司是北美最大的公司之一，使该公司有望成为昔日的影子。Compute North 于 9 月申请破产保护，因为它无法履行其债务义务。Compute North 的律师在周四的听证会上表示，这家矿业公司已经完成了 13 项资产出售，其中四项是重大资产出售，这些资产已经“清偿”了其 2.5 亿美元的所有担保债务。

Compute North 已与多家公司结清债务，以便让他们参与该计划并避免未来的诉讼。其中包括行业巨头 Marathon Digital Holdings，该公司于 2 月 9 日同意以 4000 万美元的一般无担保索赔作为接受该计划的回报。另外 11 家公司不得不与 Compute North 就相对较小的索赔达成和解，以确保该计划得以通过。[2023/2/17 12:11:57]

为了使 EVM 能够运行智能合约所指定的行为，有这样一个过程：高级语言被编译成字节码，与 EVM 相连接。对于 Solidity，典型的流程如下：

Decentraland创始人Ordano和Meilich加入了Genesis债权人名单:金色财经报道，Decentraland的高管和创始人中，有三位进入了对Genesis Global的50个最大的非内部人士无担保索赔名单。Decentraland联合创始人Esteban Ordano现在担任顾问，他被列为一家名为Winah Securities的实体的联系人。Genesis欠Winah将近2700万美元。游戏公司Big Time Studios被拖欠2000万美元。它由Decentraland的另一位联合创始人Ari Meilich运营。他在2020年创办了Big Time，但仍是一名Decentraland顾问。[2023/1/21 11:24:33]

1. 首先，合约是用 Solidity 编程语言编写的，并保存为一个 .sol 文件。这个文件包含合约的函数、变量和其他元素。Solidity 代码通常使用集成开发环境 (IDE) 编写，并遵循特定的语法和结构。

大学生全球线上马拉松THUBA DAO Summer Hack正式启动:7月30日消息，THUBA DAO Summer Hack活动将于8月1日正式启动。活动报名入口已在开发者激励平台DoraHacks.io开启，项目提交截止时间为9月5日。本次线上黑客松由THUBADAO主办，总奖金池超6万美金，面向全球所有大学生开发者。活动包含DeFi，Infra，NFT，DAOs和Blockchain for Good五大赛道。除奖金和融资机会外，参赛选手还有机会参与免费在线研讨会和导师一对一咨询，并与来自清华大学、北京大学、宾夕法尼亚大学、延世大学等世界顶尖大学的的BUIDLer建立联系。

本次活动由THUBADAO—清华大学学生区块链协会（THUBA）发起的去中心化自治组织主办，旨在培养下一代Web3领导者。活动赞助伙伴包括EduDAO，BitDAO，Algorand，Dfinity，Polygon等，由DoraHacks提供平台支持。[2022/7/30 2:47:47]

2. 接下来，使用 Solidity 编译器将 .sol 文件编译成字节码。字节码是一种有效存储的、机器可读的操作码表示，可以在 EVM 上执行。操作码 是 EVM 能够直接解释和执行的低层级指令。编译过程包括几个步骤，如语法检查、类型检查和优化，以确保字节码的正确和有效的。

3. 一旦合约被编译成字节码，它就可以被部署到以太坊。这通常涉及到向交易池发送一个带有合约字节码的交易。该交易最终被纳入以太坊区块，然后合约被创建。

4. 合约部署后，它可以与以太坊上的其他合约和用户进行互动。

上述流程描述了合约如何被部署到以太坊。部署到 zkEVM 的流程将根据它是字节码层面兼容的还是语言层面兼容的而有所不同。

执行和证明具有与 EVM 相同的字节码的 zkEVM 被称为“字节码层面兼容”。在字节码兼容的 zkEVM 中，除了合约部署地方的不同，对开发者的体验没有任何改变。这种 zkEVM 上可以使用同样的 Solidity 代码、编译器和字节码。开发者可以继续使用他们往常使用的编程语言和工具，同时还可以利用零知识电路的可扩展性和加密安全性。这类 zkEVM 需要能够通过处理相同的低层级操作码和复制相同的结果来复制 EVM 的行为。这涉及到将操作码映射到自定义的 ZK 电路上。从工程的角度来看，这种映射是具有挑战性的，而且操作码的映射导致更庞大的电路和更高的证明生成成本。然而，它最终会给开发者带来更简单的体验。

语言层级兼容性是指 zkEVM 与高级代码 (如Solidity) 一起运行的能力。开发者仍然可以用 Solidity 或其他高级语言编写代码，但这种高级代码必须被编译成与 EVM 不同的字节码。这需要一个特定于部署合约的 zkEVM 网络的编译步骤。非 EVM 的字节码可以被设计为更加电路友好，从而使证明生成更高效。

感谢阅读! 在 Twitter 上关注 @pseudotheos 以获得未来文章的通知。本文基于 CC BY-SA 版权类型。

脚注

: Solidity 首先被编译成一种中间语言，称为 Yul，然后再编译成字节码。

金色早8点

金色财经

Odaily星球日报

欧科云链

澎湃新闻

Arcane Labs

深潮TechFlow

MarsBit

BTCStudy

链得得

标签：SOLLIDSOLIDDITsol币是什么币种ethylideneSolidblockbusiness-credit-alliance-chain

币安交易所app下载热门资讯