EVM

文章详细介绍了智能合约ABI（应用二进制接口）的概念、组成元素及其在以太坊虚拟机（EVM）中的应用，还提供了生成ABI的步骤和代码示例。

这篇文章介绍了zk-STARKs和Cairo的基本概念及其在Ethereum扩展中的应用。重点讨论了EVM与Cairo语义之间的技术差异，特别是如何通过Warp编译器来实现EVM字节码到Cairo的转换，解决了这些不同导致的编程问题，并介绍了相关的算法和数据结构。文章深度解析了实现的原理与应用，内容丰富。

可视化以太坊机器， 深入了解以太坊的工作原理

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

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

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

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

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