了解以太坊虚拟机(EVM)

news/2024/4/17 7:54:02

了解以太坊虚拟机(EVM)

以太坊虚拟机(Ethereum Virtual Machine,简称EVM)是以太坊网络的核心组件之一,它承担着智能合约执行的重要任务

特点

  • 智能合约执行环境:EVM提供了一个安全的环境,用于执行智能合约。这些合约以Solidity等高级编程语言编写,并在以太坊区块链上部署和执行

  • 不可篡改性:EVM的设计目标之一是确保智能合约执行的不可篡改性。一旦部署到以太坊区块链上,智能合约的代码将永远不会改变,保证了合约的可靠性和安全性

  • 分布式执行:EVM运行在整个以太坊网络上的节点之上,通过共识算法确保所有节点对智能合约的执行结果达成一致

  • 燃料机制:为了防止恶意用户滥用资源,EVM引入了燃料机制。执行智能合约需要支付一定数量的以太币作为燃料费用,确保合约的执行成本被合理控制

状态与数据模型

  • 存储区域(Storage)存储区域是每个以太坊账户的持久性存储空间,用于永久性地存储合约的状态信息。这些状态信息包括合约的变量状态标志、以及其他重要的数据,这里指的是每个节点的状态数据库。

比如ERC20代币合约,它存储了每个用户的余额信息。在合约的存储区域中,将会存储每个用户的地址与对应的余额数据

Storgate

  • 内存区域(Memory):内存区域是EVM提供的一个临时性的存储空间,用于在合约执行期间存储临时数据。通常用于存储中间计算结果或其他临时数据。

在一个复杂的数学计算合约中,可能需要使用内存区域来存储中间计算结果,以便在执行过程中进行多步计算

  • 合约数据区域:合约数据区域是用于存储合约的代码的特殊存储空间。每个合约的代码都存储在合约数据区域中。

一个智能合约的字节码文件(由代码编译而来)存储在合约数据区域中的数据。当合约被部署到以太坊网络上时,会被存储在这个特殊的存储空间中

注意

交易和合约调用(其实也是一种交易)的信息会存储在区块链上,但是这些交易引发的状态变更(比如Alice向Bob转了1ETH)是不会记录在区块链中的,状态变更数据库是节点根据区块链中的交易构建而成的。所以我们上面说的存储区域合约数据区域是节点根据区块构建出来的。

build

为什么要构建状态数据库?

构建状态数据库之后节点可以快速的校验交易的合法性,以及验证新区块

  • 从计算机的角度看:状态数据库可能存在计算机的硬盘里,也可能存在计算机的内存中,要看节点的具体实现
  • 从EVM的角度看:先对于内存区域而言,这些数据被"物理"的存储了

memory&storage

结论

  • 以太坊虚拟机(EVM)是以太坊生态系统的核心组件之一,它为智能合约的安全执行提供了一个可靠的环境
  • EVM的特点和状态与数据模型为开发者提供了丰富的功能和灵活性,使得以太坊成为了一个强大而多样化的智能合约平台

https://www.xjx100.cn/news/3366284.html

相关文章

WebView的使用和后退键处理

WebView在Android开发中常被用作嵌入网页或实现网页功能的控件。它的基本使用涉及到创建WebView对象,并在需要显示网页的地方调用相关方法来加载和展示网页内容。下面是一些WebView的基本使用步骤以及后退键的处理方法。 WebView的基本使用 创建WebView对象&#…

坦克大战_java源码_swing界面_带毕业论文

一. 演示视频 坦克大战_java源码_swing界面_带毕业论文 二. 实现步骤 完整项目获取 https://githubs.xyz/y22.html 部分截图 启动类是 TankClinet.java,内置碰撞检测算法,线程,安全集合,一切皆对象思想等,是java进阶…

2.2.1.2-网格交易(python网格交易附实战交易记录)

跳转到根目录:知行合一:投资篇 已完成: 1、投资&技术   1.1.1 投资-编程基础-numpy   1.1.2 投资-编程基础-pandas   1.2 金融数据处理   1.3 金融数据可视化 2、投资方法论   2.1.1 预期年化收益率   2.1.2 一个关于yaxb的…

HarmonyOS NEXT应用开发之ForEach:循环渲染

ForEach接口基于数组类型数据来进行循环渲染,需要与容器组件配合使用,且接口返回的组件应当是允许包含在ForEach父容器组件中的子组件。例如,ListItem组件要求ForEach的父容器组件必须为 List组件 。 说明: 从API version 9开始&a…

蓝桥杯刷题第八天(dp专题)

这道题有点像小学奥数题,解题的关键主要是: 有2种走法固走到第i级阶梯,可以通过计算走到第i-1级和第i-2级的走法和,可以初始化走到第1级楼梯和走到第2级楼梯。分别为f[1]1;f[2]1(11)1(2)2.然后就可以循环遍历到后面的状态。 f[i…

buntu安装缷载3proxy

前往3proxy官网下载最新版本&#xff1a; 访问 3proxy官网 下载适用于Ubuntu的最新版本的.deb安装包。 下载并安装&#xff1a; 在终端中使用wget命令下载&#xff0c;然后使用dpkg命令安装&#xff1a; wget https://www.3proxy.ru/downloads/3proxy-<version>-linux-i…

基于Unet的BraTS 3d 脑肿瘤医学图像分割,从nii.gz文件中切分出2D图片数据

1、前言 3D图像分割一直是医疗领域的难题&#xff0c;在这方面nnunet已经成为了标杆&#xff0c;不过nnunet教程较少&#xff0c;本人之前跑了好久&#xff0c;一直目录报错、格式报错&#xff0c;反正哪里都是报错等等。并且&#xff0c;nnunet对于硬件的要求很高&#xff0c…

web蓝桥杯真题:健身大调查

代码及注释&#xff1a; function formSubmit() {// TODO&#xff1a;待补充代码const quescontent document.querySelector(#quescontent)const height document.querySelector(#height)const weight document.querySelector(#weight)const male document.querySelector(…