除了Optimistic Rollup，还有Zero knowledge Rollup，它是另外一种证明方式，它的原理近似类似于这个样子：
对于一道很难的数学题，有人能全部做出来并算出了最后的结果，这个时候有人不相信是你做的，或者说他不相信是你一步一步算出来的，但是如果你能提供在解题过程中，某一个关键步骤的结果值，而这个结果值和最后的结果放在一起，至少要能达到两个目标：
1）能证明这题是你做的；2）关于这题的详细解题过程并没有泄露出去；也就是说你看了也还是不会做。
这个时候Zero knowledge Rollup和Optimistic Rollup不同的就在于：同样有一堆被打包起来的交易过程，Zero knowledge Rollup会将具体变化的计算拿到链下，而在链上只用一个证明代替。对于Zero knowledge Rollup来说，它采用的是有效证明的逻辑（Validity proof），更倾向于推导，而Optimistic Rollup采用的则是作恶证明的逻辑（Fraud proof），更倾向于举报申诉。前者会更高效，是因为它没有后来者的挑战，密码学可以保证验算证明值就可以等价于验证了整个XM账户xmfixy.com交易流程的真伪。
但Zero knowledge Rollup也有自己的缺点：1）生成验证值耗能更高了，需要更高的硬件投入；2）对一般性图灵完备交易生成的验证效率较低。
来自 “ ITPUB博客 ” ，链接：https://blog.itpub.net/69995368/viewspace-2959948/ ，如需转载，请注明出处，否则将追究法律责任。
