区块链笔记:EVM的作用,EVM与字节码,EVM与共识验证,EVM的执行结构

2024-05-01 06:38

本文主要是介绍区块链笔记:EVM的作用,EVM与字节码,EVM与共识验证,EVM的执行结构,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

EVM的作用

  • EVM: Ethereum Virtual Machine 以太坊虚拟机
  • 在以太坊上如果我们要转账, 部署智能合约, 调用智能合约都是EVM来执行
  • EVM是在以太坊上的作用
    • 是以太坊节点的功能引擎
    • 执行以太坊交易事务
    • 部署、执行智能合约
    • 每一个节点都有独立的EVM
      • 每个节点都有一个自己的EVM
      • 每一个节点都会一致的执行同样的事务
      • 把智能程序部署这个动作广播到其他的节点
      • 其他节点接收到这个事务以后会调用EVM来同样的部署和广播
      • 也就是说每个EVM,大家都会做一样的事务
      • 这样才能保持一致性
    • 本质上是通过动作的执行更改账本的状态
    • 每个EVM都会一致的执行同样的事务

EVM与字节码

  • 所有的智能合约的部署调用,包括以太币的转账等等,都是通过EVM来执行的
  • EVM具体执行的是一个什么东西呢?EVM执行的是智能合约编译后的字节码
    • 作为虚拟机,它得能执行自己可以识别的格式的数据,这个格式是EVM的字节码
    • 字节码是EVM特定格式的,EVM只有对自己能够识别的数据才能进行执行
  • 可以通过各种语言来编写智能合约
    • 我们要先编写一下智能合约,可以通过各种支持的语言
    • 以太坊默认的是一个叫Solidity, 语法格式类似javascript
    • 目前在以太坊上可以用来编写智能合约的语言,并不只是Solidity一种的
    • 不管用什么语言编写的,最终会编译成EVM能够识别的字节码格式
  • EVM只识别字节码格式
    • 因为EVM执行的是智能合约编译后的字节码
    • 而不是我们的源程序
  • 字节码包含用户的状态数据
    • 比如我们的商品系统,众筹系统,这个系统里面都会包含一些数据
    • 对于程序来讲,总得留下一些数据才有意义
    • 这个数据我们称之为状态数据,也就是所谓的属性,状态
  • 字节码包含EVM能执行的指令,除了包含数据,还有EVM能够执行的指令
    • 这些指令比如,哈希计算,椭圆线的计算,取得一个区块高度等等各种计算
    • 包括虚拟机执行的一些动作,进栈,出栈等动作
  • EVM与JVM类似都是栈式虚拟机

EVM与共识验证

  • EVM的作用就是用来执行以太坊网络中各种各样的智能合约,各种各样的事务
  • 这些事务如果只是在一个节点上执行是没有意义的
  • 对于p2p网络来讲,尤其是区块链讲究账本统一的网络系统来说,必须通过一个共识来使每个节点的账本达到一个一致性
  • 也就是说共识是在于保持每个节点的账本统一
  • EVM是执行事务更新账本的状态,也就是说,通过共识机制使得每个节点上都能调用EVM, 执行同样的动作,更新出同样状态的账本,来保持一致
  • 谁来决定某一时刻到底是做哪些更新呢?那就是矿工,当它获得打包权以后,决定了某一时刻全网需要更新的事务
  • 包括共识验证,使得每一个节点都能来进行相应的执行
  • EVM是做具体的执行的事情,而矿工决定某一时刻执行哪些事务

EVM的执行结构

  • EVM是虚拟机,虚拟机一般分两种结构,继承器式的虚拟机,一个是栈结构虚拟机
  • EVM和Java中的JVM类似, 是栈结构虚拟机
  • EVM在具体执行的时候会先加载字节码,字节码中包含数据,包含指令
  • 程序计数器就像指针一样,一步步的告诉执行栈当前要执行的指令
  • Gas是决定每次对字节码的执行需要消耗的成本, 它是防止死循环式的执行
  • 一旦调用者的Gas(以太币)消耗完毕之后,就停止调用
  • 在执行过程中涉及到的变量等数据会加载在内存中作为一个缓存
  • 整个执行过程执行完了之后形成了一个世界状态(状态存储)
  • 对于以太坊的账本来讲,虚拟机在执行过程当中所产生的各种临时的状态,叫虚拟机状态
  • 只有它执行完成以后,最后的状态才是账本的状态,这个称之为状态存储

这篇关于区块链笔记:EVM的作用,EVM与字节码,EVM与共识验证,EVM的执行结构的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/950956

相关文章

Spring Security基于数据库验证流程详解

