StarkWare hat einen historischen Meilenstein erreicht, indem es seinen ersten Zero-Knowledge-Beweis (ZK) mit seinem neuen STARK-Verifier im Bitcoin Signet-Netzwerk erfolgreich verifiziert hat.
Die Entwicklung folgt auf eine dreimonatige intensive Erforschung der Möglichkeiten von OP_CAT, dem technischen Vorschlag zur Erweiterung der Fähigkeiten der Bitcoin-Blockchain.
Der Verifier legt den Grundstein für die Entwicklung von ZK-basierten Layer-2-Lösungen (L2), um die BTC-Skalierbarkeit zu verbessern und globale Zahlungsmöglichkeiten voranzutreiben.
Verbunden mit: Starknet-Staking wird im vierten Quartal im Mainnet verfügbar sein – EthCC
OP_CAT-Vorschlag
Der OP_CAT-Vorschlag führt Smart-Contract-Funktionalität in das BTC-Netzwerk ein und ist, obwohl er sich noch im Genehmigungsprozess befindet, derzeit im Testnetz BTC Signet verfügbar.
Der ZK-Verifier von StarkWare ist die erste groß angelegte praktische Anwendung des Opcodes des Vorschlags im Testnetz. Seine erfolgreiche Implementierung im BTC Signet-Netzwerk hat mehrere Auswirkungen.
Im Gespräch mit Cointelegraph erklärte Weikeng Chen, Forschungspartner bei L2 Iterative und Mitwirkender, dass der ZK-Verifier „etwas ist, was noch nie zuvor gemacht wurde.“
„Es werden viele Bausteine benötigt, aber [die] Bitcoin-Community hat noch nie zuvor einen dieser Bausteine gebaut.“
Verwandte Themen: Neuer Open-Source-ZK-Proof verkürzt SQL-Abfragezeiten
Proof of Concept und Zugänglichkeit
Der Proof-of-Concept für den STARK-Verifier umfasste die Lösung eines mathematischen Problems, nämlich die Überprüfung der 32. Zahl in der Fibonacci-Quadrat-Folge.
Laut Chen erforderte der Prozess „enorme Anstrengungen“ und „erhebliche Zeit“. Da es keine Informationen über die Verwendung von ZK-Proof bei Bitcoin gab, „fing das Team mit nichts an“.
Chen sagte Cointelegraph, dass das Team „mehrere Monate gebraucht habe, um die Bausteine von Grund auf zu schreiben.“
„Wir sind im Grunde das einzige Team, das den ZK-Verifier tatsächlich in Bitcoin implementiert. Wie wir von verschiedenen uns bekannten Parteien bestätigen können, ist dies das erste Mal, dass ein ZK-Proof verifiziert wurde.“
Im Gegensatz zu anderen BTC-Skalierungslösungen, die auf Betrugsnachweisen oder Echtheit beruhen, ist dies die erste STARK-basierte Lösung, die Entwicklern öffentlich zur Verfügung steht und deren Code auf GitHub zugänglich ist.
Verwandt: StarkWare startet 1 Mio. USD Forschungsfonds zur ZK Bitcoin-Skalierung
Starknet-Staking kommt im vierten Quartal ins Mainnet
Am 10. Juli kündigte Eli Ben-Sasson, CEO von StarkWare, bei EthCC die Pläne des Unternehmens an, bis Ende 2024 Staking bei Starknet einzuführen.
Die im Rahmen eines Starknet-Verbesserungsvorschlags (SNIP) vorgeschlagene Zustimmung der Community würde zu neuen Staking-Funktionen führen, die es Stakern ermöglichen, „schrittweise mehr Verantwortung zu erhalten“.
Durch die Genehmigung des SNIP könnten Benutzer Staker werden, sofern sie den Mindesteinsatzbetrag halten oder ihre Bestände an einen bestehenden Staker delegieren.
Magazin: Krypto-Sicherheit: Evolve Bank erleidet Datendiebstahl, Turbo-Toad-Enthusiast verliert 3.600 US-Dollar
