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

来源：pseudotheos.mirror.xyz

作者：Pseudotheos

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

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

前司法部检察官：对近期XRP法院判决的上诉似乎\"不太可能”:金色财经报道，前司法部检察官、加密风险投资者Katie Haun评论了最近法院就Ripple与美国证券交易委员会的法律纠纷做出的裁决。虽然上诉是可能的，但Haun对SEC要求法律明确性和立即上诉的愿望表示怀疑。

Haun表示，法院的裁决发现，在公共交易所销售XRP并不构成未注册证券的销售，这对该行业来说是一个好结果。在这些交易中，机构投资者直接向Ripple支付资金，Ripple做出合同承诺作为交换，根据Howey创建投资合同。

对美国地区法官Analisa Torres的决定提出上诉是“可能的”，但他补充说，“立即上诉似乎不太可能，因为该机构将不得不要求法院将这一决定与将要审判的部分分开，因为我怀疑SEC是否真的想要法律上的明确性。”[2023/7/17 10:59:11]

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

香港金管局陈家齐：香港要建立合适的监管制度，支持虚拟资产包括稳定币的可持续和负责任发展:金色财经报道，在今日举行的Web3香港嘉年华峰会上，香港金融管理局助理总裁（货币管理）陈家齐在发表主旨演讲时表示，我们不但肩负虚拟资产行业监管者的角色，同时也积极促进行业的发展。我们希望以开放、互利共赢的方式共同开展工作，推进 Web3 发展。创新应该让所有人受益，从加密货币原生企业、创新企业以至最终用户等，所以发挥 Web3 潜力的同时，也必须辅以相应的监管来缓解风险。

作为监管者，我们见证了 Web3相关技术的崛起和虚拟资产的潮流，但同时亦留意到创新带来的挑战和风险，因此确保相关产品和服务的安全和稳健对于我们来说非常重要。

在监管稳定币方面，考虑到市场对稳定币作为交易媒介的期望、要求稳定币建立可信和稳健的“价值稳定”机制的重要性、稳定币对日常经济活动的潜在影响、以及稳定币可能成为传统金融市场与虚拟资产生态系统之间的的风险传导媒介等，金管局正继续有关跟进工作，希望就稳定币建立适合的监管安排。我们会和政府有关部门、其他监管机构、国际监管组织及业界保持沟通，积极促进行业界的可持续和负责任发展。[2023/4/12 13:59:21]

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

FTX美国领导层与巴哈马清算方已经达成合作协议:金色财经报道，根据一份新闻稿，FTX的美国领导层和FTX巴哈马分公司的法院指定清算方已达成合作协议，解决资产清点和处置等问题。过去几周，巴哈马联合临时清算人和FTX Trading的美国领导层发生争执，指控其各自的调查程序受到干扰。

在声明中，FTX首席执行官John Ray III表示，联合临时清算人本周在迈阿密与其团队进行了建设性会议，有些问题我们还没有达成共识，但我们解决了许多悬而未决的问题，并有解决其余问题的途径。清算方之一Brian Simms同样表示，他期待与美国破产管理人合作。[2023/1/7 10:59:24]

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

美国亿万富翁：美国经济正走向大幅下滑，有可能出现“快速衰退”:金色财经报道，美国亿万富翁投资者、比特币大多头Michael Novogratz对美国经济前景表示不乐观，认为美国经济正走向大幅下滑，有可能出现“快速衰退”。Novogratz在一次采访中表示：经济将会崩溃。我们将进入一场速度非常快的衰退，你可以从很多方面看到这一点。他是在美联储宣布加息75个基点之前发表这一言论的。

美联储周三不同寻常地将利率上调0.75个百分点，这是自1994年11月以来美联储进行的最大一次加息。在美联储宣布其决定之前，Novogratz猜测该行将加息75个基点，市场将因此暂时反弹。不过，他预测未来几天股市将出现抛售。

此前一天，Novogratz将1998年高杠杆LTCM基金的崩溃与当前以太坊区块链上比特币和以太坊等资产的崩盘相提并论。[2022/6/16 4:30:23]

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

链得得

标签：SOLLIDDITSOLIDSOL币很垃圾BLIDSMARTCREDITVSolidus

欧易交易所热门资讯