Zero-Knowledge Proofs (ZKPs) für Menschen „verständlich und zugänglich“ zu machen, sei notwendig, um das Ethereum-Ökosystem „offen und einladend“ für Menschen ohne Mathematikabschluss zu halten, twitterte Ethereum-Mitbegründer Vitalik Buterin am 26. Oktober.
ZKPs werden wegen ihrer Komplexität oft als „Mondmathematik“ bezeichnet.
Ich bin so glücklich, dass Ethereum eine so starke Kultur hat, sich zu bemühen, all unsere Mondmathematik so verständlich und zugänglich für die Menschen wie möglich zu machen. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) 26. Oktober 2022
Buterin fügte hinzu, dass „Dezentralisierung erfordert, NICHT aufzugeben und mit einem Doktortitel herumzufuchteln und zu sagen: „Es ist eine Black Box, wir sind schlau, vertrauen Sie uns“.“
Scroll, eine Zero-Knowledge-Layer-2-Ethereum-Skalierungslösung, erklärt in a Blog wie polynomiale Commitment-Schemata, ein kritischer Bestandteil mehrerer ZKPs, funktionieren und wie sie dabei helfen können, Ethereum zu skalieren.
Polynome sind mathematische Ausdrücke, die mehr als zwei algebraische Terme darstellen. Laut dem Scroll-Blog können Polynome dabei helfen, große Datenmengen effizient darzustellen.
Ein Commitment-Schema ist ein kryptografisches Protokoll, bei dem man sich auf eine Nachricht einlässt und sie verborgen hält, aber die Nachricht später enthüllen kann. Der Committer kann die Nachricht jedoch nicht mehr ändern, nachdem er sich dazu verpflichtet hat, wodurch Commitment-Schemata verbindlich werden.
In einem Polynom-Commitment-Schema legt man sich auf ein Polynom statt auf eine Nachricht fest. Das Polynom-Commitment-Schema erfüllt alle Eigenschaften normaler Commitment-Schemata. Aber es hat ein zusätzliches Merkmal, das es dem Committer ermöglicht, zu beweisen, dass er sich auf ein bestimmtes Polynom festgelegt hat, das die erforderlichen Eigenschaften erfüllt, ohne das Polynom selbst preiszugeben.
KZG bei der Skalierung von Ethereum
Während es verschiedene Polynom-Commitment-Schemata gibt, Kate-Zaverucha-Goldberg (KZG) ist im Blockchain-Bereich beliebt und wird von den Proof-Systemen von Scroll verwendet. KZG soll auch mit Proto-Danksharding in Ethereum integriert werden, um durch implementiert zu werden EIP-4844, die im Februar 2022 vorgeschlagen wurde.
Proto-Danksharding ist eine Notlösung, bis Danksharding, das die Verwendung von Rollups billiger machen könnte, implementiert werden kann. Proto-Danksharding führt einen neuen Transaktionstyp namens „Blob-tragende Transaktion“ ein. Diese Transaktionen tragen einen Datenblock von 128 KB, auf den von der Ethereum-Ausführungsebene aus nicht zugegriffen werden kann. Stattdessen wird von Ethereum aus nur die Verpflichtung zum Datenblob zugänglich sein.
Das Daten-Blob wird als Polynom dargestellt und das polynomische Commitment-Schema KZG wird verwendet, um eine Commitment für die Daten zu erstellen. Dadurch können die Eigenschaften des Datenblobs verifiziert werden, ohne dass der gesamte Datenblob preisgegeben wird.
Der Einsatz von KZG kann daher Data Availability Sampling (DAS) ermöglichen, das auf dem Weg zur vollständigen Danksharding umgesetzt wird. DAS ermöglicht Validatoren im Wesentlichen, sicherzustellen, dass der Datenblob verfügbar und korrekt ist, ohne den gesamten Datenblob lesen zu müssen.
Dies wiederum kann erheblich dazu beitragen, die Skalierbarkeit von Ethereum zu verbessern, da Validierer mit weniger Daten umgehen müssen.
Quelle: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/