Spring Security 校验流程图 相关解释说明(认真看哦) AbstractAuthenticationProcessingFilter 抽象类 /*** 调用 #requiresAuthentication(HttpServletRequest, HttpServletResponse) 决定是否需要进行验证操作。* 如果需要验证,则会调用 #attemptAuthentica

字节面试 | 如何测试RocketMQ、RocketMQ?

字节面试:RocketMQ是怎么测试的呢? 答: 首先保证消息的消费正确、设计逆向用例,在验证消息内容为空等情况时的消费正确性; 推送大批量MQ,通过Admin控制台查看MQ消费的情况,是否出现消费假死、TPS是否正常等等问题。(上述都是临场发挥,但是RocketMQ真正的测试点,还真的需要探讨) 01 先了解RocketMQ 作为测试也是要简单了解RocketMQ。简单来说,就是一个分

usaco 1.3 Mixing Milk (结构体排序 qsort) and hdu 2020(sort)

到了这题学会了结构体排序 于是回去修改了 1.2 milking cows 的算法~ 结构体排序核心: 1.结构体定义 struct Milk{int price;int milks;}milk[5000]; 2.自定义的比较函数,若返回值为正,qsort 函数判定a>b ;为负,a<b;为0,a==b; int milkcmp(const void *va,c

【区块链 + 人才服务】可信教育区块链治理系统 | FISCO BCOS应用案例

伴随着区块链技术的不断完善,其在教育信息化中的应用也在持续发展。利用区块链数据共识、不可篡改的特性, 将与教育相关的数据要素在区块链上进行存证确权,在确保数据可信的前提下,促进教育的公平、透明、开放,为教育教学质量提升赋能,实现教育数据的安全共享、高等教育体系的智慧治理。 可信教育区块链治理系统的顶层治理架构由教育部、高校、企业、学生等多方角色共同参与建设、维护,支撑教育资源共享、教学质量评估、

【学习笔记】 陈强-机器学习-Python-Ch15 人工神经网络(1)sklearn

系列文章目录 监督学习:参数方法 【学习笔记】 陈强-机器学习-Python-Ch4 线性回归 【学习笔记】 陈强-机器学习-Python-Ch5 逻辑回归 【课后题练习】 陈强-机器学习-Python-Ch5 逻辑回归(SAheart.csv) 【学习笔记】 陈强-机器学习-Python-Ch6 多项逻辑回归 【学习笔记 及 课后题练习】 陈强-机器学习-Python-Ch7 判别分析 【学

系统架构师考试学习笔记第三篇——架构设计高级知识(20)通信系统架构设计理论与实践

本章知识考点:         第20课时主要学习通信系统架构设计的理论和工作中的实践。根据新版考试大纲,本课时知识点会涉及案例分析题(25分),而在历年考试中,案例题对该部分内容的考查并不多,虽在综合知识选择题目中经常考查,但分值也不高。本课时内容侧重于对知识点的记忆和理解,按照以往的出题规律,通信系统架构设计基础知识点多来源于教材内的基础网络设备、网络架构和教材外最新时事热点技术。本课时知识

【区块链 + 人才服务】区块链集成开发平台 | FISCO BCOS应用案例

随着区块链技术的快速发展,越来越多的企业开始将其应用于实际业务中。然而,区块链技术的专业性使得其集成开发成为一项挑战。针对此,广东中创智慧科技有限公司基于国产开源联盟链 FISCO BCOS 推出了区块链集成开发平台。该平台基于区块链技术,提供一套全面的区块链开发工具和开发环境,支持开发者快速开发和部署区块链应用。此外,该平台还可以提供一套全面的区块链开发教程和文档,帮助开发者快速上手区块链开发。

maven 编译构建可以执行的jar包

💝💝💝欢迎莅临我的博客,很高兴能够在这里和您见面!希望您在这里可以感受到一份轻松愉快的氛围,不仅可以获得有趣的内容和知识,也可以畅所欲言、分享您的想法和见解。 推荐:「stormsha的主页」👈,「stormsha的知识库」👈持续学习,不断总结,共同进步,为了踏实,做好当下事儿~ 专栏导航 Python系列: Python面试题合集,剑指大厂Git系列: Git操作技巧GO

自定义类型:结构体(续)

目录 一. 结构体的内存对齐 1.1 为什么存在内存对齐? 1.2 修改默认对齐数 二. 结构体传参 三. 结构体实现位段 一. 结构体的内存对齐 在前面的文章里我们已经讲过一部分的内存对齐的知识,并举出了两个例子,我们再举出两个例子继续说明: struct S3{double a;int b;char c;};int mian(){printf("%zd\n",s

C++ | Leetcode C++题解之第393题UTF-8编码验证

题目: 题解: class Solution {public:static const int MASK1 = 1 << 7;static const int MASK2 = (1 << 7) + (1 << 6);bool isValid(int num) {return (num & MASK2) == MASK1;}int getBytes(int num) {if ((num &