EVM

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

在第 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市场的未来发展。

在 Solidity 中时间复杂度

本文介绍了智能合约的应用二进制接口（ABI），它使得智能合约能够与外部应用和其他智能合约进行通信和交互。ABI 充当函数选择器的角色，定义了可以调用智能合约执行的特定方法，并通过 ABI 编码将信息转换为 EVM 能够理解的格式。文章还讲解了如何生成和使用 ABI，以及 ABI 在智能合约开发中的重要性。

Monad是一个EVM兼容的Layer1区块链，旨在通过MonadBFT共识机制和并行交易处理技术实现10,000 TPS的交易速度和单Slot最终确认性。它融合了以太坊的优势和新兴区块链的特点，旨在吸引开发者。

本文概述了由技术创造的新的价值渠道，重点关注单个EVM链中的价值流动，旨在提供一个框架，用于识别传统金融和去中心化金融之间、EVM兼容链之间以及同一链上的Dapp之间的价值流动。文章还探讨了DeFi生态系统中价值的创建和重新分配方式，以及DeFi协议如何通过叠加不同的原语来逐步构建价值。