... | ... | @@ -316,9 +316,19 @@ Hash: `Column<Advice>`类型,只有在length-1和length两行有值,分别 |
|
|
#### 问题:
|
|
|
|
|
|
1. 如何判断当前行是最后一行
|
|
|
|
|
|
2. 如何判断表格当前行为第一行
|
|
|
|
|
|
length==0,即第一行
|
|
|
|
|
|
3. 如何判断TxCalldata或者TxLogData开始行开始行
|
|
|
|
|
|
idx==0, 即为第一行
|
|
|
|
|
|
问题:是根据idx==0来判断TxCalldata开始的第一行,还是根据TxCalldata开始的第一行来判断idx==0
|
|
|
|
|
|
4. LogIndex之间是否需要约束,每一个当前一条的log与上一条log之间的index值是递增的,但是每一条log又被拆分称了多个(logTopic,logSize,logData)
|
|
|
|
|
|
5. 如block_tx_idx等是否需要约束
|
|
|
|
|
|
|
... | ... | |