KZG-Commitment

KZG erfordert einen Structured Reference String aus einem Trusted Setup, die sogenannten Powers of Tau: Potenzen eines Geheimnisses τ, multipliziert mit dem Generator, wobei τ ein toxischer Rückstand ist und vernichtet werden muss, weil jeder, der es kennt, Beweise fälschen könnte. Das Commitment ist C = p(τ)·G, blind mit dem SRS ausgewertet. Um die Auswertung an einem Punkt zu beweisen, wird ein Commitment auf das Quotientenpolynom erstellt und über eine Pairing-Gleichung auf einer geeigneten Kurve wie BLS12-381 verifiziert. Commitments und Beweise haben konstante Größe, nicht logarithmische wie bei Merkle, erkauft mit einem Trusted Setup und fehlender Post-Quanten-Sicherheit.

Es ist die Grundlage der Datenverfügbarkeit bei der Skalierung von Ethereum und ein zentraler Baustein vieler zk-Rollups, da Beweissysteme wie PLONK KZG-Commitments verwenden. Ein Rollup kann sich damit auf große Datenbatches mit kleinen Beweisen und günstiger Verifikation on-chain festlegen, kompatibel mit Data Availability Sampling.

Das Originalpaper ist Constant-Size Commitments to Polynomials and Their Applications von Aniket Kate, Gregory Zaverucha und Ian Goldberg, vorgestellt auf der ASIACRYPT 2010. EIP-4844 (Proto-Danksharding) brachte es mit dem Dencun-Upgrade am 13. März 2024 in das Ethereum-Mainnet: Jeder Blob von 128 KiB wird mit KZG committet. Das öffentliche Trusted Setup, die KZG Summoning Ceremony, startete am 13. Januar 2023 und versammelte mehr als 140.000 Teilnehmer, bis dahin das größte seiner Art. Projekte wie zkSync, Scroll, Polygon zkEVM und Linea stützen Teile ihres Stacks auf diese Commitments.