SNARK

SNARK总是要用于有限域上的计算吗？并不是。

本文针对KZG、Groth16、Sonic、Fractal、Halo2、SuperSonic、Marlin、Plonk等8种零知识证明或多项式承诺协议，分别从算法特点、算法复杂度（主要关注证明/验证复杂度）、安全性、应用场景四个方面进行简要分析，便于你在对比或选型时有更清晰的思路。

EIP-7864 提议对以太坊状态使用二叉树，与 EIP-3102 相比，它提出了一个单一的平衡树，并借鉴了 EIP-6800 的一些思想，例如账户数据、存储槽和代码块的打包。该提议讨论了稀疏树与非稀疏树，以及用于默克尔化的哈希函数的选择，当前草案提议使用非稀疏默克尔树，并在主干级别压缩分支，使用 BLAKE3 哈希函数。

本文深入探讨了以太坊第二层（L2）扩展方案中的欺诈证明（Fraud Proofs）和有效性证明（Validity Proofs）的区别，分析了它们各自的优势和劣势，并讨论了它们在应对51%攻击时的表现。