| ... | @@ -26,3 +26,7 @@ RLC即随机线性组合，计算RLC需要使用随机值 Challenge. |
... | @@ -26,3 +26,7 @@ RLC即随机线性组合，计算RLC需要使用随机值 Challenge. |
|
|
|
|
|
|
|
## 好处
|
|
## 好处
|
|
|
（选做）Bytecode子电路的所有列可以不用公开了。只需公开code hash。通过对Witness中的Bytecode计算hash，检查是否与code hash一致，来验证Bytecode正确性。
|
|
（选做）Bytecode子电路的所有列可以不用公开了。只需公开code hash。通过对Witness中的Bytecode计算hash，检查是否与code hash一致，来验证Bytecode正确性。
|
|
|
|
|
|
|
|
## 202405更新
|
|
|
|
|
|
|
|
通过对代码的改动，output_rlc变为了output_hi, output_lo。即输出哈希值的高128位、低128位。 |
|
|
|
\ No newline at end of file |
