Co jeśli nie musiałbyś poświęcać odpowiedzialności na rzecz szybkości, korzystając z SNARKów? Wenhao Wang z @Yale przedstawia Cirrus: pierwszy rozproszony protokół SNARK, który jednocześnie osiąga poziomą skalowalność, odpowiedzialność i uniwersalne zaufane przygotowanie.

Podczas gdy rozproszona generacja dowodów jest kluczowa dla skalowania Weryfikowalnego ML i zkVM, istniejące protokoły często kompromitują odpowiedzialność lub elastyczność konfiguracji. Cirrus, zbudowany na HyperPlonk, przełamuje ten węzeł. Kluczowe metryki: - Obliczenia liniowe i komunikacja logarytmiczna. - Lokalizacja wadliwego pracownika w <3 sekundy. - 15x szybszy niż Hekaton (CCS'24) dla haszy Pedersena.