Trusted Setup (Vertrauenszeremonie)

Ein Trusted Setup wird als Mehrparteienberechnung (MPC) durchgeführt: Viele Teilnehmer steuern nacheinander Zufälligkeit bei, und es genügt, dass ein einziger ehrlich ist und seinen Anteil löscht, damit die SRS sicher ist, die sogenannte 1-von-n-Annahme. Es gibt zwei Klassen. Das schaltungsspezifische Setup, etwa bei Groth16, erfordert eine Zeremonie pro Schaltung. Das universelle und aktualisierbare Setup, etwa bei PLONK, Sonic oder Marlin, liefert eine wiederverwendbare und erweiterbare Zeremonie. Üblich ist eine gemeinsame, schaltungsunabhängige Powers-of-Tau-Phase, gefolgt von einer schaltungsabhängigen Phase.

Für Auditoren ist dies der Punkt mit der höchsten Aufmerksamkeit: Ein kompromittiertes Setup bricht die Soundness des gesamten Systems, weil sich mit dem Geheimnis gültige Beweise für falsche Aussagen erzeugen ließen. Diese Angriffsfläche motiviert sowohl universelle Setups als auch die Einführung von zk-STARKs, die transparent sind und keine Zeremonie benötigen. Bei tokenisierter Finanzinfrastruktur gehört die saubere Dokumentation der Zeremonie zur technischen Due Diligence.

Das größte Beispiel ist die KZG Ceremony von Ethereum, die im Laufe des Jahres 2023 für das Upgrade EIP-4844 (Proto-Danksharding) durchgeführt wurde: Über 141.000 Beiträge machen die 1-von-n-Annahme äußerst robust. Die Beiträge werden mit digitaler Signatur authentifiziert, über Hashfunktionen protokolliert und können durch On-Chain-Attestierungen dokumentiert werden. Dass diese Anforderung entfällt, ist genau der Vorteil, den zk-STARKs für sich beanspruchen.