Zk sync 分析

关键词 Zk sync,Zk rollup
原理
【Zk sync 分析】在Eth上有一个Zk sync合约,在Eth外有一条合约对应的平台(或者链),所以交易发到平台上,每一分钟,验证者将一分钟内所有交易以及用户最终状态作为零知识证明的参数输入,生成一个零知识证明为输出结果。将输入输出作为一笔交易发送给Eth的Zk sync合约,合约验证零知识证明的合法性,修改状态。整个过程称为Zk rollup。
侧链上每一笔交易都包含输入参数、执行校验过程。Zk rollup的过程就是将一批交易的输入参数和校验过程全部合并到一次计算中。(Zk验证过程在Groth16协议上已经大大缩小,但相比普通校验时间还是长很多)
问题

  • 目前只支持代币转移,不支持智能合约,因为生成零知识证明过程是确定的。
  • 没有解决隐私性
参考
  • https://ethfans.org/posts/int...
  • https://zhuanlan.zhihu.com/p/...

    推荐阅读