Solana推出ZK Compression，以太坊社区「破防」了？

Solana 和以太坊社区又吵起来了，这次是因为 Solana 新推出的 ZK Compression（ZK 压缩）技术。

昨日，Solana 生态开发平台 Helius 首席执行官 Mert Mumtaz 在 X 平台宣布正在将 ZK Compression 引入 Solana，随后 Solana 生态隐私项目 Light Protocol 便宣布推出ZK Compression。据 Mert 的说法，ZK Compression 将直接在 L1 上进行，无需 L2，这将极大提升 Solana 网络扩展性，「并向构建金融计算机迈进了一步—一个不可阻挡的、全局的、以光速同步的原子状态机。」

据 ZK Compression文档，该技术是基于 Solana 构建的新原语，使开发者能够大规模构建应用程序。开发人员和用户可以选择压缩他们的链上状态，将状态成本降低几个数量级，同时保持 Solana L1 的安全性、性能和可组合性。

ZK Compression 通过一种被称为状态压缩的过程工作，允许开发者使用 Solana 更便宜的 ledger 空间而不是更昂贵的账户空间来存储某些类型的数据。链外数据的「哈希」或「指纹」存储在链上，以便使用「sparse state trees」进行验证。

以太坊社区「破防」了？

纯技术的解释或许过于复杂，简单来说就是该技术降低了 Solana 的状态成本。

在 Solana，技术人员面临有两个成本——计算成本和状态成本，目前 Solana 已经拥有廉价的计算能力，但状态很昂贵。分配帐户、支付租金和与用户一起扩展都已被证明是 Solana 开发人员的巨大障碍，而 ZK Compression 解决了这一问题。

Mert 以空投成本举例，假设向 1, 000, 000 名用户进行空投，其中花费的状态成本从原本的超 260, 000 美元减少至 50 美元，即便宜了 5, 200 倍。Cyber Capital 的创始人兼首席信息官 Justin Bons 也认为，ZK Compression「显然使 Solana 在实际 L1 可扩展性方面遥遥领先于 ETH，解决 Solana 最大的生存问题之一」。

Justin Bons 表达的观点让困于扩展难题而走上 rollup 的以太坊社区坐不住了，他们质疑 ZK Compression 的「L1 性质」。

由于 Mert 表示 ZK Compression 的数据保持在链下，因此以太坊社区将其视为 validium。Solana 社区则以一张 meme 作为回应，讽刺其没有认真做过研究却自诩为专家，Mert 甚至还赌气式地将 ZK Compression 命名为 ZK validium。

为了让以太坊社区信服，Mert 在 Farcaster 上点名以太坊创始人 Vitalik，让其点评 ZK Compression 的技术原理。而 Vitalik 也做出了认真回应，并表示该技术更像是一个无状态的客户端架构。

Vitalik 将 ZK Compression 解读成 3 个要点，第一，你有一个新的帐户类，对于这些帐户，只有其状态的散列存储在链上；第二，要与这些帐户交互，需要编写一个 TX，该 TX 指定了 N 个帐户的预状态哈希和后状态哈希，并提供一个有效性证明 (假定这意味着 ZK-SNARK)；第三，新状态要求公开 (这是合理的，否则你可以随机向某人发送一笔钱，他们的帐户将无法访问，你可以绕过这个，使它成为一个 Ut xo 系统，但那将是一个重大的限制)。

除了解读外，Vitalik 也对文档提出疑问，一方面是文档中提到的 128 字节的有效性证明，另一方面是公开内容是否包含交易内容。

随后，Vitalik 再次发文表示疑惑，他认为 ZK Compression 声称的数字就像，如果每一次单独做，验证 SNARK 的开销会比做一些小动作和哈希操作的成本要高 (例如代币传输)。ZK rollup 的收益来自于「一个」SNARK 包装了「许多」交易。

但 Vitalik 的疑问并未得到回应，而他最开始将 ZK Compression 称为「无状态的客户端架构」却让 Mert 在内的支持者信心倍增。

CEHV 合伙人 Adam Cochran 则坚定地表示 ZK Compression 就是 Solana 的 L2 解决方案，并且他认为「总有一天，Solana 人群会意识到他们所构建的是一个很好的基于 L2 功能/有效性的 rollup，而不是一个整体链」。Adam 的坚决态度也引来了 Mert 的批评。

而 Solana 联合创始人 Anatoly Yakovenko 则对这场 L1 或是 L2 的争论显得「无所谓」，甚至表示「很乐意将其指定为 L2、存储 rollup 或基于有效性 rollup 等等」，只是强调「所有执行都发生在 L1 上，并由 L1 验证器排序」。虽然 Adam 不同于回应 Mert 的强硬，但依然坚称 ZK Compression 不可能是 L1。