А що, якби не довелося жертвувати відповідальністю заради швидкості при використанні SNARK? Веньхао Ван з @Yale представляє Cirrus: перший розподілений протокол SNARK, який одночасно досягає горизонтальної масштабованості, відповідальності та універсальної довіреної конфігурації.

Хоча розподілене виробництво доказів є ключовим для масштабування Verifyable ML та zkVM, існуючі протоколи часто роблять компроміси з відповідальністю або гнучкістю налаштувань. Cirrus, побудований на HyperPlonk, розриває це вузьке місце. Ключові показники: - Лінійні обчислення та логарифмічна комунікація. - Неправильна локалізація працівника за <3 секунди. - У 15 разів швидше, ніж Hekaton (CCS'24) для хешів Педерсена.