Entä jos sinun ei tarvitsisi uhrata vastuuta nopeuden vuoksi SNARKeja käyttäessä? Wenhao Wang @Yale:sta esittelee Cirruksen: ensimmäisen hajautetun SNARK-protokollan, joka samanaikaisesti saavuttaa horisontaalisen skaalautuvuuden, vastuullisuuden ja universaalin luotetun kokoonpanon.

Vaikka hajautettu todistusten generointi on avain Verifiable ML- ja zkVM-järjestelmien skaalaamisessa, olemassa olevat protokollat usein tinkivät vastuullisuudesta tai joustavuudesta. Cirrus, joka on rakennettu HyperPlonkille, rikkoo tämän pullonkaulan. Keskeiset mittarit: - Lineaarinen laskenta ja logaritminen viestintä. - Viallinen työntekijän lokalisointi <3 sekunnissa. - 15 kertaa nopeampi kuin Hekaton (CCS'24) Pedersenin hasheille.