... | @@ -249,7 +249,7 @@ Hash: `Column<Advice>`类型,只有在length-1和length两行有值,分别 |
... | @@ -249,7 +249,7 @@ Hash: `Column<Advice>`类型,只有在length-1和length两行有值,分别 |
|
|
|
|
|
3. 原始值
|
|
3. 原始值
|
|
|
|
|
|
每一个原始值被展开为了16行u8
|
|
每一个原始值被展开为了16行u8,即1行有效值和15行无效值tag==nil的行为无效值,即入以0~15计数的话,0行为有效值所在的行,tag != nil,1~15行为无效值所在行,即tag==nil
|
|
|
|
|
|
对于一行中的`tag`、`block_tx_id`、`value0`、`value1`、`value2`、`value3`6个值,只有16行中的第一行是有值的,其他15行都是默认值,tag的默认值为nil, 其他五个值的默认值为0
|
|
对于一行中的`tag`、`block_tx_id`、`value0`、`value1`、`value2`、`value3`6个值,只有16行中的第一行是有值的,其他15行都是默认值,tag的默认值为nil, 其他五个值的默认值为0
|
|
|
|
|
... | @@ -259,7 +259,7 @@ Hash: `Column<Advice>`类型,只有在length-1和length两行有值,分别 |
... | @@ -259,7 +259,7 @@ Hash: `Column<Advice>`类型,只有在length-1和length两行有值,分别 |
|
|
|
|
|
当tag_cur == nil && tag_next == nil 则有 tag_cur = tag_next (有些无意义已经知道都是nil,因为无法确认当前行是否为0-15行的第0行还是第15行)
|
|
当tag_cur == nil && tag_next == nil 则有 tag_cur = tag_next (有些无意义已经知道都是nil,因为无法确认当前行是否为0-15行的第0行还是第15行)
|
|
|
|
|
|
`block_tx_id`、`value0`、`value1`、`value2`、`value3`与tag类似,如果tag == nil,则value_cur == value_prev
|
|
`block_tx_id`、`value0`、`value1`、`value2`、`value3`与tag类似,如果tag == nil,则value_cur == value_prev (无效值所在行是填充0还是原始值???)
|
|
|
|
|
|
根据tag进行判断
|
|
根据tag进行判断
|
|
|
|
|
... | | ... | |