一个奇怪的现象是： 据 @LineaBuild 宣称自己是全球首个实现100% Proven 的zk Rollup 已经过去一周，但并没有引起细分赛道同业的fud，这放在这个圈子很不正常。 Crypto 同业互踩引流是很司空见惯的现象，我印象中有 @0xPolygon 指控 @zksync ，@Aptos 指控 @monad_xyz ，Monad 指控 @SonicLabs ，@solayer_labs 指控 @EclipseFND 等，每一次同业互踩都能在小圈子引起热议。 但这次并未发生在Linea 身上，从非学术严谨的角度，我暂且主观上认为Linea 确实是zk Rollup 细分赛道首个实现100% Proven 的L2 链。 怎么理解100% Proven ? 大白话讲， @LineaBuild 的zkEVM 验证所有的EVM 操作，零知识证明系统覆盖EVM 全部操作码、状态转换、gas 计算以及智能合约执行等的每一个细节，甚至包括递归调用、预编译合约等复杂逻辑。 100% Proven 带来更强的安全性的同时，理论上也会显著增加证明生成的时间和成本。Linea 双管齐下：在证明者优化和数据压缩上下功夫，前者降低了基础设施成本以增效，后者把数据可用性成本降低7.5%。 本着更严谨的原则，我借助Grok 对比了 @LineaBuild 和其他主流zk Rollup 验证方式及其优劣势，结果如下图： 其他主流的zk Rollup 如 @zksync , Polygon zkEVM @Starknet 等采用的均是非完全验证，zk 证明未覆盖一些复杂的EVM 操作。 最后，我再扒了一下Linea 的官方路线图，Linea 主网上线至今前前后后做了10多次版本迭代。现在实现100% Proven 的版本是Beta v2，下个版本Beta v3 预计7月中旬上线。 天下苦Linea 久矣！最后问一嘴，Wen?