SNARKsを使うときにスピードのために責任を犠牲にしなくて済んだらどうでしょう? @YaleのWenhao Wang氏がCirrusを紹介します:水平スケーラビリティ、アカウンタビリティ、そして普遍的な信頼体制を同時に実現した初の分散型SNARKプロトコルです。

分散証明生成はVerifiable MLやzkVMのスケーリングに鍵となりますが、既存のプロトコルはしばしば責任やセットアップの柔軟性をトレードオフしています。HyperPlonkを基盤に構築されたCirrusは、このボトルネックを打破します。 主な指標: - 線形計算と対数通信。 - 作業員の位置特定が<秒で異常。 - Pedersenハッシュの速度はHekaton(CCS'24)の15倍速い。