Facebook币Libra学习-2.交易生命周期
交易生命周期
为了更加深入的理解Libra的交易生命周期,我们将跟随一个交易的全过程,从其被提交到Libra validator始,直至其被添加到区块链上止。我们将“放大”来看每个validator逻辑组件及与其他组件之间的交互。
客户端提交交易
Libra客户端构造 原始交易 (此处称为T5raw),从Alice的账户中转移10Libra币到Bob的账户中。原始交易应包含以下字段:每个字段都通过超链接关联到词汇定义表。
- Alice的账户地址.
- 一个表明Alice方将执行的操作的程序,包括:
- 一个Move 点对点字节码交易脚本.
- 脚本输入参数列表 (在这个例子中为Bob的账户地址和付款金额等).
- Gas价格 (以microlibra/gas为单位) — Alice愿意为执行本次交易所需的每单位Gas支付的价格。Gas用于支付区块链上的计算和存储费用。每一Gas单位是对计算量的抽象度量
- Alice愿意为为此次交易支付的Gas上限
- 此次交易的有效期
- 序号 — 5
- 序号为5的交易,只能在包含5个交易的账户中发起。
客户端使用Alice的私钥对交易T5raw 签名 。签名后的交易T5 包括下列内容:
- 原始交易
- Alice的公钥
- Alice的数字签名
交易前的假设
为了描述交易T5的生命周期, 我们有如下假设:
- Alice和Bob在Libra区块链上都拥有账户。
- Alice账户中有110Libra币。
- Alice账户中当前的序列号 是5 (表示Alice的账户已经发送了5次交易).
- 网络中共有100个validator—从 V1 到 V100 。
- 客户端将交易T5 提交给validator V1
- Validator V1 即为本轮共识的倡议者或领导者
交易的生命周期
在本节中我们将讨论交易T5的生命周期, 从其被提交到Libra validator始,直至其被添加到区块链上止。
下图展示了validator 节点相关组件之间的交互链的相关节点。在熟悉交易生命周期的所有步骤后,你可以进一步了解各步骤中相应组件的交互信息。
注意:本图标中的所有箭头都起始于发起交互或操作的组件,终止于执行操作的组件。此处箭头 不表示数据的读取,写入或返回。
FIGURE 1.1 交易生命周期
接收交易
1 — 客户端将交易T5 提交给validator V1 ,V1 的准入控制组件(AC)接受该交易。(客户端 → AC AC.1)
2 — AC 利用虚拟机组件 (VM) 执行查验,如签名验证,检查Alice账户余额是否充足,检查交易V1 是否 被重复广播等(AC → VM AC.2, VM.1)
3 — 当交易T5 通过查验后, AC 将交易T5 发送到to V1’的内存池(AC → 内存池 AC.3, MP.1)
发布交易到其他Validators
4 — 内存池将交易T5 保存在内存缓冲区中。内存池内可能已经包含了从Alice账户地址发送的多个交易。
5 — 利用内存池共享协议, V1 将发送其内存池中所有交易(包括交易T5) 给其他validator(V2 to V100) 并将从其他validator接受到的交易存储在自身的内存池中(Mempool →其他 Validators MP.2)
交易区块发起
6 — 作为本轮共识发起者V1 将从其内存池中提取一个区块,并通过共识组件复制分发给其他的validator。(共识组件 → 内存池MP.3, CO.1)
7 — V1 的共识组件负责协调所有validator发送的区块中交易的顺序。(共识 → 其他Validators CO.2).关于此处提出的共识协议LibraBFT,请参阅技术性文献Libra区块链中的状态机复制
###区块的执行和共识的达成
8 — 作为共识达成过程的一个步骤,交易区块(包括交易 T5) 被提交给执行组件。(共识 → 执行CO.3, EX.1)
9 — 执行组件通过虚拟机(VM)管理交易的执行。应注意,此处的执行是在达成共识前的推测性执行。(执行→ VM EX.2, VM.3)
10 — 在上述执行完成后,执行组件将交易区块将(包含T5)附加到 (分布式账本的历史)Merkle累加器 上,形成内存/临时版本Merkle累加器。执行(发起和推测)交易的结果会返回到共识组件。(共识 → 执行CO.3, EX.1).从共识指向执行的箭头表示该执行请求由共识组件发起。(为了减少歧义,本文中将不使用箭头表示数据流).
11 — (共识发起者)V1 试图与其他共识参与者,即其他validator就该区块的执行结果达成共识。(共识→ 其他 Validators CO.3)
###区块的提交
12 — 当对区块的执行结果达成共识并签名的validator数量上具有绝对优势时,V1'的执行组件将从缓存中读取区块的推测性执行结果,并将区块中的所有交易提交到永久存储中。(共识 → 执行CO.4, EX.3), (Execution → Storage EX.4, ST.3)
13 — Alice账户现在的余额为100Libra币,序列号为6.如T5 被Bob重复广播,该交易将被拒绝,因为Alice账户的序列号(6)大于被重复广播的交易的序号(5)
Validator 组件交互
在上一部分中, 我们举例说明了一个典型的交易生命周期,从其被提交到Libra validator始,直至其被添加到区块链上止。现在我们将更加深入的探究validator处理交易并响应请求时,组件间的交互。对下述人员,这些信息可能十分值得参考:
- 想要全面了解底层系统是如何运作的;
- 有兴趣为Libra Core软件做出贡献的
为叙述方便,我们假设客户端提交一个交易TN 给一个validatorVX.对每个validator组件,我们将在其相对应子章节中具体描述组件之间的交互。此处应注意,用以描述组件间交互的子章节顺序并未严格按照其执行顺序。组件间的大部分交互都与交易的执行有关,少数与客户端发出的(查询区块链上的已知信息)请求有关。
我们先来看validator 节点的核心逻辑组件:
每一小节结尾都附有Libra Core中的相应文档。
准入控制(AC)
![Figure 1.2 准入控制(assets/illustrations/admission-control.svg) FIGURE 1.2 准入控制
准入控制是validator 的唯一外部接口。客户端向Validator节点发送的任何请求都将先转入AC。
客户端→ AC (AC.1)
一个客户端将交易提交给VX的准入控制组件。此步骤通过: AC::SubmitTransaction()
完成。
AC → VM (AC.2)
准入控制组件访问validator的虚拟机并对交易进行预查验,以便尽早拒绝格式错误的交易。此步骤VM::ValidateTransaction()
完成。
AC → 内存池(AC.3)
一旦VM::ValidateTransaction()
没有返回错误, AC 就通过Mempool::AddTransactionWithValidation().
将交易转发到VX的内存池。当且仅当TN的序号大于或等于发送者账户的序号时,VX的内存池才会接受来自AC的交易TN(注意:在交易序号和账户的下一个序号相等前,交易无法达成共识)
AC → 存储(AC.4)
当客户端对Libra区块链执行查询时(例如获取Alice账户余额)。AC直接与存储组件交互,以获取所请求的信息。
准入控制文档
更多实现细节,请参阅准入控制文档。
##虚拟机(VM)
FIGURE 1.3 虚拟机
Move虚拟机 (VM) 验证并执行Move字节码编写的脚本。
AC → VM (VM.1)
VX的准入控制组件接收到交易请求时, 将调用虚拟机上的VM::ValidateTransaction()
程序验证交易。
VM → 存储 (VM.2)
当准入控制组件或内存池通过VM::ValidateTransaction()
, 向虚拟机提交验证交易请求时虚拟机加载存储中保存的交易发起者账户,并执行以下验证:
- 检查交易中的签名是否正确(并拒绝签名错误的交易);
- 验证发起者的账户身份验证密钥是否与其(签署交易私钥对应的)公钥的哈希值一致;
- 核查交易的序号是否不小于发起者账户当前的序列号。 此检查可防止发起者账户发出的交易被重复执行;
- 验证签名交易的程序代码是否有格式错误,虚拟机无法执行格式错误的程序代码;
- 验证发起者账户是否有充足的余额支付专用于此交易的Gas上限,以确保交易有支付资源使用费的能力。
执行 → 虚拟机 (VM.3)
执行组件通过调用虚拟机的VM::ExecuteTransaction()
函数执行交易。
此处应重点注意,执行交易不同于更新分布式账本状态或存储执行结果。首先,在共识期间,执行交易TN 以获得区块的共识。当与其他validator就交易顺序和执行结果达成共识后,执行结果才被永久存储,分布式账本状态也随之更新。
内存池 → 虚拟机(VM.4)
当内存池通过其他validator共享内存池接收到交易请求时,内存池随即调用虚拟机上的VM::ValidateTransaction()
来验证交易
虚拟机README
更多实现细节,请参阅 虚拟机文档.
内存池
FIGURE 1.4 内存池
内存池是一个共享缓冲区,用于保存等待执行的交易。当一笔新交易添加到内存池时,内存池与系统的其他validator共享此交易。为减少网络消耗,在共享的内存池系统中,每个validator仅负责传递自己的交易,当validator从其他validator内存池发送的交易时,该交易将会被添加到接受者的内存池中。
AC → 内存池(MP.1)
- 执行初始查验后,validator的准入控制组件将交易发送到其内存池;
- 当且晋档收件人账户发来的交易TN的序号大于或等于发件人账户的序列号时,VX的内存池才接收此交易。
内存池→其他Validators (MP.2)
- VX 的内存池将交易TN 共享给同一网络中的其他validator; *其他validators将其内存池中的交易共享给 VX的内存池;(即相互共享内存池中的交易)
###共识→内存池(MP.3)
- 当 VX 为共识发起者时,其共识组件将从其内存池中提取一个交易区块并复制转发给其他validator,以就交易顺序和交易结果达成共识。
- 此处注意,尽管TN 此时在交易区块中,但 TN 并不一定最终能被永久存储在区块链的分布式数据库中。
内存池 → 虚拟机(MP.4)
当内存池接收到其他validator发送的交易时,将在虚拟机上调用VM::ValidateTransaction()
来验证交易。
内存池README
更多实现细节,请参阅内存池文档.
共识
FIGURE 1.5 共识
共识组件用于与网络中参与共识协议其他validator就交易区块结果和顺序达成共识
共识 → Mempool (CO.1)
当 VX 为交易发起者时 VX 调用Mempool::GetBlock()
, 从其内存池中提取交易区块并发起提议。
共识→ 其他Validators (CO.2)
若VX 为共识发起者,其共识组件将所提取的交易区块复制转发给其他validator
共识 → 执行, 共识 → 其他Validators (CO.3)
- 交易区块内的执行要求共识和其他组件进行交互。共识通过调用
Execution:ExecuteBlock()
(参考 共识 → 执行)执行交易; - 区块内的交易执行后,执行组件返回交易的执行结果; *共识签署执行结果,并试图与参与协商的其他validator达成共识。
共识 → 执行(CO.4)
当对区块的执行结果达成共识的validator数量上具有绝对优势时,VX 的共识组件通过Execution::CommitBlock()
通知执行组件该交易块已准备好被提交。
共识README
更多实现细节,请参阅共识README.
执行
FIGURE 1.6 执行
执行组件用于协调交易区块的执行以及维持可供共识协商的瞬时状态。
共识 → 执行(EX.1)
- 共识通过
Execution::ExecuteBlock()
请求执行组件执行交易区块。 - 执行组件维护一个“暂存器”,该暂存器用以保存内存中Merkle 累加器相关部分的副本;此信息用以计算区块链当前状态的根哈希。
- 根哈希和区块中交易信息共同确定累加器的新根哈希。此步骤在永久保存新数据前执行,用以确保在获得共识前,所有交易或状态都不被存储。
- 执行组件计算推测性执行的根哈希后, VX 的共识组件签署并试图就此根哈希与其他validator达成共识。
执行 → 虚拟机(EX.2)
当共识组件调用Execution::ExecuteBlock()
请求执行组件执行一个交易区块时, 执行组件调用虚拟机确定交易区块的执行结果。
共识→ (EX.3)执行
当对区块的执行结果达成共识的validator数量上具有绝对优势时,VX 的共识组件通过Execution::CommitBlock()
通知执行组件该交易块已准备好被提交。 此请求包含签署共识的validator的签名作为其同意共识的证明。
执行 → 存储(EX.4)
执行组件从其暂存器提取值,并通过Storage::SaveTransactions()
将值发送到存储以进行永久保存。之后,执行组件会删除无用值(如因重复无法提交的区块)。
执行README
更多实现细节,请参阅 执行README.
存储
FIGURE 1.7 存储
存储组件用以永久性保存交易区块及其执行结果。在下列情况下,一个交易区块/交易组(包括 TN)将被永久保存:
- 网络中超过2f+1的validators 就以下几点达成共识:
- 区块中包含的交易;
- 区块中交易的顺序;
- 区块中交易的执行结果。
有关如何将交易附加到区块链上的数据结构信息,请参阅Merkle 累加器
虚拟机 →存储(ST.1)
当准入控制或内存池调用VM::ValidateTransaction()
来验证交易时,VM::ValidateTransaction()
加载存储中的发送人账户,并通过只读模式检查交易的有效性。
执行 → 存储(ST.2)
当共识组件调用Execution::ExecuteBlock()
, 执行组件读取当前状态和内存中的暂存器数据来确定执行结果。
执行 → 存储(ST.3)
- 一旦交易共识达成,执行组件调用
Storage::SaveTransactions()
来保存交易区块并永久保存相关记录。同时,网络中签署共识的validator的签名也将被保存; - 暂存器的内存数据将更新到存储中并永久保存交易。
- 存储更新后,所有参与交易的资源的序列号都会相应更新;
- 注意: Libra区块链账户的序列号随着交易数量等量增加。
AC → 存储(ST.4)
当客户方发送对区块链中信息的查询请求时,准入控制组件和存储直接交互以读取所相应信息。
存储README
更多实现细节,请参阅 存储README.
参考:
- Welcome page.
- Libra Protocol: Key Concepts — Introduces you to the fundamental concepts of the Libra protocol.
- My First Transaction — Guides you through executing your very first transaction on the Libra Blockchain using the Libra CLI client.
- Getting Started With Move — Introduces you to a new blockchain programming language called Move.
- Libra Core Overview — Provides the concept and implementation details of the Libra Core components through READMEs.
- CLI Guide — Lists the commands (and their usage) of the Libra CLI client.
- Libra Glossary — Provides a quick reference to Libra terminology.
- State Machine Replication in the Libra Blockchain — Provides a detailed look into our consensus protocol LibraBFT.
翻译:Jadris Lau 校对:Zhe Wang
Libra国内开发者微信交流群:
不能入群请加管理微信,拉你进群=>
Facebook币Libra学习-2.交易生命周期的更多相关文章
- Facebook币Libra学习-1.核心概念
Libra区块链是一个基于Libra协议的加密认证的分布式数据库.本文将简略介绍Libra协议的核心概念.其详细说明请参阅Libra技术白皮书. Libra区块链由分布式的Validator节点网络维 ...
- Facebook币Libra学习-3.小试牛刀第一笔交易
我们提供了一个命令行界面(CLI)客户端来与区块链进行交互. 假设 本文档中的所有命令均假定: 您运行的是Linux(基于Red Hat或Debian)或macOS系统. 您可以稳定地连接到互联网. ...
- Facebook币Libra学习-6.发行属于自己的代币Token案例(含源码)
在这个简短的概述中,我们描述了我们在eToro标记化资产背后实施技术的初步经验,即MoveIR语言中的(eToken),用于在Libra网络上进行部署. Libra协议是一个确定性状态机,它将数据存储 ...
- Facebook币Libra学习-5.Move组织目录
Move是一种新的编程语言,旨在为Libra Blockchain提供安全可编程的基础. 组织 Move语言目录由五部分组成: 的虚拟机(VM),其中包含的字节码格式,字节码解释器,和基础设施执行事务 ...
- Facebook币Libra学习-4.新的智能合约语言Move入门
Move是一种新的编程语言,旨在为Libra Blockchain提供安全可编程的基础.Libra Blockchain中的帐户是任意数量的Move资源和Move模块的容器.提交给Libra Bloc ...
- Facebook libra开发者文档- 3 -Life of a Transaction交易生命周期
Life of a Transaction交易的生命周期 https://developers.libra.org/docs/life-of-a-transaction 为了更深入地了解Libra交易 ...
- Vue – 基础学习(1):对生命周期和钩子函的理解
一.简介 先贴一下官网对生命周期/钩子函数的说明(先贴为敬):所有的生命周期钩子自动绑定 this 上下文到实例中,因此你可以访问数据,对属性和方法进行运算.这意味着你不能使用箭头函数来定义一个生命周 ...
- Android再学习-20141022-Activity的生命周期
20141022-Android再学习 如何在一个应用程序当中定义多个Activity 定义一个类,继承Activity 在该类当中,复写Activity当中的onCreate方法.onCreate( ...
- Cocos Creator学习三:生命周期回调函数
1.目的:学习生命周期回调函数以及回调顺序,更有利于我们逻辑的处理把控. 2.生命周期回调函数: 节点:指cc.Node:组件:指cc.Component. ①onLoad:脚本组件绑定的节点所在场景 ...
随机推荐
- 2.Redis 入门介绍
A)入门概述: 1.是什么: Redis:REmote Dlctionary Server(远程字典服务器) 是完全开源免费的,用C语言编写的,遵循BSD协议,是一个高性能的(key/value) ...
- CSS3 filter滤镜
其默认值是none,他不具备继承性,其中filter-function一个具有以下值可选: grayscale灰度 sepia褐色(求专业指点翻译) saturate饱和度 hue-rotate色相旋 ...
- Image Processing and Analysis_15_Image Registration:a survey of image registration techniques——1992
此主要讨论图像处理与分析.虽然计算机视觉部分的有些内容比如特 征提取等也可以归结到图像分析中来,但鉴于它们与计算机视觉的紧密联系,以 及它们的出处,没有把它们纳入到图像处理与分析中来.同样,这里面也有 ...
- Centos7下安装Elasticsearch 5.6.6
环境 因为elasticsearch是用java编写的,所以需要先安装JDK ES 5,安装需要 JDK 8 以上ES 6.5,安装需要 JDK 11 以上ES 7.2.1,内置了 JDK 12 安装 ...
- Python基础之类
一.摘要 面向对象编程 是最有效的软件编写方法之一.在面向对象编程中,你编写表示现实世界中的事物和情景的类,并基于这些类来创建对象.编写类时,你定义一大类对象都有的通用行为.基于类创建对象 时,每个对 ...
- UEditor设置内容setContent()失效的解决方法
ueditor常见用法: https://blog.csdn.net/qq_31879707/article/details/54894735#UE.Editor:setContent() UEdit ...
- Pandas to_sql TypeError: sequence item 0: expected str instance, dict found
问题介绍 打印了一下数据格式,并未发现问题.如果说是字典实例引起的. 我猜测也是extra字段引起的,因为extra字段是一个json字段.根据网上的提示要对这样的格式进行强转str. 其他发现:pd ...
- python 图像识别的小应用
前些天看见了几个有趣的python项目,在自己实际测试和理解后贴一下代码. https://www.shiyanlou.com/courses/589/labs/1964/document 算法主要逻 ...
- 2019HDU多校第五场A fraction —— 辗转相除法|类欧几里得
题目 设 $ab^{-1} = x(mod \ p)$,给出 $x,p$,要求最小的 $b$,其中 $0< a < b, \ 1 < x<p,\ 3 \leq x\leq {1 ...
- Nginx location规则匹配
^~ 标识符匹配后面跟-一个字符串.匹配字符串后将停止对后续的正则表达式进行匹配,如location ^~ /images/ , 在匹配了/images/这个字符串后就停止对后续的正则匹配 = 精 ...