交易生命周期

为了更加深入的理解Libra的交易生命周期,我们将跟随一个交易的全过程,从其被提交到Libra validator始,直至其被添加到区块链上止。我们将“放大”来看每个validator逻辑组件及与其他组件之间的交互。

客户端提交交易

Libra客户端构造 原始交易 (此处称为T5raw),从Alice的账户中转移10Libra币到Bob的账户中。原始交易应包含以下字段:每个字段都通过超链接关联到词汇定义表。

  • Alice的账户地址.
  • 一个表明Alice方将执行的操作的程序,包括:
  • 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.2VM.1)

3 — 当交易T5 通过查验后, AC 将交易T5 发送到to V1’的内存池(AC → 内存池 AC.3MP.1)

发布交易到其他Validators

4 — 内存池将交易T5 保存在内存缓冲区中。内存池内可能已经包含了从Alice账户地址发送的多个交易。

5 — 利用内存池共享协议, V1 将发送其内存池中所有交易(包括交易T5) 给其他validator(V2 to V100) 并将从其他validator接受到的交易存储在自身的内存池中(Mempool →其他 Validators MP.2)

交易区块发起

6 — 作为本轮共识发起者V1 将从其内存池中提取一个区块,并通过共识组件复制分发给其他的validator。(共识组件 → 内存池MP.3CO.1)

7 — V1 的共识组件负责协调所有validator发送的区块中交易的顺序。(共识 → 其他Validators CO.2).关于此处提出的共识协议LibraBFT,请参阅技术性文献Libra区块链中的状态机复制

###区块的执行和共识的达成

8 — 作为共识达成过程的一个步骤,交易区块(包括交易 T5) 被提交给执行组件。(共识 → 执行CO.3EX.1)

9 — 执行组件通过虚拟机(VM)管理交易的执行。应注意,此处的执行是在达成共识前的推测性执行。(执行→ VM EX.2VM.3)

10 — 在上述执行完成后,执行组件将交易区块将(包含T5)附加到 (分布式账本的历史)Merkle累加器 上,形成内存/临时版本Merkle累加器。执行(发起和推测)交易的结果会返回到共识组件。(共识 → 执行CO.3EX.1).从共识指向执行的箭头表示该执行请求由共识组件发起。(为了减少歧义,本文中将不使用箭头表示数据流).

11 — (共识发起者)V1 试图与其他共识参与者,即其他validator就该区块的执行结果达成共识。(共识→ 其他 Validators CO.3)

###区块的提交

12 — 当对区块的执行结果达成共识并签名的validator数量上具有绝对优势时,V1'的执行组件将从缓存中读取区块的推测性执行结果,并将区块中的所有交易提交到永久存储中。(共识 → 执行CO.4EX.3), (Execution → Storage EX.4ST.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.

参考:

翻译:Jadris Lau 校对:Zhe Wang

Libra国内开发者微信交流群:

不能入群请加管理微信,拉你进群=>

