V神关于zkSnark演讲的一些takeaway

注：本文来自@JinzeJiang0x0 推特，其是@MuseLabs1 LD Research，原推文内容由MarsBit整理如下：

关于V神的zk-SNARK演讲的一些takeaway：

zk-Rollup 是 zk-SNARK 技术在区块链领域的一个实际应用，至少在2018年V神就对ZK技术撰文做出过科普。后面V神对于扩容从支持Plasma转向支持Rollup，一开始对于OP和ZK更愿意保持中性，至少从去年开始已经公开站队ZK会是最终方案

https://www.theblock.co/post/162098/zk-rollups-likely-to-be-main-layer-2-solution-for-ethereum-says-vitalik-buterin?utm_source=telegram1&utm_medium=social

所以V神早就钦定ZK，并不是什么新闻。因为ZK确实在可扩展性和去中心化方面可以让以太坊成为名副其实的世界计算机。

zk-SNARK 是一种密码学工具，它允许证明者向验证者证明他们知道满足某个声明的解，而无需揭示解本身。这个过程是 "零知识" 的，因为它没有泄露关于解的任何信息。

在区块链扩容方案 zk-Rollup 中，许多交易被 "卷起来" 并作为一个单一交易提交到区块链。然后，使用 zk-SNARK 来证明这些交易是有效的，大量的信息被压缩成“简洁证明”不管输入多少，输出都是一样的体积。Gas费也不会用的人越多越贵反而可以越便宜

使用 zk-SNARK 的主要好处是，验证者（如全节点或矿工）可以快速地检查 zk-SNARK 证明的有效性，而无需重新执行所有“卷起来”的交易。这大大提高了区块链的处理能力，对比OP需要发布完整的交易数据

所以，zk-Rollup的最终性（finality）确实更好，因为每个交易块都附带一个zk-SNARK证明，证明该块的所有交易都是有效的，相比OP交易的最终性要等待别人的“挑战”，需要更长的时间

Starkware的改进版zk-STARKs和zkSync的zk-SNARK都在实践中落地了，V神肯定不是所谓“钦点”zkSync的意思，只是没有过多解释zk-STARKs造成的市场一厢情愿的理解吧，谁将来能跑出来不好说

但总体来看，尽管现在zk生态的TVL只有OP的八到十分之一，但随着zkEVM兼容性和易用性上升，包括主链发币的利好以后，TVL和用户一旦突破一定阈值，OP生态会比较尴尬，这可能也是Op系公链币市值难以突破十亿刀量级的原因吧