Verfasst von Pablo Gómez
Founder & CEO von Metlabs · Geprüft am 11. Oktober 2026
Groth16 stellt eine Berechnung als Schaltkreis (Circuit) dar und verwendet Parameter, die das Beweissystem an diesen Circuit binden. Ein Beweis erlaubt die Prüfung, dass ein Zeuge (Witness) existiert, der die Constraints erfüllt, ohne die gesamte Berechnung erneut auszuführen.
Die Vorbereitung erfordert eine Trusted-Setup-Zeremonie und die Vernichtung von Geheimnissen, deren Aufbewahrung die Soundness gefährden könnte. Eine Änderung des Circuits erfordert neue spezifische Parameter.
Die Beweise bestehen aus drei Gruppenelementen. Größe und Verifikation hängen von der Kurve und der Darstellung ab. Es ist eine in ZK-Systemen eingesetzte Konstruktion, sollte aber nicht als die schnellste für jede Umgebung bezeichnet werden.
Auch bekannt als
- Groth 16
