以太坊虚拟机(EVM)是在以太坊区块链上管理状态和执行智能合约的虚拟机。zkEVMs旨在通过零知识电路来证明EVM的执行,这个领域在过去的一年里已经有了显著的增长并扩张为一个行业。在该领域涌现了许多不同的项目和社区,每个项目和社区都采取了自己独特的方案来应对这两种技术交叉带来的挑战和机遇。
对比不同zkEVM项目的一个维度是EVM的兼容程度。虽然EVM兼容是一个连续介质,但有两种主要的方案:语言层面的兼容和字节码层面的兼容。
SBF律师:关于SBF使用电子通信的保释条件已修改:金色财经报道,根据Sam Bankman-Fried(SBF)的律师Mark Cohen签署的一封信中显示,SBF的法律团队和检察官达成了关于修改使用电子通信的协议。双方要求修改 Bankman-Fried 的保释条件,允许他使用各种消息应用程序,包括 FaceTime、Zoom、iMessage、短信、电子邮件、Facebook Messenger 和 WhatsApp。[2023/2/7 11:51:00]
要理解这些方案之间的区别,很重要的一点是了解EVM如何执行用Solidity或Vyper等高级语言编写的代码。
今年全国至少30个地方出台元宇宙政策文件:金色财经报道,据南方都市报记者梳理,截至目前,国内至少30个地方(涉及10个省级行政区)颁布了元宇宙相关的支持性政策或征求意见稿,政策文件名中明确包含“元宇宙”一词的就有近20份,其中上海和河南是从省级层面印发的。而业内人士表示,围绕元宇宙产业的政策更多是政府在进行引导,让更多非专业或非技术人士了解到这一概念,进而形成“集成创新”。也有专家认为,这些政策文件并非简单的技术方案,而是一种产业规划,强调产业生态构建和综合创新。[2022/10/31 11:59:33]
为了使EVM能够运行智能合约所指定的行为,有这样一个过程:高级语言被编译成字节码,与EVM相连接。对于Solidity,典型的流程如下:
深圳国际预科学院发行数字藏品:金色财经报道,据深圳国际预科学院官方公众号,该校将发行国内国际高中首个原创IP数字藏品。据悉,此次设计全国限量首发1800套,每套四个数字藏品,拥有唯一标识,不可篡改,能永久保存,部分赠送给全球校友,其余对社会公开发行。[2022/6/21 4:41:14]
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的字节码可以被设计为更加电路友好,从而使证明生成更高效。
1.摘要 稳定币提供了升级和有意义地扩展数字时代支付系统的机会。然而,尽管世界各地的技术不断进步并且当今数字经济中的客户需求持续不断,但最近的一些监管行动和当前立法提案的某些方面,把加密支付工具.
1900/1/1 0:00:00最近,因FTX暴雷影响,Genesis深陷泥潭,连带着总公司DCG、Grayscale各种负面消息在市场传播.
1900/1/1 0:00:00高度保障所有权是域名系统健康运行的关键。现在ENS的域名很便宜。注册和维护一个由五个字母组成的域名的费用每年仅为5美元.
1900/1/1 0:00:00无论是去中心化社交还是GameFi,现在都涌现出了非常多有趣且独特的思路与想法,而在两者的交融之处更是碰撞出了许多具有出圈潜力的项目.
1900/1/1 0:00:00如果你是以太坊的支持者,有一件最重要的事情你现在就可以做,那就是运行以太坊验证者。本篇文章将向你展示如何通过操作自己的以太坊权益证明验证者系统来保障以太坊安全运行并获得ETH.
1900/1/1 0:00:00加密领域的两个方面正越来越受欢迎--NFT和DeFi。NFT,即非同质化代币,是一类不能被复制或替代的加密资产.
1900/1/1 0:00:00