• Ziel ist eine wesentliche Leistungsverbesserung gegenüber herkömmlichen Proof-Systemen.

  • Binius kann zugrunde liegende Daten effizienter verarbeiten, indem es gemäß Buterin direkt an Bits arbeitet.

Vitalik Buterin, Mitbegründer von Ethereum, hat eine neue kryptografische Beweismethode diskutiert, die Zero-Knowledge-Beweise effizienter machen würde.

Eine Methode für schnelle kryptografische Beweise über binäre Felder, „Binius“, wurde in einem Blogbeitrag von Buterin am 29. April ausführlich beschrieben. Das System strebt erhebliche Leistungsverbesserungen gegenüber herkömmlichen Beweissystemen wie zk-SNARKs an.

Deutliche Effizienzsteigerung

Indem Binius die Berechnungen auf Operationen mit einzelnen Binärbits (der Menge aller möglichen Werte einer Zahl) statt mit größeren Zahlen reduziert, hofft er, mehr Effizienz zu erreichen. Klassische kryptografische Beweismethoden wie SNARKs und STARKs, die mit größeren Ganzzahlen (64-Bit oder 256-Bit) umgehen, waren die Inspiration für diesen Ansatz.

Laut Buterin kann Binius die zugrunde liegenden Daten effizienter verarbeiten, indem es direkt mit Bits arbeitet. Diese Daten bestehen im Allgemeinen aus winzigen Werten wie Booleschen Flags, Indizes und Zählern. Buterin behauptet, dass das neue Beweissystem viele Vorteile hat, wie etwa die Fähigkeit, arithmetische Operationen effizient mit Bits und Bitfolgen durchzuführen und die Fähigkeit, Daten als mehrdimensionalen „Hyperwürfel“ aus Bits darzustellen.

Während die Leistungsvorteile der Arbeit im Binärsystem erhalten bleiben, werden die Daten auf Bitebene mithilfe einer komplexen Codierungs- und Decodierungstechnik in ein Format umgewandelt, das für die „polynomische“ Verarbeitung und Merke-Beweise geeignet ist.

Eine Steigerung der Effizienz und Skalierbarkeit komplizierter kryptografischer Anwendungen wird durch das Binärsystem ermöglicht, das wesentliche Verbesserungen der grundlegenden Mathematik kryptografischer Beweissysteme ermöglicht. Um zu veranschaulichen, wie das Binius-Protokoll Daten kapselt, Beweise erstellt und es Prüfern ermöglicht, diese Beweise effektiv zu prüfen, demonstrierte Buterin komplexe Mathematik.

Hervorgehobene Krypto-Nachrichten heute:

FOMC-Sitzung treibt Krypto-Volatilität an, Bären übernehmen die Führung