StarkWare bringt Zero-Knowledge-Technologie in Bitcoin ein und verifiziert zk-Proofs im Signet Testnet

Der Mechanismus, dessen Fertigstellung drei Monate dauerte, wurde auf dem Testnet Signet von Bitcoin implementiert und hat noch einen langen Weg vor sich, bis er im breiteren Ökosystem eingesetzt werden kann.

StarkWare, ein Unternehmen, das Zero-Knowledge-Technologie entwickelt auf Ethereum seit 2018, hat erfolgreich einen Zero-Knowledge-Proof (ZK-Proof) in einem Bitcoin-Testnetz verifiziert.

Der Mechanismus, dessen Fertigstellung drei Monate dauerte, wurde auf dem Testnetz-Signet von Bitcoin implementiert. Allerdings ist es noch ein langer Weg, bis es im breiteren Ökosystem eingesetzt werden kann.

Das Skript, das so etwas wie zk-proofs (OP_CAT) ermöglicht, hat in der Bitcoin-Community noch nicht genügend Konsens gefunden, um eingeführt zu werden .

Trotz dieses Rückschlags ist der Schritt von StarkWare ein vielversprechender Schritt für das Netzwerk, das früher als „Digital Pet Rock“ bekannt war.

Die Überprüfung von ZK-Proofs auf Bitcoin war bisher aufgrund der begrenzten Rechenkapazitäten des Netzwerks nicht möglich. OP_CAT und die Unternehmen, die es auf dem Signet von Bitcoin testen, zielen darauf ab, diese Realität zu ändern und die Breite der auf anderen Blockchains vorhandenen Anwendungen in das älteste Ökosystem der Branche zu bringen.

„Das war ein enormer Aufwand und hat viel Zeit gekostet.“ „, sagte Weikeng Chen von L2 Iterative in einer mit The Defiant geteilten Erklärung. „Wir haben mit nichts angefangen. Es gibt keine Informationen über ZK-Beweise für Bitcoin. Es gibt keine Informationen zu den mathematischen Operationen, denen man folgen muss. Wir mussten den kompletten Stack aufbauen, was schließlich zur Implementierung des STARK-Verifizierers führte.“

Ein ZK-Proof liegt vor, wenn eine Partei einer anderen Partei beweisen kann, dass eine bestimmte Aussage wahr ist, ohne zusätzliche Informationen preiszugeben. Zk-Proofs sind zu einem der wertvollsten Rechenwerkzeuge von Ethereum geworden, insbesondere da der Wettlauf um eine datenschutzorientierte Skalierung weitergeht.

Zero-Knowledge.

Optimistische Rollups gehen davon aus, dass alle Layer-2-Transaktionen gültig sind, sofern sie nicht von einem ehrlichen Netzwerkvalidator angefochten und als falsch erwiesen werden, während ZK-Rollups davon ausgehen, dass alle Transaktionen falsch sind, bis ihre Gültigkeit durch ZK-Proofs nachgewiesen wird.

Laut L2Beat optimistisch Roll-Ups wie Arbitrum, Base und Optimism machen fast 70 % des gesamten Marktanteils aus. Mit 1,7 % des Gesamtmarktes liegt StarkWares eigener Layer 2, Starknet, mit Abstand zurück, der in seiner Kategorie auf dem vierten Platz landet, hinter Linea (2,9 %), ZKSync (2,8 %) und Scroll (4,3 %), der seinen Platz belegt hat Der Total Value Locked (TVL) steigt auf über 1 Milliarde US-Dollar.

Obwohl Zero-Technology-Skalierungslösungen weniger weit verbreitet sind, bieten sie wichtige Vorteile, darunter erhöhte Privatsphäre und schnellere Überbrückungszeiten zum Mainnet.

Privatsphäre ist der Schwerpunkt von StarkWare Seine Bemühungen sind nicht zuletzt auf die Verbindung seines Gründers und Chief Executive Officer Eli Ben-Sasson zur Welt der Datenschutz-Blockchain zurückzuführen. Ben-Sasson war der leitende Wissenschaftler hinter einer der am stärksten auf Datenschutz ausgerichteten Kryptowährungen: Zcash. aus Gründen, die unklar zu sein scheinen.

Das Testen der Zero-Knowledge-Technologie ist bei Bitcoin aufgrund des bekannten Mangels an Privatsphäre und der Schwierigkeit bei der Skalierung sinnvoll.

OP_CAT wird weiterhin getestet

Das Potenzial, einiges zu bringen Eines der wertvollsten Tools von Ethereum für Bitcoin wird durch einen Code aus der Satoshi-Ära namens OP_CAT ermöglicht.

OP_CAT, kurz für „Operation Concatenate“, ist ein Opcode, der ursprünglich vom unbekannten Schöpfer von Bitcoin, Satoshi Nakamoto, vorgeschlagen wurde. Es ermöglicht die Kombination zweier Datenstücke zu einem einzigen Datenstück während der Ausführung einer Bitcoin-Transaktion.

Der Opcode ist geradezu umstritten.

Viele in der Bitcoin-Community haben ihn als Angriff auf das Netzwerk verurteilt , was Angriffsvektoren wie MEV eröffnen könnte. Tatsächlich sind Angriffe im MEV-Stil, bekannt als „Mempool-Sniping“, weit verbreitet, obwohl sie hauptsächlich auf Ordinals und nicht auf OP_CAT zurückzuführen sind.

Ben-Sasson und StarkWare testen an vorderster Front OP_CAT und drängen darauf, dass OP_CAT wieder eingeführt wird. Anfang Juni enthüllte das Unternehmen einen ehrgeizigen Plan zur Skalierung von Bitcoin durch das umstrittene Skript – und der ZK-Proof ist ein Schritt in diese Richtung.

In Bezug auf OP-CAT sagte Ben-Sasson: „Alle Bitcoin-Werte bleiben unverändert.“ , und bietet gleichzeitig ein einfaches Framework, das gerade ausreicht, um die STARK-Skalierung auf Bitcoin zu übertragen.“

Das obige ist der detaillierte Inhalt vonStarkWare bringt Zero-Knowledge-Technologie in Bitcoin ein und verifiziert zk-Proofs im Signet Testnet. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!