来源：pseudotheos.mirror.xyz
作者：Pseudotheos
以太坊虚拟机(EVM)是在以太坊区块链上管理状态和执行智能合约的虚拟机。zkEVMs旨在通过零知识电路来证明EVM的执行，这个领域在过去的一年里已经有了显著的增长并扩张为一个行业。在该领域涌现了许多不同的项目和社区，每个项目和社区都采取了自己独特的方案来应对这两种技术交叉带来的挑战和机遇。
对比不同zkEVM项目的一个维度是EVM的兼容程度。虽然EVM兼容是一个连续介质，但有两种主要的方案：语言层面的兼容和字节码层面的兼容。
律师事务所Pomerantz已代表Core Scientific投资者对该矿企展开索赔调查:1月10日消息，律师事务所Pomerantz已代表比特币矿企Core Scientific的投资者对该矿企展开索赔调查，调查涉及Core Scientific及其某些高级职员或董事是否从事证券欺诈或其他非法商业行为。
金色财经此前报道，美国最大上市比特币矿企之一Core Scientific于2022年12月份在德克萨斯州申请第11章破产保护。该公司仍产生正现金流，并计划在偿还债务人的同??时继续开采。此外据官方数据，Core Scientific在去年11月和12月分别生产了1356和1435个自挖比特币，为托管客户提供了795枚和931枚比特币。[2023/1/10 11:03:34]
要理解这些方案之间的区别，很重要的一点是了解EVM如何执行用Solidity或Vyper等高级语言编写的代码。
Zilliqa与Swissborg旗下Web3游戏社区和电竞3.0组织XBorg达成合作:金色财经报道，Layer 1区块链协议Zilliqa宣布与Swissborg旗下Web3游戏社区和电竞3.0组织XBorg达成合作，拟加速扩展游戏生态。XBorg的玩家可以访问基于Zilliqa构建的游戏测试版并将提供新的分销渠道，加速每款游戏的用户采用。此外，XBorg还将为Zilliqa游戏组织电竞比赛。据此前报道，Zilliqa将于2023年发布Web3游戏机并推出两款区块链游戏。（prnewswire）[2022/9/24 7:18:41]
为了使EVM能够运行智能合约所指定的行为，有这样一个过程：高级语言被编译成字节码，与EVM相连接。对于Solidity，典型的流程如下：
阿根廷科技巨头Globant联创：科技等其他行业应认真对待元宇宙、NFT和Crypto:6月14日消息，加密货币及其衍生产品开始触及包括科技行业在内的许多行业，许多公司担心这可能产生的影响。阿根廷科技独角兽公司Globant的联合创始人之一Guibert Englebienne解释说，这种影响以及Crypto、NFT和元宇宙领域合并产生的新技术不应被忽视。
Englebienne的观点是基于这些行业的广泛范围，以及这将如何影响其他与加密密切相关的业务，比如科技。他在接受当地媒体采访时表示：“一般来说，当组织发展壮大时，他们会形成一种对自己有利的商业模式，并在此基础上形成一种习惯，但新技术的出现会对你的业务产生干扰。花一部分时间去理解这一点是很重要的。”（Bitcoin.com）[2022/6/14 4:25:51]
1.首先，合约是用Solidity编程语言编写的，并保存为一个.sol文件。这个文件包含合约的函数、变量和其他元素。Solidity代码通常使用集成开发环境(IDE)编写，并遵循特定的语法和结构。
2.接下来，使用Solidity编译器将.sol文件编译成字节码。字节码是一种有效存储的、机器可读的操作码表示，可以在EVM上执行。操作码是EVM能够直接解释和执行的低层级指令。编译过程包括几个步骤，如语法检查、类型检查和优化，以确保字节码的正确和有效的。
3.一旦合约被编译成字节码，它就可以被部署到以太坊。这通常涉及到向交易池发送一个带有合约字节码的交易。该交易最终被纳入以太坊区块，然后合约被创建。
4.合约部署后，它可以与以太坊上的其他合约和用户进行互动。
上述流程描述了合约如何被部署到以太坊。部署到zkEVM的流程将根据它是字节码层面兼容的还是语言层面兼容的而有所不同。
执行和证明具有与EVM相同的字节码的zkEVM被称为“字节码层面兼容”。在字节码兼容的zkEVM中，除了合约部署地方的不同，对开发者的体验没有任何改变。这种zkEVM上可以使用同样的Solidity代码、编译器和字节码。开发者可以继续使用他们往常使用的编程语言和工具，同时还可以利用零知识电路的可扩展性和加密安全性。这类zkEVM需要能够通过处理相同的低层级操作码和复制相同的结果来复制EVM的行为。这涉及到将操作码映射到自定义的ZK电路上。从工程的角度来看，这种映射是具有挑战性的，而且操作码的映射导致更庞大的电路和更高的证明生成成本。然而，它最终会给开发者带来更简单的体验。
语言层级兼容性是指zkEVM与高级代码(如Solidity)一起运行的能力。开发者仍然可以用Solidity或其他高级语言编写代码，但这种高级代码必须被编译成与EVM不同的字节码。这需要一个特定于部署合约的zkEVM网络的编译步骤。非EVM的字节码可以被设计为更加电路友好，从而使证明生成更高效。
感谢阅读!在Twitter上关注@pseudotheos以获得未来文章的通知。本文基于CCBY-SA版权类型。
脚注
:Solidity首先被编译成一种中间语言，称为Yul，然后再编译成字节码。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。