Facebook币Libra学习-2.交易生命周期的更多相关文章

  1. Facebook币Libra学习-1.核心概念

    Libra区块链是一个基于Libra协议的加密认证的分布式数据库.本文将简略介绍Libra协议的核心概念.其详细说明请参阅Libra技术白皮书. Libra区块链由分布式的Validator节点网络维 ...

  2. Facebook币Libra学习-3.小试牛刀第一笔交易

    我们提供了一个命令行界面(CLI)客户端来与区块链进行交互. 假设 本文档中的所有命令均假定: 您运行的是Linux(基于Red Hat或Debian)或macOS系统. 您可以稳定地连接到互联网. ...

  3. Facebook币Libra学习-6.发行属于自己的代币Token案例(含源码)

    在这个简短的概述中,我们描述了我们在eToro标记化资产背后实施技术的初步经验,即MoveIR语言中的(eToken),用于在Libra网络上进行部署. Libra协议是一个确定性状态机,它将数据存储 ...

  4. Facebook币Libra学习-5.Move组织目录

    Move是一种新的编程语言,旨在为Libra Blockchain提供安全可编程的基础. 组织 Move语言目录由五部分组成: 的虚拟机(VM),其中包含的字节码格式,字节码解释器,和基础设施执行事务 ...

  5. Facebook币Libra学习-4.新的智能合约语言Move入门

    Move是一种新的编程语言,旨在为Libra Blockchain提供安全可编程的基础.Libra Blockchain中的帐户是任意数量的Move资源和Move模块的容器.提交给Libra Bloc ...

  6. Facebook libra开发者文档- 3 -Life of a Transaction交易生命周期

    Life of a Transaction交易的生命周期 https://developers.libra.org/docs/life-of-a-transaction 为了更深入地了解Libra交易 ...

  7. Vue – 基础学习(1):对生命周期和钩子函的理解

    一.简介 先贴一下官网对生命周期/钩子函数的说明(先贴为敬):所有的生命周期钩子自动绑定 this 上下文到实例中,因此你可以访问数据,对属性和方法进行运算.这意味着你不能使用箭头函数来定义一个生命周 ...

  8. Android再学习-20141022-Activity的生命周期

    20141022-Android再学习 如何在一个应用程序当中定义多个Activity 定义一个类,继承Activity 在该类当中,复写Activity当中的onCreate方法.onCreate( ...

  9. Cocos Creator学习三:生命周期回调函数

    1.目的:学习生命周期回调函数以及回调顺序,更有利于我们逻辑的处理把控. 2.生命周期回调函数: 节点:指cc.Node:组件:指cc.Component. ①onLoad:脚本组件绑定的节点所在场景 ...

随机推荐

  1. EF数据Linq方式查询

    using (var ctx = new NorthwindEntities()) { //单表查询SQL查询方式 //SELECT * FROM Customers AS c WHERE c.Cit ...

  2. FreeRTOS任务基础概念

    RTOS系统的核心就是任务管理: 任务的特性 在RTOS中每个任务都有自己的运行环境,不依赖于系统中其他的任务或者调度器,任何一个时间点只能有一个任务运行,具体运行哪个任务是由任务调度器来决定的,而任 ...

  3. 【SCOI2007】降雨量

    新人求助,降雨量那题本机AC提交WAWAWA…… 原题: 我们常常会说这样的话:“X年是自Y年以来降雨量最多的”.它的含义是X年的降雨量不超过Y年,且对于任意Y<Z<X,Z年的降雨量严格小 ...

  4. PHP基础知识 - session和cookie的区别

    session:存储用户访问全局的唯一变量,在服务器上的PHP指定的目录中(session_dir)的位置进行存放 修改session的生存时间: (1)修改PHP.ini配置    修改php.in ...

  5. 巧用linux云服务器下的的/dev/shm/,避开磁盘IO不给力!

    巧用linux云服务器下的的/dev/shm/,避开磁盘IO不给力! 一.什么是tmpfs和/dev/shm/? tmpfs是Linux/Unix系统上的一种基于内存的文件系统.tmpfs可以使用您的 ...

  6. Nginx中ngx_http_fastcgi_module

    转发请求到 FastCGI 服务器器,不不⽀支持 php 模块⽅方式指令:15.1 fastcgi_pass设置 fastcgi 服务器器的地址.地址可以指定为域名或 IP 地址,以及端⼝口Synta ...

  7. httprunnermanager环境搭建 -----转

    转发自  https://www.cnblogs.com/tiechui2015/p/10017801.html  感谢大神 1,开源代码下载 这里的git下载地址是:https://github.c ...

  8. vs2008重置方法

    开始->Microsoft Visual Studio 2008->Visual Studio Tools->Visual Studio 2008 命令提示 然后依次键入如下命令: ...

  9. Codeforces Round #539 (Div. 1) 1109F. Sasha and Algorithm of Silence's Sounds LCT+线段树 (two pointers)

    题解请看 Felix-Lee的CSDN博客 写的很好,不过最后不用判断最小值是不是1,因为[i,i]只有一个点,一定满足条件,最小值一定是1. CODE 写完就A,刺激. #include <b ...

  10. IDEA jetbrain Live Template

    IDEA(jetbrain通用)优雅级使用教程 IDEA 强大的 Live Templates(转) 官网