0xdhy
@ddl1996.eth
- **plonk 算术化** - witness table 表示变量约束关系,对验证者不可见 - selector table 表示运算符选择器; 可见 - permutaion table 表示拷贝约束, 元素向量化,移位;可见
1 reply
0 recast
0 reaction
0xdhy
@ddl1996.eth
- zk-snark verifer O(logn); 验证者如果直接把selector,permutaion table 加载计算,至少是O(n)复杂度,不能满足snark的简洁亚线性要求
0 reply
0 recast
0 reaction
