Kurz erklärt: Ein KZG-Commitment (nach Kate, Zaverucha und Goldberg) ist ein kryptografisches Verfahren, mit dem man sich verbindlich auf ein Polynom festlegen und einzelne Auswertungen später kompakt beweisen kann; es wird in Ethereum etwa für Proto-Danksharding und Verkle Trees verwendet.
Herkunft
Das Verfahren wurde 2010 von Aniket Kate, Gregory M. Zaverucha und Ian Goldberg in der Arbeit „Constant-Size Commitments to Polynomials and Their Applications“ vorgestellt. Es gehört zur Klasse der Polynomial Commitment Schemes und beruht auf elliptischen Kurven mit sogenannten bilinearen Pairings.
Ein zentrales Merkmal ist die konstante Größe: Sowohl das Commitment als auch der Beweis für eine einzelne Auswertung bestehen jeweils nur aus einem Kurvenpunkt, unabhängig vom Grad des Polynoms.
Funktionsweise
Vereinfacht läuft das Verfahren in drei Schritten ab:
- Commit: Ein Datensatz wird als Polynom kodiert. Der Beweisende veröffentlicht ein kurzes Commitment, das dieses Polynom eindeutig festlegt, ohne es preiszugeben.
- Open/Proof: Für einen bestimmten Punkt kann bewiesen werden, welchen Wert das Polynom dort annimmt – ebenfalls mit einem konstant kleinen Beweis.
- Verify: Ein Prüfer bestätigt mittels Pairing-Berechnung, dass Wert und Beweis zum Commitment passen.
Voraussetzung ist ein öffentlicher Parametersatz (Structured Reference String), der über eine mehrparteiliche „Trusted Setup Ceremony“ erzeugt wird. Ethereum führte hierfür 2023 eine große, offene Zeremonie (KZG Summoning Ceremony) durch.
Anwendung in Ethereum
KZG-Commitments sind ein Baustein mehrerer Ethereum-Vorhaben:
- Bei Proto-Danksharding (EIP-4844) sichern sie die Integrität der temporären Blob-Daten, ohne diese dauerhaft speichern zu müssen.
- In Verkle Trees ermöglichen sie sehr kleine Zeugnisse (Witnesses) für den Zustandsbeweis.
Der Vorteil gegenüber klassischen Merkle-Beweisen liegt in der konstanten Beweisgröße und der Effizienz bei großen Datenmengen.
Häufige Fragen
Wofür steht die Abkürzung KZG?
KZG steht für die Nachnamen der Erfinder Aniket Kate, Gregory M. Zaverucha und Ian Goldberg, die das Verfahren 2010 vorstellten.
Was ist ein Trusted Setup?
Ein Trusted Setup erzeugt die öffentlichen Parameter des Verfahrens. Solange mindestens eine beteiligte Partei ehrlich ist und ihre geheimen Anteile löscht, bleibt das System sicher. Ethereum führte dafür eine offene Mehrparteien-Zeremonie durch.
Was ist der Vorteil gegenüber Merkle-Beweisen?
KZG-Beweise haben eine konstante, sehr kleine Größe unabhängig von der Datenmenge, während Merkle-Beweise mit der Baumtiefe wachsen.
Wo wird KZG in Ethereum eingesetzt?
Unter anderem bei Proto-Danksharding zur Absicherung von Blob-Daten und in Verkle Trees für kompakte Zustandsbeweise.
Gibt das Commitment die Daten preis?
Nein. Das Commitment legt das zugrunde liegende Polynom verbindlich fest, ohne dessen Inhalt offenzulegen. Erst gezielte Beweise offenbaren einzelne Auswertungen.
Zusammenfassung
Ein KZG-Commitment ist ein kryptografisches Polynom-Commitment-Verfahren aus dem Jahr 2010, benannt nach Kate, Zaverucha und Goldberg. Es erlaubt konstant kleine, verbindliche Festlegungen auf Datensätze und effiziente Beweise einzelner Werte. In Ethereum sichert es Blob-Daten bei Proto-Danksharding ab und ermöglicht kompakte Beweise in Verkle Trees.
Weiterführende Quellen
- ethereum.org: KZG Ceremony: ethereum.org
- EIP-4844: Shard Blob Transactions: eips.ethereum.org