... | ... | @@ -20,7 +20,7 @@ pub struct Witness { |
|
|
因为不同子表格、不同列使用的行数可能不同,然而最终的表格显示出来所有列应该使用相同的行数,所以给短的列数填充默认值,一般为0。代码里一般用Rust的Option的None表示填充的默认值。
|
|
|
|
|
|
## 例子
|
|
|
以下举一个简单的例子,**并不是我们目前的设计,只是为了好理解**。一个智能合约的执行轨迹包含4步:PUSH一个数,PUSH一个数,ADD,STOP。其字节码(易读格式)为
|
|
|
为了便于理解,以下举一个简单的例子(**并非本项目的设计**)。一个智能合约的执行轨迹包含4步:PUSH一个数,PUSH一个数,ADD,STOP。其字节码(易读格式)为
|
|
|
|
|
|
> PUSH1 1 PUSH1 2 ADD STOP
|
|
|
|
... | ... | |