XDAG技术详解4-块类型
XDAG技术详解4-块类型
作者:社区成员Larry
在xdag网络协议中,block分类两种大的类型,普通块和伪块。
伪块是一种command类型的块,主要目的是用来在xdag网络各个节点间传递一些统计信息,比如a节点向b节点请求拉取某个时间范围内的block。
普通块是xdag块的核心,xdag中所有与交易相关的块都是普通块。本章重点介绍普通块,伪块只做简略的说明。同时重点介绍逻辑设计部分,协议细节不做深入说明,后面会有专门的章节描述。
block格式
在介绍不同类型块之前,先简要看下普通块的格式,伪块的格式比较简单,这里不详细说明。
根据定义,每个block为定长512个字节,其中包含16个field,每个field也定长为32字节。其中field有以下类型:
-
header
头字段,其中包含所有field的type信息、block时间戳、交易手续费、和传输标记。这个字段会因为不同类型的block内容填充方式略有不同,在后面介绍详细格式的时候会明确说明。
-
input
包含输入block的地址和要输入的金额,可以有多个。
-
output
这个类型的field被用做两种不同的方式。
- 转账输出目标:包含输出block的地址和要输出的金额。
- 单纯为了构造DAG图做的引用:比如当前时间片的主块引用前一个时间片的主块,这时候金额没什么意义,设为0。
可以有多个。
-
input signature (half)
用输入账户的prikey做的签名。
half:因为这个算法的签名结果是64个字节,一个field放不下,所以会放在连续两个field中,每个field就只有一半。
这个sign结果可能会有多个,但是数量并不等于input field的数量,而是看所有input field对应的源block到底有是由多少个key签出来的(被哪个key签名的block就是属于这个key),因为有可能不同源block属于相同的key,所以,input sign的个数小于等于input field个数。
能用input 的 prikey做签名,意味着当前创建block的人持有了input block 的 prikey,也就意味着,input block是当前创建者自己的block。因为只有归属自己的block,才有权限转出资金,才能作为input的角色存在。但从逻辑上说,这种input的签名过程,可以归属不同人,也就是说允许多个不同人的资金做输入,只是当前的实现上没有这么做。
-
output signature (half)
用创建当前block的人的prikey签名出来的结果。
注意这个output的字面意思与实际的用处并不一样,与转出block无关,而是当前交易block创建者的prikey签名。
根据定义,如果一个block的signout字段能被自己的pubkey验签通过,则这个block属于自己,因为这说明这个signout字段是用自己的prikey签名的。这个signout字段,更像是对当前block中余额的一把锁,这个后面会详细讲。
每个block一旦创建,就会用自己的prikey做签出一个signout字段,这个signout字段只能被自己的pubkey验签通过,这个block从此归属自己。但是out field指向的block却可以不是自己的block,所以这个output signature的命名是有误导性的,容易被理解为与out field有关,其实无关。
in/out sign的签名和验签过程比较复杂,后面会专门讲这个过程,当前只有个基本概念即可。
-
public key,偶数类型。
block创建后,会带上sign结果相关的pubkey,以便后续接受者直接验签。
因为这个算法的pubkey结果有奇偶两种类型,这里字段也分了两种类型。
-
public key,奇数类型。
解释见6。
普通块
-
交易块
普通的转账交易,包含的field有:
- header field
- 多个input field
- 多个output field
- 多个pubkey field
- 多个input signature
- 一个output signature,注意目前只能有一个output signature field。
-
主块
根据定义,主链上的块被判定为主块,会被增加挖矿奖励金额到主块账户上,比如1024。
在实际中,主块通常是pool创建的,是每个时间片中最后一个块,用来链接所有当前时间片中pool中的交易快和所有其他类型的块。
image-20191020194425475.png
比如图中t5块,作为主块,主要的目的就是打包当前时间片中的所有交易,通过这种方式,可以加大交易tps,允许不同节点处理不同的交易,最后用主块链接一次即可。
主块通常包含field有
- 一个header field
- 一个output field,指向前一个周期的主块。
- 若干个output field,指向孤块。
- 一个output signature。
- 最后一个field是input signature类型,这里是个特殊情况,内容并不是sign,而是挖矿的随机值,这个在后面挖矿章节详细描述。
注意,主块中不包含input field,所以也就不包含pubkey和input sign,但是必须有output sign。
-
链接块
链接块的目的,是为了让图尽量收敛,方便最后主块去打包。我们还是用上图中的t5举例。
image-20191020194959993.png
t5的目的是打包交易,只有被t5链接到的交易才会变为有效(被确认)。但每个block的field是有限的,如果当前周期的交易block都要由主块直接链接的话,显然能链接的个数不可能超过16,这还没有考虑pubkey和sign字段,这样每个周期内能被确认的交易就有很少了,哪怕未来field数量可以变大,也是有上限的。这就类似比特币的包大小,陷入tps瓶颈,违背了xdag设计的初衷。链接块的目的正是来解决这个问题的。
当一个周期内交易块非常多的时候,系统会自动生成一些链接块,作为中间block,负责收敛顶部孤块的数量。
image-20191020205834321.png
如图所示,假如当前有30个交易快,显然,一个主块是没法一次链接完所有交易快的,这时候,系统生成三个链接块,提前收敛一次,各自链接10个,那么主块只需要链接三个链接块即可,根据“主块直接或间接引用的块都有效”规则,30个交易也就自然被引用了。
链接块通常包含field有
- 一个header field
- 若干个output field,指向孤块。
- 一个output signature。
与主块类似,链接块也不包含input field和input sign。
-
地址块
在一个钱包刚创建的时候,为了给自己创建一个账户地址,需要先创建一个地址块,这个块的唯一目的就是作为账户地址存在,所以叫地址块。
地址块不包含交易,不需要链接其他交易快,也不需要链接链接块,地址块只在创建的时候链接归属自己的其他地址块。
地址块包含的field有
- 一个header field
- 若干个output field,指向归属自己的其他地址块。
- 一个output signature。
伪块
伪块实际上代表在结点间的command请求和响应,大小也是固定为一个block(512字节),按类型分为:
-
批量block请求
一个结点发现自己有部分时间片的block不存在,会向其他结点发起拉取block的请求。
-
批量block请求的响应
上一个请求的响应消息,注意这个响应block只包含一些统计信息,和block数量,实际的block是通过异步方式从连接上发过来的。
-
sums请求
sums是一个时间段内所有block的摘要,方便两个结点做一致性对比。
一个结点为了对比自己跟其他结点之间的存储是否一致,会先按照时间段请求对方的sums,对比过sums后才会决定是否要拉block。
-
sums请求的响应
上一个消息的响应,包含响应方的sums内容。
-
单个block请求
想对方请求指定的block。