从0系列---Zk sync基础原理

关键词 Zk sync，Zk rollup

原理

在Eth上有一个Zk sync合约，在Eth外有一条合约对应的平台(或者链)，所以交易发到平台上，每一分钟，验证者将一分钟内所有交易以及用户最终状态作为零知识证明的参数输入，生成一个零知识证明为输出结果。将输入输出作为一笔交易发送给Eth的Zk sync合约，合约验证零知识证明的合法性，修改状态。整个过程称为Zk rollup。

平台(或者链)上每一笔交易都包含输入参数、执行校验过程。Zk rollup的过程就是将一批交易的输入参数和校验过程全部合并到一次计算中。

问题

• 目前只支持代币转移，不支持智能合约，因为生成零知识证明过程是确定的。
• 没有解决隐私性

参考

• https://ethfans.org/posts/int...
• https://zhuanlan.zhihu.com/p/...

划重点
个人认为区块链二层网络Zk sync的核心包含两点，一是，修改了执行器的工作，由执行交易变成证明交易。原方案是执行器本地拿到初始状态，逐个执行输入交易参数，并由执行器生成最终状态。Zk sync方案是，执行器本地拿到初始状态，获取输入交易参数及用户生成的最终状态，证明三者满足（证明过程采用数学密码学方法）。二是，是将多个交易打包在一个交易里，在一个Zk sync交易里校验多个交易的正确性。