如果使用 SNARKs 時不必為了速度而犧牲可追溯性會怎樣？ 來自 @Yale 的 Wenhao Wang 介紹 Cirrus：第一個同時實現水平擴展性、可追溯性和通用可信設置的分散式 SNARK 協議。

雖然分散式證明生成對於擴展可驗證的機器學習和 zkVM 至關重要，但現有的協議往往在問責性或設置靈活性之間進行取捨。Cirrus 基於 HyperPlonk，打破了這一瓶頸。 關鍵指標： - 線性計算與對數通信。 - 故障工作者定位在 <3 秒內。 - 對於 Pedersen 哈希，比 Hekaton (CCS'24) 快 15 倍。