Was wäre, wenn Sie bei der Verwendung von SNARKs nicht auf Verantwortlichkeit verzichten müssten, um Geschwindigkeit zu erreichen? Wenhao Wang von @Yale präsentiert Cirrus: Das erste verteilte SNARK-Protokoll, das gleichzeitig horizontale Skalierbarkeit, Verantwortlichkeit und ein universelles vertrauenswürdiges Setup erreicht.

Während die verteilte Beweisgenerierung entscheidend für die Skalierung von verifizierbarem ML und zkVMs ist, tauschen bestehende Protokolle oft Verantwortlichkeit oder Flexibilität bei der Einrichtung ein. Cirrus, das auf HyperPlonk basiert, durchbricht diesen Engpass. Wichtige Kennzahlen: - Lineare Berechnung & logarithmische Kommunikation. - Lokalisierung fehlerhafter Arbeiter in <3 Sekunden. - 15x schneller als Hekaton (CCS'24) für Pedersen-Hashes.