EVM

本文介绍了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），并提出了使用辅助证明系统来验证计算密集型步骤的方案。

本文深入探讨了智能合约开发的关键最佳实践，涵盖了Solidity和区块链基础知识、安全编码实践、代码优化和Gas效率、测试和审计、部署最佳实践、行业标准以及持续学习。强调了智能合约安全的重要性，并提供了技术解释和可操作的见解，旨在帮助开发者构建安全、高效且易于维护的智能合约。

EVM 控制流程，区块，Hash, 账户，交易, Log 与 Gas 相关的指令集说明

本文介绍了Optimistic Virtual Machine (OVM)，它是运行在Optimistic Rollup上的智能合约的执行环境。OVM与以太坊虚拟机（EVM）兼容，通过乐观执行和欺诈证明机制，实现了在Layer 2上进行通用计算，从而扩展以太坊的吞吐量和减少延迟。文章还对比了OVM与EVM、zkEVM的区别，并深入探讨了OVM的工作原理，包括执行和欺诈证明机制。

本文介绍了Fhenix，一个基于全同态加密（FHE）的区块链项目，旨在将加密数据的计算引入EVM智能合约。Fhenix利用FHE技术增强区块链的隐私性和可扩展性，并探讨了FHE在区块链中的潜在用例，如数据保密、安全计算和跨链互操作性。文章还提到了其他利用FHE的区块链项目，并对Fhenix的未来发展方向进行了展望。

本文详细介绍了 Solidity 中的有符号整数及其在 EVM 层面的使用方式，重点解释了两补码（Two’s Complement）表示法及其在加减乘除等算术运算中的应用。

本文档介绍了Optimism网络中的预部署合约，它们位于预先确定的地址，类似于预编译合约，但直接在EVM中运行。

本文深入探讨了如何在Solidity中优化Gas费用，涵盖了从存储、内存和calldata的选择，到变量打包、减少冗余存储写入、函数层面的优化、循环效率提升以及数据结构选择等多个方面。此外，还介绍了高级的Gas优化策略，如使用inline assembly和bitwise操作，旨在帮助开发者编写更高效、更经济的智能合约。

本文档描述了跨链查询（CCQ）的设计方案，旨在提供一种机制，让集成者可以请求信息并从守护者那里获得关于他们所连接链的证明。CCQ 允许链上和链下发起信息请求，支持 EVM 链和 Solana 链，通过 REST API 接收和执行请求，并提供 Typescript 库和 EVM 响应解析库来辅助集成。同时，文章还讨论了安全性和部署方面的考虑。

从solidity使用，到opcode原理，再到Geth实现，三个层次解读委托调用的原理与实现

Viem是一个相当新的web3库，它专注于EVM，提供了更好的开发体验，更小的包体积等等。在本文中，将使用foundry部署一个简单的合约，并在node环境下使用viem与部署的链上合约执行读写交互。