SNARK'ları kullanırken hız için sorumluluktan ödün vermek zorunda kalmasaydınız ne olurdu? @Yale'den Wenhao Wang, Cirrus'u sunuyor: Yatay ölçeklenebilirlik, hesap verebilirlik ve evrensel güvenilir bir kurulum sağlayan ilk dağıtık SNARK protokolü.

Dağıtık kanıt üretimi, Doğrulanabilir ML ve zkVM'lerin ölçeklendirilmesinde anahtar olsa da, mevcut protokoller genellikle hesap verebilirlik veya kurulum esnekliğinden ödün verebilir. HyperPlonk üzerine inşa edilen Cirrus bu darboğazı kırıyor. Ana ölçütler: - Doğrusal hesaplama ve logaritmik iletişim. - <3 saniyede arızalı çalışan yerelleştirmesi. - Pedersen hash'ları için Hekaton'dan (CCS'24) 15 kat daha hızlı.