以太坊源码学习—RLP编码

RLP(Recursive Length Prefix)，中文翻译过来叫递归长度前缀编码，它是以太坊序列化所采用的编码方式。RLP主要用于以太坊中数据的网络传输和持久化存储。

为何又要造轮子

对象序列化方法有不少种，常见的像JSON编码，可是JSON有个明显的缺点：编码结果比较大。例若有以下的结构：

type Student struct{
    Name string `json:"name"`
    Sex string `json:"sex"`
}
s := Student{Name:"icattlecoder",Sex:"male"}
bs,_ := json.Marsal(&s)
print(string(bs))
// {"name":"icattlecoder","sex":"male"}

变量s序列化的结果是{"name":"icattlecoder","sex":"male"},字符串长度35，实际有效数据是icattlecoder 和male，共计16个字节，咱们能够看到JSON的序列化时引入了太多的冗余信息。假设以太坊采用JSON来序列化，那么原本50GB的区块链可能如今就要100GB，固然实际没这么简单。

因此，以太坊须要设计一种结果更小的编码方法。

RLP编码定义

RLP实际只给如下两种类型数据编码：

1.　byte数组

2.　byte数组的数组，称之为列表

规则1：对于值在[0, 127]之间的单个字节，其编码是其自己。

例1：a的编码是97。

规则2：若是byte数组长度l <= 55，编码的结果是数组自己，再加上128+l做为前缀。

例2：空字符串编码是128，即128 = 128 + 0。

例3：abc编码结果是131 97 98 99，其中131=128+len("abc")，97 98 99依次是a b c。
　　

规则3：若是数组长度大于55， 编码结果第一个是183加数组长度的编码的长度，而后是数组长度的自己的编码，最后是byte数组的编码。

请把上面的规则多读几篇，特别是数组长度的编码的长度。

例4：编码下面这段字符串：

The length of this sentence is more than 55 bytes, I know it because I pre-designed it

这段字符串共86个字节，而86的编码只须要一个字节，那就是它本身，所以，编码的结果以下：

184 86 84 104 101 32 108 101 110 103 116 104 32 111 102 32 116 104 105 115 32 115 101 110 116 101 110 99 101 32 105 115 32 109 111 114 101 32 116 104 97 110 32 53 53 32 98 121 116 101 115 44 32 73 32 107 110 111 119 32 105 116 32 98 101 99 97 117 115 101 32 73 32 112 114 101 45 100 101 115 105 103 110 101 100 32 105 116

其中前三个字节的计算方式以下：

1. 184 = 183 + 1，由于数组长度86编码后仅占用一个字节。
2. 86即数组长度86
3. 84是T的编码

例5：编码一个重复1024次"a"的字符串，其结果为：185 4 0 97 97 97 97 97 97 ...。
1024按 big endian编码为0　0　4 0，省略掉前面的零，长度为2，所以185 = 183 + 2。

规则1~3定义了byte数组的编码方案，下面介绍列表的编码规则。在此以前，咱们先定义列表长度是指子列表编码后的长度之和。

规则4：若是列表长度小于55，编码结果第一位是192加列表长度的编码的长度，而后依次链接各子列表的编码。

注意规则4自己是递归定义的。
例6：["abc", "def"]的编码结果是200 131 97 98 99 131 100 101 102。
其中abc的编码为131 97 98 99,def的编码为131 100 101 102。两个子字符串的编码后总长度是8，所以编码结果第一位计算得出：192 + 8 = 200。

规则5：若是列表长度超过55，编码结果第一位是247加列表长度的编码长度，而后是列表长度自己的编码，最后依次链接各子列表的编码。

规则5自己也是递归定义的，和规则3类似。

例7：

["The length of this sentence is more than 55 bytes, ", "I know it because I pre-designed it"]

的编码结果是:

