Updates
Are Verkle proofs ZK-friendly?
Daniel Lubarov探讨Verkle 证明的 ZK 友好性的文章。结论：与二进制 Merkle 证明相比，很难说哪个对 ZK 更友好，会归结为一堆实现细节.
Sonobe
Sonobe 是由 0xPARC 和 PSE 共同实现的一个模块化库，用于以Incremental Verifiable computation (IVC) 方式的折叠电路实例上。 Sonobe 是一个模块化库，用于以增量可验证计算 （IVC） 方式折叠电路实例。它具有多种折叠方案和决策器设置，允许用户选择最适合他们需求的方案。 当前已经实现的折叠方案包括Nova及CycleFold（包括链上验证代码），接下来会继续实现 HyperNova 和 ProtoGalaxy。 Sonobe 被认为是一项探索性工作，旨在推动折叠方案的实践方面并推进链上 （EVM） 验证。 但由于目前还尚未被审计，因此目前还尚不能用在产品开发上。
State of ZK Report
2024 Q1 的 State of ZK Report, 介绍了 ZK 在 Bitcoin 的应用, 提到了 SP1 的发布等.
zkWasm
Delphinus Lab开源了其zkWasm Prover，其基于Halo2对WASM指令集进行高度定制优化，支持Halo2 GPU加速、GWC和Shplonk两种多项式承诺方案，可在17秒内生成1百万WASM指令(NVIDIA 4090 GPU).