【区块链 | EVM】深入理解学习EVM - 深入Solidity数据存储位置：内存

3月25日，BSN第二次开发者大赛正式启动，本次大赛以“编写基于多种底层框架的智能合约”为主题，开发者可基于FISCO BCOS等主流底层框架，结合业务场景设计、开发并部署智能合约。为了让大家更好上手智能合约开发，区块链服务网络发展联盟与FISCO BCOS开源社区共同推出“7个课时速成智能合约全能型开发”系列教程，助力开发者学习并熟悉合约开发，轻松应对此次大赛并拔得头筹。系列专题 | 超话区块链...

深入理解 EVM（一）

—— 首先，为了更好地理解EVM(以太坊虚拟机)中的内存管理机制，我们还是先来看看Solidity中的基本数据类型。        -值类型：        包括整型(int/uint)，地址型(address)，布尔(Booleans)，定长字节数组(fixed byte arrays)，枚举类型(Enums)...在内的基本数据类型，在合约中都是以值的类型进行传递(赋值)；        -引...

前言 EVM 是一个轻量级的虚拟机，其设计初衷就是提供一种可以忽略硬件、操作系统等兼容性的虚拟的执行环境供以太坊网络运行智能合约。 简单来说 EVM 是一个完全独立的沙盒，在 EVM 中运行的代码是无法访问网络、文件系统和其他进程的，以此来避免错误的代码能让智能合约毁灭或者影响外部环境。 在此基础上，知道创宇区块链安全实验室 带大家一起深入理解 EVM 的存储机制和安全问题。 EVM存储结构 可以看到 EVM 存储数据分为两类： 存储在 code 和 storage 里的数据是 non-volatile

需要注意的是，矿工交易池可容纳交易的数量是有限的。如果交易是非矿工节点广播来的，此交易会被视为来自外来的(红色交易块)，也会经过检验和处理进入交易池由矿工选择打包。在进入交易队列之前，将判断所有交易队列是否达到上限，若达到上限，将会移除掉交易池或当前交易中优先级最低的交易。因本地交易优先级高于外来交易交易，所以当受到外来交易，若低于最低gasPrice就会拒绝该笔交易。签名交易由发起人的校验节点（eg：geth）广播给其他节点，一旦交易广播到网络，本地节点也会输出可以用来跟踪交易状态的交易ID。

在深入研究EVM堆栈的特性之前，我们需要了解虚拟机架构的一些基本知识。虚拟机（VM）是在本地操作系统之上的一个高级抽象。它模拟了一个物理机，并使其能够在多个操作系统和硬件架构上运行同一个平台。基于寄存器的虚拟机基于堆栈的虚拟机在执行汇编语言定义的指令时，虚拟机如何存储、检索和使用参数（例如，算术运算的操作数）。用来存储这些参数的数据结构不同当涉及到作为EVM数据位置的 "堆栈 "时，有五个主要特征需要记住。

如果你已经熟悉 EVM，请随时跳到下个部分：什么是 EVM 操作码？任何一个区块链都是一个基于交易的状态机。区块链递增地执行交易，交易完成后就变成新状态。因此，区块链上的每笔交易都是一次状态转换。简单的区块链，如比特币，本身只支持简单的交易传输。相比之下，可以运行智能合约的链，如以太坊，实现了两种类型的账户，即外部账户和智能合约账户，所以支持复杂的逻辑。外部账户由用户通过私钥控制，不包含代码；而只能合约账户仅受其关联的代码控制。EVM 代码以字节码的形式存储在虚拟ROM中。

理解EVM虚拟机交易执行、合约创建、区块上链

pragma solidity ^0.4.22; contract Demo{ uint public value1 = 0; uint public value2 = 0; function A(uint v) public returns(uint){ value1 += v; return value1; } function B(uint v) publi...

storage的数据永久存储，键值的形式写在区块链中，256位的插槽gas成本20000，修改值花费5000，清理插槽退还一定gas，不完全占用256位大小的存储字段也又成本。是从storage赋值到memory中，在编译器dubug step by step可以看到需要sload到栈中三次，每一次的SLOAD gas都是在2100左右，成本很高。calldata不可修改，非持久性，用于存储函数参数，行为类似memory，外部函数参数需要calldata。数据在函数执行期间存在，执行结束删除，不保存。

深入理解EVM的工作原理对于智能合约的开发非常重要。它可以帮助开发者理解合约的执行过程、资源消耗和安全性，从而编写更高效、安全的智能合约代码。此外，对EVM的理解还有助于优化合约的执行，以提高性能和用户体验。这种字节码是一种低级的、面向栈的指令集，类似于传统的计算机汇编语言。状态转换：EVM在执行智能合约时，会读取和修改合约的状态。沙箱隔离：每个智能合约都在自己的EVM实例中运行，彼此之间相互隔离，以防止恶意合约对其他合约或整个网络的影响。在执行过程中，EVM会维护一个栈，其中保存了运算过程中的临时数据。

以太坊通过EVM和全局状态机的设计，实现了一个既安全又高效的去中心化全球计算平台。EVM的沙盒环境、栈式架构和严格的Gas管理使得智能合约的执行既可控又确定；而全局状态机的设计则确保了所有节点在面对同一交易集时能够达成一致状态。理解这些基础概念，不仅帮助开发者更好地构建和调试智能合约，也使我们对以太坊网络的扩展性、安全性和未来发展有了更深的认识。

EVM有一个基于栈的架构，在一个栈中保存了所有内存数值。EVM的数据处理单位被定义为256位的“字”（这里所说的内存数值是指那些EVM字节码运行所需要的输入、输出参数数据和智能合约程序运行中所需要的局部变量等数据，而不是指下文中所提到的“内存”数据；下文中的“内存”是一个与栈共同存在的、独立的临时存储空间。以太坊虚拟机（EVM）的架构和执行上下文。

这篇文章主要是介绍solidity高级语言编写的智能合约编译成字节码过程及EVM执行过程

2019独角兽企业重金招聘Python工程师标准>>> ...

本文由币乎社区（bihu.com）内容支持计划赞助。 译者说，深入了解以太坊虚拟机是一个系列的文章，一共5篇！ 本文是第1篇，主要介绍的是以太坊虚拟机汇编代码基础。后续的4篇译文链接在本文的结尾处。 Solidity提供了很多高级语言的抽象概念，但是这些特性让人很难明白在运行程序的时候到底发生了什么。我阅读了Solidity的文档，但依旧存在着几个基本的问题没有弄明白。 string, byt...