248 88 179 84 104 101 32 108 101 110 103 116 104 32 111 102 32 116 104 105 115 32 115 101 110 116 101 110 99 101 32 105 115 32 109 111 114 101 32 116 104 97 110 32 53 53 32 98 121 116 101 115 44 32 163 73 32 107 110 111 119 32 105 116 32 98 101 99 97 117 115 101 32 73 32 112 114 101 45 100 101 115 105 103 110 101 100 32 105 116

其中前两个字节的计算方式以下：

1. 248 = 247 +1
2. 88 = 86 + 2，在规则3的示例中，长度为86，而在此例中，因为有两个子字符串，每一个子字符串自己的长度的编码各占1字节，所以总共占2字节。
   第3个字节179依据规则2得出179 = 128 + 51

第55个字节163一样依据规则2得出163 = 128 + 35

例8：最后咱们再来看个稍复杂点的例子以加深理解递归长度前缀，

["abc",["The length of this sentence is more than 55 bytes, ", "I know it because I pre-designed it"]]

编码结果是：

248 94 131 97 98 99 248 88 179 84 104 101 32 108 101 110 103 116 104 32 111 102 32 116 104 105 115 32 115 101 110 116 101 110 99 101 32 105 115 32 109 111 114 101 32 116 104 97 110 32 53 53 32 98 121 116 101 115 44 32 163 73 32 107 110 111 119 32 105 116 32 98 101 99 97 117 115 101 32 73 32 112 114 101 45 100 101 115 105 103 110 101 100 32 105 116

列表第一项字符串abc根据规则2，编码结果为131 97 98 99,长度为4。
列表第二项也是一个列表项：

["The length of this sentence is more than 55 bytes, ", "I know it because I pre-designed it"]

根据规则5，结果为

248 88 179 84 104 101 32 108 101 110 103 116 104 32 111 102 32 116 104 105 115 32 115 101 110 116 101 110 99 101 32 105 115 32 109 111 114 101 32 116 104 97 110 32 53 53 32 98 121 116 101 115 44 32 163 73 32 107 110 111 119 32 105 116 32 98 101 99 97 117 115 101 32 73 32 112 114 101 45 100 101 115 105 103 110 101 100 32 105 116

长度为90，所以，整个列表的编码结果第二位是90 + 4 = 94, 占用1个字节，第一位247 + 1 = 248

以上5条就是RPL的所有编码规则。

语言实现

各语言在具体实现RLP编码时，首先须要将对像映射成byte数组或列表两种形式。以go语言编码struct为例，会将其映射为列表，例如Student这个对象处理成列表["icattlecoder","male"]

type Student struct{
    Name string
    Sex string
}
s := Student{Name:"icattlecoder",Sex:"male"}
buff := bytes.Buffer{}
rpl.Encode(&buff, &s)
print(buff.Bytes())
// [210 140 105 99 97 116 116 108 101 99 111 100 101 114 132 109 97 108 101]

若是编码map类型，能够采用如下列表形式：

[["",""],["",""],["",""]]

RLP解码

解码时，首先根据编码结果第一个字节f的大小，执行如下的规则判断：

1.　若是f∈ [0,128),　那么它是一个字节自己。

2.　若是f∈[128,184)，那么它是一个长度不超过55的byte数组，数组的长度为 l=f-128

3.　若是f∈[184,192)，那么它是一个长度超过55的数组，长度自己的编码长度ll=f-183,而后从第二个字节开始读取长度为ll的bytes，按照BigEndian编码成整数l，l即为数组的长度。

4.　若是f∈(192,247]，那么它是一个编码后总长度不超过55的列表，列表长度为l=f-192。递归使用规则1~4进行解码。

5.　若是f∈(247,256]，那么它是编码后长度大于55的列表，其长度自己的编码长度ll=f-247,而后从第二个字节读取长度为ll的bytes,按BigEndian编码成整数l，l即为子列表长度。而后递归根据解码规则进行解码。

以上解释了什么叫递归长度前缀编码，这个名字自己很好的解释了编码规则。

参考

1. https://github.com/ethereum/w...
2. http://hidskes.com/blog/2014/...