如果使用 SNARKs 时不必为了速度而牺牲问责制，会怎样呢？ 来自 @Yale 的 Wenhao Wang 介绍了 Cirrus：第一个同时实现水平可扩展性、问责制和通用可信设置的分布式 SNARK 协议。

分布式证明生成是扩展可验证机器学习和zkVM的关键，但现有协议往往在问责制或设置灵活性之间进行权衡。Cirrus基于HyperPlonk，打破了这一瓶颈。 关键指标： - 线性计算和对数通信。 - 故障工作者定位在<3秒内。 - 对Pedersen哈希比Hekaton（CCS'24）快15倍。