ZK Rollup 并非新观念，@barrywhitehat 在一年前提出，今朝由 Matter Lab 和 den3 举办工程实现。
区块链公链自降生以来，固然大大低落了信任的门槛，但一直面对着一个效率问题：即 TPS 不高。譬喻比特币每秒仅支持7笔生意业务，而今朝的以太坊也仅支持每秒 15 笔阁下的生意业务。这样的 TPS 很支持大型应用。因此业界许多技能人员实验为区块链扩容。今朝扩容方案主要有两类：
zk Rollup 的本质是将链上的用户状态压缩存储在一棵 Merkle 树中，并将用户状态的改观转移到链下来，，同时通过 zkSNARK 的证明来担保该链下用户状态改观进程的正确性。在链上直接处理惩罚用户状态的改观本钱是较量高的，可是仅仅操作链上的智能合约来验证一个零常识证明的 PROOF 是否正确，本钱是相对低许多的。别的须要的转账信息也会被和证明一起提交到合约，利便用户查账。
zkRollup 系统中包括两类脚色：transactor 和 relayer。
· Layer 1 扩容方案，即直接增加链上的生意业务处理惩罚本领，这种方法也被称为链上扩容。常见的技能方案有：Sharding 和 DAG；
紧接着有新的若干 Action T[2], T[3], ..., T[n] 继承浸染在该状态机上，则状态机的状态依次产生迁移。
因此，一个 transaction 的名目概略如下：
当 relyer 收到 transaction 后，必需 “执行” 它。transaction 的执行，本质上是改变相关账户的状态，而 STF 就是改变账户状态的函数。STF 是状态迁移函数(state transition function)的缩写。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
