EVM

虚拟机是区块链中的一个关键组件，用来执行智能合约，需要满足安全性和一致性，所谓的安全性一般是指合约代码需要在隔离的沙箱环境中运行，以免错误或恶意代码造成对区块链系统的损害。而一致性...

本文主要介绍了Cyfrin团队对Aave V3.3版本进行“公共利益”Gas优化审计的结果，通过一系列Solidity优化策略，在流动性和核心池操作等关键领域减少了59,732单位的gas消耗。文章详细描述了Gas优化的方法论和多种 Gas 优化技巧，包括缓存存储读取、使用命名返回变量、通过引用传递缓存的内存结构、删除不必要的上下文结构等，旨在帮助其他开发者在工作中应用类似的策略。

该文档提议在Glamsterdam硬分叉中引入区块级访问列表（BALs），旨在通过显式映射每个交易到其访问或修改的状态（存储键、余额、nonce），使客户端能够并行执行交易，从而加速区块处理、提高吞吐量，并为节点运营者、应用、用户和基础设施提供商带来性能优势。

本次会议主要讨论了以太坊 Cancun 升级的潜在 EIP，重点关注 EIP-4844（blob 交易）、SELFDESTRUCT 操作码的移除（EIP-6780）以及与 SSZ 相关的 EIP。

本文详细介绍了在Solidity中使用Q格式表示定点数的方法，包括Q数的定义、表示方式、转换方法以及在Solidity中的实际应用示例。文章还对比了Q数与以太坊中的十进制表示，指出了Q数在乘除运算中的高效性。

该文章探讨了加密行业的多链现实，分析了EVM链、基于ZK技术的智能合约网络、应用特定区块链和非EVM区块链等不同类型链的优劣势以及开发者和用户应该如何利用它们。文章还通过数据展示了以太坊在DeFi领域的主导地位正在下降，以及其他链的崛起，同时讨论了Cosmos、Solana和Bitcoin等非EVM生态系统的发展。

fhEVM v0.6 版本引入了更强大的输入机制与证明功能，扩展了类型支持，并增强了 fhEVM 部署的配置能力。同时，Zama 推出了 fhEVM Coprocessor，它允许在任何 EVM 链上构建保密智能合约，目前已在 Sepolia 测试网上提供。

本文详细介绍了Solidity中的函数选择器（Function Selector），包括其定义、使用方法、计算方式以及相关注意事项。文章还探讨了函数选择器与EVM的关系，并提供了相关的代码示例和实用资源。

EIP-150是针对以太坊区块链的协议升级，主要引入了63/64规则以防止Call Depth Attack。该规则保留了一部分父合约的gas，防止递归调用消耗所有gas。

本文详细介绍了Solidity中的gasleft()函数的作用及其应用场景，包括防止交易耗光Gas、代码执行成本基准测试、转发所有Gas到实现合约以及防止中继器拒绝服务攻击等。

本文介绍了Avalanche Subnets，这是一种允许开发者轻松创建定制化区块链的扩展解决方案。Subnets通过提供灵活的规则设置（如gas代币、验证者、交易速度等），使开发者能够构建满足特定需求的区块链应用，从而推动区块链技术的扩展和应用。

本文介绍了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的工作原理，包括执行和欺诈证明机制。