EVM

EVM存储结构在EVM中实际上有六个位置可以存储数据：stack，memory，calldata，storage，code（在一个特定的地址），log（触发事件）实际上深入研究的是前四个：stack，memory，calldata，storage

本文针对几个典型的 EVM Memory 例子进行分析，涉及到 solidity opcode，内联汇编，以及 solidity 内存安全

本文将聚焦于EVM，但我们不会做太多详细的介绍。EVM是图灵完备的以太坊虚拟机，可以完成以太坊网络上的所有交易处理。与此同时，它还是一个完整的256位虚拟机，用于执行任意EVM字节码。

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

在第 2 部分中，我们将沿着“内存”之路走一趟，全面回顾合约内存 是什么以及它在 EVM 下的工作原理。

同大多数编程语言一样，用Solidity编写的智能合约无法直接在以太坊虚拟机(EVM)上运行，必须先将其编译成字节码。

本文介绍了以太坊虚拟机（EVM）及其核心组件，包括虚拟机、智能合约、操作码和 Gas。EVM 是以太坊网络的核心，它允许开发者创建智能合约，实现各种应用，如代币生成和交易。文章还探讨了 EVM 的使用案例，例如 ERC-20 和 ERC-721 代币，以及去中心化交易所。

本文由 Fuel Labs 撰写，是关于以太坊可扩展性和执行系列文章的第一部分。

本文介绍了Argus创建的World Engine，它是一个旨在克服链上游戏技术限制的分片Layer2 SDK。World Engine通过将智能合约逻辑和游戏执行逻辑分离到EVM基础分片和游戏分片中，并采用循环驱动的运行时和分片技术来提高可扩展性。文章还通过一个链上视觉小说游戏的案例研究，展示了World Engine的潜在应用。

本文介绍了Certora Verification工具包，旨在防止Vyper编程中的逻辑错误，特别是在DeFi应用中的重要性。文章详细阐述了Certora验证流程，分析了Vyper的内存处理对形式验证的挑战，并展示了如何利用该工具验证具体代码的有效性。通过引入高层次的内存结构解析和逻辑约束，该工具有效提高了代码验证的可扩展性。

本文深入探讨了Optimistic Rollup中的欺诈证明机制，对比了Optimism和Arbitrum两种主流方案。

本文详细介绍了如何运行BNB Smart Chain（BSC）节点，包括节点的类型、硬件要求、配置步骤以及如何启动和同步节点。

本文介绍了多链（Multichain）和跨链（Cross-chain）的概念，多链指的是Dapp被部署在多个区块链上，这些区块链共享智能合约技术。跨链指的是区块链之间的通信，通过跨链桥和互操作性协议实现。文章还讨论了跨链协议的工作方式，包括锁定和铸造、流动性网络，以及多链与跨链的异同，并列举了桥、钱包和Dapp等跨链应用案例。

本文探讨了区块链虚拟机（VM）和零知识虚拟机（zkVM）的最新发展，涵盖了WasmVM、MoveVM和Solana VM等多种VM的特性和应用，并深入研究了zkVM在增强隐私、安全性和可扩展性方面的作用。文章还展望了Wasm VM的潜力、VM用例的增加以及zk市场的未来发展。