Bagaimana jika Anda tidak perlu mengorbankan akuntabilitas untuk kecepatan saat menggunakan SNARK? Wenhao Wang dari @Yale menghadirkan Cirrus: Protokol SNARK terdistribusi pertama yang secara bersamaan mencapai skalabilitas horizontal, akuntabilitas, dan pengaturan tepercaya universal.

Meskipun pembuatan bukti terdistribusi adalah kunci untuk menskalakan ML dan zkVM yang Dapat Diverifikasi, protokol yang ada sering kali mengorbankan akuntabilitas atau fleksibilitas penyiapan. Cirrus, dibangun di atas HyperPlonk, memecahkan kemacetan ini. Metrik utama: - Komputasi linier & komunikasi logaritmik. - Pelokalan pekerja yang salah dalam <3 detik. - 15x lebih cepat dari Hekaton (CCS'24) untuk hash Pedersen.