| ... | ... | @@ -151,3 +151,36 @@ code_size hi的值应该为0，因为EVM的硬性要求（code size均不超过 |
|
|
|
| tag | tx_idx_or_number_diff | value[0] | values[1] | values[2] | values[3] |
|
|
|
|
| :------: | :-------------------: | :----------: | :----------: | :----------: | :----------: |
|
|
|
|
| CodeSize | 0 | code_addr hi | code_addr lo | code_size hi | code_size lo |
|
|
|
|
|
|
|
|
## 2024年5月更新
|
|
|
|
上述所有列都变为 `Column<Advice>` 。
|
|
|
|
|
|
|
|
### 问题1
|
|
|
|
如何输入公开数据到zk电路里？
|
|
|
|
|
|
|
|
解决方法：将上述所有列所有行进行哈希。将哈希值作为 `Column<Instance>`，仅需1列。2行，存`hash_hi,lo`。
|
|
|
|
|
|
|
|
### 问题2
|
|
|
|
上述有6列，怎么做哈希？
|
|
|
|
|
|
|
|
解决方法：假设6列的值都是u8，那将6列按列连接起来成为一个u8的数组进行哈希。我们的KeccakTable是用输入的RLC进行lookup的。注意到，连接起来的数组的CONCAT_RLC = R^5 RLC[0] + R^4 RLC[1] + R^3 RLC[2] + R^2 RLC[3] + R^1 RLC[4] + RLC[5]。其中RLC[]是六列分别的RLC。R是用于RLC的随机数r的length次方。length是整个Public table的有效数据在u8表示下的长度。
|
|
|
|
|
|
|
|
因此步骤是：
|
|
|
|
1. 将原来table的数值转化成u8（见下段）
|
|
|
|
2. 建一列cnt，从0开始数。建一列length，所有值都是最终的length。
|
|
|
|
3. 求得6列的RLC（需要新一列记录rlc累加值）
|
|
|
|
4. 求得随机数r的length次方（需要新一列记录次方的累计值）
|
|
|
|
5. 求CONCAT_RLC
|
|
|
|
6. 使用length，CONCAT_RLC向KeccakTable进行lookup，得到hash的hi，lo（在新建的一个或两个`Column<Advice>`中，新建的两个列，可以每行都是hash的hi，lo）. lookup条件cnt==length-1
|
|
|
|
7. 使用equal约束，`Column<Advice>`中的hash和`Column<Instance>`中的hash相等。
|
|
|
|
|
|
|
|
### 问题3
|
|
|
|
怎么将原来table的数值转化成u8？
|
|
|
|
|
|
|
|
解决方法：上述的value都是在U128范围内的，因此，原来table的一个数值可以变为16个u8数值。那么原来table的一列就要新建一列，原来的一列中的一行的value，在新列中要占用16行。
|
|
|
|
|
|
|
|
再新建一列ring_16，以15,14...1,0这样循环。在ring_16==0时，对新列中16行和原来列的1行的value进行约束，证明16个u8拼成了一个value。
|
|
|
|
|
|
|
|
这样，原来table的两行之间，要插入15行的填充行，填充行没有任何意义。lookup也要加上ring_16，且lookup时ring_16=0。
|
|
|
|
|
|
|
|
我们原来table有6列，因此需要进行6次这样的操作。 |
|
|
\ No newline at end of file |
