Что если вам не нужно будет жертвовать ответственностью ради скорости при использовании SNARK? Венхао Ван из @Yale представляет Cirrus: первый распределенный протокол SNARK, который одновременно достигает горизонтальной масштабируемости, ответственности и универсальной надежной настройки.

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