Co kdybyste nemuseli obětovat odpovědnost kvůli rychlosti při používání SNARKů? Wenhao Wang z @Yale představuje Cirrus: První distribuovaný SNARK protokol, který současně dosahuje horizontální škálovatelnosti, odpovědnosti a univerzálního důvěryhodného nastavení.

Zatímco distribuované generování důkazů je klíčové pro škálování Verifiable ML a zkVM, stávající protokoly často skládají kompromis mezi odpovědností nebo flexibilitou nastavení. Cirrus, postavený na HyperPlonku, tuto úzkou hrdla prolomí. Klíčové metriky: - Lineární výpočty a logaritmická komunikace. - Chybná lokalizace pracovníka za <3 sekundy. - 15x rychlejší než Hekaton (CCS'24) pro Pedersen hashe.