本文介绍了zkEVM,一种EVM兼容的zk-Rollup方案,旨在解决当前zk-Rollup在通用DApp构建和可组合性方面的挑战。zkEVM通过生成EVM验证的zk证明,使得现有的以太坊应用可以轻松迁移到zk-Rollup上,同时详细讨论了zkEVM的设计挑战以及当前技术背景下实现zkEVM的可行性,并阐述了从头开始构建zkEVM的高级思路和关键技术。
以太坊基金会和Mina基金会发布提案征集(RfP),旨在设计并实现一种在以太坊上验证Pickles SNARK的机制。目标是实现Mina区块链在以太坊上的完全验证,从而实现两个链之间的互操作,并使应用程序更广泛地在以太坊上使用递归SNARK。该提案详细介绍了验证过程中的关键步骤,包括哈希计算、算术方程检查和多标量乘法(MSM),并提出了使用辅助证明系统来验证计算密集型步骤的方案。
EVM 控制流程,区块,Hash, 账户,交易, Log 与 Gas 相关的指令集说明
本文介绍了Optimistic Virtual Machine (OVM),它是运行在Optimistic Rollup上的智能合约的执行环境。OVM与以太坊虚拟机(EVM)兼容,通过乐观执行和欺诈证明机制,实现了在Layer 2上进行通用计算,从而扩展以太坊的吞吐量和减少延迟。文章还对比了OVM与EVM、zkEVM的区别,并深入探讨了OVM的工作原理,包括执行和欺诈证明机制。
本文详细介绍了 Solidity 中的有符号整数及其在 EVM 层面的使用方式,重点解释了两补码(Two’s Complement)表示法及其在加减乘除等算术运算中的应用。
本文档描述了跨链查询(CCQ)的设计方案,旨在提供一种机制,让集成者可以请求信息并从守护者那里获得关于他们所连接链的证明。CCQ 允许链上和链下发起信息请求,支持 EVM 链和 Solana 链,通过 REST API 接收和执行请求,并提供 Typescript 库和 EVM 响应解析库来辅助集成。同时,文章还讨论了安全性和部署方面的考虑。
从solidity使用,到opcode原理,再到Geth实现,三个层次解读委托调用的原理与实现
原文:https://noxx.substack.com/p/evm-deep-dives-the-path-to-shadowy?utm_source=url&s=r 译文出自:Shenstone。 译者:Shenstone。 校对:Shenstone。 本文永久链接:https://learnblockchain.cn/article/3647
原文:https://noxx.substack.com/p/evm-deep-dives-the-path-to-shadowy-d6b?s=r 译文出自:Shenstone。 译者:Shenstone。 校对:Shenstone。 本文永久链接:https://learnblockchain.cn/article/3684
Viem是一个相当新的web3库,它专注于EVM,提供了更好的开发体验,更小的包体积等等。在本文中,将使用foundry部署一个简单的合约,并在node环境下使用viem与部署的链上合约执行读写交互。
彻底理解solidity里的storage:Ethereum Architecture(以太坊架构),Block Header(区块头),State Root,Ethereum Account,Storage Root,StateDB -> stateObject -> StateAccount,初始化一个新的以太坊账户,SSTORE,SLOAD
从opcode角度讲解EVM的内存机制,包括数据结构,空闲内存指针与变量赋值等
关键词:Rust/区块链/EVM/并发编程/日志分析/tokio/governor/moka/高性能架构🧭导读这不是一篇单纯讲Rust的文章。而是一篇从一台机器、一个节点、到每天处理百日区块数据的性能奇迹诞生记。如果你:正在用RPC拉链上
这篇文章介绍 Ethereum 开发者的一些实用工具:Foundry 除了测试之外的功能及 VSCode 的 Solidity Visual Developer 插件
深入浅出以太坊Dapp