把这个证明扔到以太坊的路印协议的智能合约里，合约就会算这个默克尔证明能不能证明你确实是在这棵树里面，如果能证明你在这棵树里，就会把这棵树里标记的你有多少钱从以太坊的智能合约里解锁出来，直接转到你的以太坊账号里。

总的来讲，关键的一点是把包括 Merkle tree 的根在内的数据上链，第二个点是这个默克尔证明本身是能够通过智能合约去验证的，而且一旦验证成功就把钱打给对方。这就是在最不理想的情况下提现的方式。

问：ZK Rollup 的高 TPS 从何而来？

王东：当我们说 ZK Rollup 也好，说离线账号也好，本质上都是在说这棵 Merkle tree 的大小是什么、里边有什么信息、能存放多少币、多少账号之类的。为什么 ZK Rollup 能够扩容，能够变得那么快、那么省钱，与对这棵树的更新涉及到的一些计算相关。

比如一个人的账户状态改了，那要怎么改 Merkle tree 的根？需要一层一层的去算，算到那个根。所以一笔交易可能要改大约 4、5 个叶子节点，一笔转账大概要改 3 个叶子节点，这些改动是非常多的。

但现在，这些改动跟以太坊没有关系，它不用去做这些改动过程的计算，计算都是在 Merkle tree 上面，在中继里边做的，以太坊上只要把零知识证明验证一下就行了，可能就花费 10 万 gas 还是多少 gas，大概是这样。

比如说做 1000 笔交易，改动可能是大约 4000 个叶子节点，可能要算几万次哈希算出一个根，但这些数据都在 Layer 2，最后扔到以太坊上的数据其实就是三种：第一个是对各个叶子怎么改的；第二个是对根怎么改的；第三个是一个证明来证明前两者的一致性。

零知识证明做什么呢？零知识证明就是验证改这棵树里边这么多数据的时候，这个根的计算跟各种改动是能够匹配得上的。零知识证明只是做了这么一件事，就是证明数据的一致性。

它对应的也不是每一笔交易怎么去证明，而是说一大堆交易打成一个包 / 块，如何去证明这个包，它是一个批处理的过程。

中继：「一键」交易所、共享流动性

问：路印协议有一个中继系统，是不是任何人或机构都能通过它来构建属于自己的、但又是使用路印 ZK Rollup 技术的交易所？

王东：简单回答是这样的。我们在最初的时候把自己定位成一个协议类型的项目，中继做什么呢？中继就是维护订单簿、撮合、生成零知识证明，然后保证一切交易所核心的数据、逻辑没有错，然后能够符合协议的要求。 (责任编辑：admin)