Layer2周期性向主链上传的信息，比如OP是上传压缩后的全部交易详情。这部分信息主链是不验证的，仅仅相当于一个公告牌，验证是依靠任意第三方。OP是如果你发现有欺诈行为，可以提交欺诈证明。ZK则只提交这批交易导致的状态变化，然后附带零知识证明来确认这批交易已经在链下被正确执行，信息的压缩率比OP更高。
把最去中心化的主链资源当成公告板来说，其实是有点浪费的，所以ETH的4844升级就显得很重要了，增加了临时储存区Blob，也相当于一个更大的公告板，只保存1个月，这样能进一步降低二层的存储成本。而临时储存区的公告时间远远超过OP的挑战期7-14天，也超过ZK需要的几分钟到几小时，完全是够用的。
对啊，我挺喜欢zk rollup的。 我感觉做得好的话，sharding似乎也没必要了，sharding我理解里似乎是很碎片化信任
zk不是还是要在链上跑proof的verify吗，虽然可以打包压缩尺寸
是要在链上跑Proof验证，但验证的成本远小于链下生成Proof的成本，如果链上验证不通过，这一批次的打包都无法成功。所以ZK的确认时间很短。总体压缩率比OP高就行了，时间还快，那ZK的优势就比OP大非常多了。现在的问题主要是ZK兼容性太差，其实BTC的UTXO模型更适合ZK
op rollup都还有很多坑没解决，我知道的有sequencer去中心化，data avilability之类。zk还要大改EVM，更多难题。ETH有这么中心化的团队 可能都要以10年为单位，所以我对BTC的发展暂时没什么期待
二层还好，比较有活力，不过是真的早期。OP不止sequencer没去中心化，现在欺诈证明都还没上线，在裸奔呢，像个只有骨架的飞机一样。
但ZK可能推进的要比我们想想中的都更快，Scroll和Hermez的思路是反过来的，他们直接拆解EVM的交易，在指令集层面是发生了什么什么样的小动作，然后把每个动作反过来去找对应的零知识算法。这样出来zkEVM的兼容性会很不错（但ZK证明的生成时间和体积都会更差）；
之前的路线太注重发挥zk的全部潜力了，本质上是先搭建适合于零知识证明的zkVM，然后想办法去兼容EVM，这样对合约开发者来说也很痛苦，项目迁移也很麻烦。
多谢指教，我去看看
