来源:pseudotheos.mirror.xyz
作者:Pseudotheos
以太坊虚拟机 (EVM) 是在以太坊区块链上管理状态和执行智能合约的虚拟机。zkEVMs 旨在通过零知识电路来证明 EVM 的执行,这个领域在过去的一年里已经有了显著的增长并扩张为一个行业。在该领域涌现了许多不同的项目和社区,每个项目和社区都采取了自己独特的方案来应对这两种技术交叉带来的挑战和机遇。
对比不同 zkEVM 项目的一个维度是 EVM 的兼容程度。虽然 EVM 兼容是一个连续介质,但有两种主要的方案:语言层面的兼容和字节码层面的兼容。
区块链开发平台Alchemy启动对ZK Rollup StarkNet的支持:金色财经报道,区块链开发平台 Alchemy 启动对 ZK Rollup StarkNet 的支持,Starknet 现已在 Alchemy 上公开发布,通过向公众开放,Alchemy 正在为 Starknet 的开发者社区提供基础设施和工具,构建者可以创建功能丰富、突破性的 dapp,starknet 用户可以在本地使用智能合约账户,而无需将他们的钱包重新编程为智能合约。虽然新产品仅代表 Alchemy 支持的 39 个区块链之一,但该公司表示,StarkNet集成是关键,因为它的“快速发展的开发者社区”和该项目的“零知识rollups的开创性方法”。[2023/5/5 14:43:29]
要理解这些方案之间的区别,很重要的一点是了解 EVM 如何执行用 Solidity 或 Vyper 等高级语言编写的代码。
Polygon正在对zk rollups技术进行性能测试:1月14日消息,Polygon正在对零知识汇总 (zk rollups) 技术进行性能测试。这项名为Polygon zkEVM技术的开发已经由Polygon Hermez团队进行了三年多。通过在zkEVM测试网的主要版本中生成超过12,000个zk证明,该团队已经确认零知识证明在以太坊上是可行的。(Cointelegraph)[2023/1/14 11:12:10]
为了使 EVM 能够运行智能合约所指定的行为,有这样一个过程:高级语言被编译成字节码,与 EVM 相连接。对于 Solidity,典型的流程如下:
Syscoin宣布集成跨链ZK Rollups:金色财经报道,Syscoin是宣布整合跨链ZK rollups,与跨链网络ZKCross 合作。ZKCross的跨链ZK rollups结合了Layer 2和多链rollup方法来创建一个网络,该网络允许用户有效交易,同时保持对资产的控制,体验与中心化交易所一样。通过创建连接多个区块链的桥梁,Syscoin和ZKCross正在开发一个安全性、效率和可扩展性的DeFi社区。[2022/7/22 2:31:28]
1. 首先,合约是用 Solidity 编程语言编写的,并保存为一个 .sol 文件。这个文件包含合约的函数、变量和其他元素。Solidity 代码通常使用集成开发环境 (IDE) 编写,并遵循特定的语法和结构。
ZK Rollup订单簿式DEX ZigZag将于6月24日开启ID0:6月21日消息,据官方消息,ZK Rollup订单簿式DEX ZigZag将于6月24日23时在自身DEX上开启ID0,第一轮公开发售将允许用户在早期阶段成为DAO的一部分,拥有对Token用例的投票权,同时决定空投的详细信息。
ZigZag总量共计1亿枚,本次ID0供应量为200万枚,仅支持USDC支付。目前,由于基础设施限制,ZigZag将仅在zkSync上提供现货交易。在zkSync2.0和StarkNet发布后,将引入杠杆交易和无需许可上市的永续合约。
金色财经此前报道,6月20日,ZK Rollup订单簿式DEX ZigZag疑似已在以太坊上部署Token ZZ的智能合约,总量1亿枚。[2022/6/21 4:41:02]
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
链得得
标签:LANAEFIROLROLLsolana币Bearn Defi ProtocolControl2XYAITROLLS
2 月 22 日,NFT 市场新贵 Blur 公布了第二轮 token 激励计划的一些细节,其中包括分配 3 亿 Blur 代币,以及忠诚度将如何影响激励情况,其具体规则如下:这则公告.
撰文:汤圆,元宇宙日爆 近日,美国职业篮球联盟(NBA)授权的 NFT 项目「NBA Top Shot Moments」被纽约法院初步裁定为「可能符合证券的定义」.
作者:Yiping, IOSG VenturesZK 为跨链通信提供了一种安全,低成本的方式跨链通信协议仍处于早期阶段,但有望允许 DApp 访问不同链上的数据DeFi.
撰文:James Trautman编译:Babywhale,Foresight News 要点: FTX 崩盘后,Solana 的价值受到的影响最大,其市值下降了 70%.
Polygon最近宣布与Aleathea AI建立合作伙伴关系,共同推出CharacterGPT,将AI生成的力量带入web3.
我们非常感谢福布斯(Forbes)对币安及整个加密行业的关注。2022年,加密行业出现的数个负面案例让主流媒体更加关心整个加密行业及交易平台,福布斯在过去也非常关注FTX,包括在这篇文章中也多次.