StarkWare verifiziert den ersten ZK-STARK-Beweis auf dem Bitcoin Signet — Zero-Knowledge-Beweise kommen nativ zu Bitcoin
Bitcoin war schon immer die sicherste und dezentralste Blockchain, die es gibt – aber auch die am stärksten eingeschränkte in Bezug auf die Programmierbarkeit. Diese Spannung löst sich nun auf. StarkWare, das Team hinter dem Starknet Layer 2 Netzwerk, hat erfolgreich einen ZK-STARK-Proof im Signet-Testnetzwerk von Bitcoin verifiziert. Dies markiert einen entscheidenden Meilenstein, um Zero-Knowledge-Kryptographie nativ auf die weltweit größte Blockchain zu bringen.
Dieser Erfolg, kombiniert mit der Forschung an ColliderVM, dem Mainnet-Launch von Citrea und dem breiteren Vorstoß für Bitcoin Layer 2 Infrastruktur, signalisiert, dass 2026 das Jahr sein könnte, in dem sich Bitcoin von einer reinen Settlement-Chain in eine programmierbare Finanzplattform verwandelt – ohne seine Grundprinzipien zu opfern.
Was StarkWare tatsächlich auf Signet bewiesen hat
In einer wegweisenden Demonstration implementierte StarkWare einen STARK-Verifier im Signet-Testnetzwerk von Bitcoin – einer kontrollierten Testumgebung, die das Verhalten des Bitcoin-Mainnets widerspiegelt. Der Verifier, der in Zusammenarbeit mit der Risikokapitalgesellschaft L2 Iterative (L2IV) entwickelt wurde, verifizierte erfolgreich die Berechnung der 32. Zahl in der Fibonacci-Quadratfolge mithilfe eines Zero-Knowledge-Proofs.
Die technischen Details sind von Bedeutung. Die Verifizierung verbrauchte etwa 790.000 virtuelle Bytes (vBytes) im Signet-Netzwerk. Würde dies im Bitcoin-Mainnet mit aktiviertem OP_CAT und einer Gebührenrate von 2 sat/vByte repliziert, lägen die Kosten bei etwa 950 $ pro Verifizierung – teuer nach Ethereum-L2-Standards, aber ein Proof of Concept, der in Bitcoins eingeschränkter Scripting-Umgebung bisher als unmöglich galt.
Der entscheidende Wegbereiter ist OP_CAT, ein Verkettungs-Opcode, der ursprünglich Teil der Scripting-Sprache von Bitcoin war. Satoshi Nakamoto deaktivierte ihn 2010 aufgrund von Bedenken über potenzielle Denial-of-Service-Angriffe. Seine Reaktivierung, die nun als BIP-347 formalisiert wurde, würde es Skripten ermöglichen, zwei Stack-Elemente zu verketten – eine scheinbar einfache Operation, die leistungsstarke Funktionen freischaltet, darunter die Verifizierung von Merkle-Bäumen, die Durchsetzung von Covenants und, was entscheidend ist, die Verifizierung von STARK-Proofs.
Von Signet zu ColliderVM: Die Abhängigkeit von OP_CAT aufheben
Während die Signet-Demonstration auf OP_CAT angewiesen war, erkannten die Forscher von StarkWare, dass das Warten auf einen Bitcoin-Soft-Fork Jahre dauern könnte – oder angesichts des vorsichtigen Ansatzes der Community bei Konsensänderungen vielleicht nie eintreten wird. Im April 2025 veröffentlichten StarkWare-Mitbegründer Eli Ben-Sasson und Forscher des Weizmann-Instituts ColliderVM, ein Protokoll, das zustandsbehaftete Berechnungen auf Bitcoin ermöglicht, ohne dass Protokolländerungen erforderlich sind.
ColliderVM funktioniert über ein auf Hash-Kollisionen basierendes Commitment-Schema. Ein Prover muss eine Eingabe erzeugen, die bei Verarbeitung durch eine Hash-Funktion eine Ausgabe mit vorher festgelegten Merkmalen liefert. Dieser Mechanismus ermöglicht es, mehrstufige Berechnungen über mehrere Bitcoin-Transaktionen hinweg auszudehnen und dabei die kryptografische Integrität zu wahren – alles innerhalb der bestehenden Script-Beschränkungen von Bitcoin.
Die Effizienzgewinne sind dramatisch. Laut Ben-Sasson ist ColliderVM "mindestens 10.000 Mal effizienter" als sein Vorgänger ColliderScript. Während die Forscher einräumen, dass dies noch Forschungsarbeit ist und noch nicht produktionsreif, zeigt das Paper, dass die On-Chain-STARK-Proof-Verifizierung auf Bitcoin heute "fast praktikabel" ist.
Dies ist wichtig, da es die Roadmap für die Programmierbarkeit von Bitcoin vom politisch heiklen Prozess der Soft-Fork-Aktivierung entkoppelt. Unabhängig davon, ob OP_CAT im Mainnet jemals reaktiviert wird, bietet ColliderVM einen Weg zur ZK-Verifizierung auf Bitcoin.
Der Wettlauf um den Aufbau von Bitcoins ZK-Infrastruktur
StarkWare ist nicht allein. Ein kompetitives Ökosystem von Projekten wetteifert darum, Zero-Knowledge-Fähigkeiten zu Bitcoin zu bringen, wobei jedes einen anderen architektonischen Ansatz verfolgt.
BitcoinOS und BitSNARK
BitcoinOS schrieb am 24. Juli 2024 Geschichte, indem es den ersten Zero-Knowledge-Proof überhaupt im Bitcoin-Mainnet bei Block 853.626 verifizierte. Ihr BitSNARK-Protokoll ermöglicht die zk-SNARK-Verifizierung auf Bitcoin, ohne das Kernprotokoll zu ändern, indem ein Zwei-Parteien-Challenge-Response-System verwendet wird. BitcoinOS hat BitSNARK v0.1 im September 2024 als Open Source veröffentlicht und war damit das erste Projekt, das Open-Source-ZK-Kryptographietechnologie für das Bitcoin-Mainnet bereitstellte.
Citrea: Bitcoins erster produktionsreifer ZK-Rollup
Citrea aktivierte sein Mainnet am 27. Januar 2026 und wurde damit Bitcoins erster produktionsreifer ZK-Rollup. Mithilfe der zkEVM-Technologie von RISC Zero bündelt Citrea Tausende von Transaktionen off-chain, generiert Zero-Knowledge-Proofs und schreibt diese in den Bitcoin-Base-Layer. Seine Clementine-Bridge, die auf dem BitVM-Paradigma basiert, ermöglicht vertrauensminimierte Asset-Transfers zwischen Bitcoin und dem Rollup.
Citrea startete mit ctUSD, einem Fiat-gestützten Stablecoin, der auf der M0-Infrastruktur und MoonPay basiert und auf zwei Kernproduktkategorien abzielt: BTC-besicherte Kreditvergabe und strukturierte Produkte. Dies stellt eine konkrete, nutzbare Anwendung der ZK-Technologie auf Bitcoin dar – nicht nur einen Proof of Concept.
Botanix Labs und die Spider Chain
Botanix leistete Pionierarbeit beim „Spider-Chain“-Design – einer neuartigen L2-Architektur, die bidirektional verknüpfte Sidechains mit Bitcoin ermöglicht. Botanix wurde Anfang 2025 eingeführt und bietet EVM-Kompatibilität, während es eine starke Verbindung zum Sicherheitsmodell von Bitcoin aufrechterhält und so die Robustheit von Bitcoin mit dem Smart-Contract-Ökosystem von Ethereum verbindet.
Starknets Dual-Settlement-Ambition
Die vielleicht ehrgeizigste Vision stammt von Starknet selbst. Das Projekt zielt darauf ab, der erste Layer 2 zu werden, der gleichzeitig auf Bitcoin und Ethereum abrechnet – ein einziges Netzwerk, das die beiden größten Blockchain-Ökosysteme vereint.
Die Roadmap ist konkret. Durch eine Partnerschaft mit Alpen Labs plant Starknet, bis Ende 2026 eine vertrauensminimierte Bridge zwischen Bitcoin und seinem Netzwerk bereitzustellen. Die Plattform führte strkBTC für abgeschirmte Bitcoin-Transaktionen auf dem Layer 2 von Ethereum ein und hat Pläne skizziert, Bitcoin von 7 Transaktionen pro Sekunde auf Tausende zu skalieren, während die Gebühren von 2 gesenkt und die Blockbestätigungszeiten von 10 Minuten auf 2 Sekunden verkürzt werden.
Bis Ende 2026 stellt sich Starknet vor, drei Säulen des Web3 zu skalieren: Bitcoin als hartes Geld durch BTCFi und vertrauensminimiertes Bridging, Zcash-Privatsphäre durch Ztarknet und die Ausführung universeller Smart Contracts über sein bestehendes Ethereum L2. Falls dies umgesetzt wird, würde Starknet als Bindegewebe zwischen der Marktkapitalisierung von Bitcoin in Höhe von 1,4 Billionen $ und dem DeFi-Ökosystem von Ethereum positioniert werden.
Warum ZK auf Bitcoin alles verändert
Die Auswirkungen der nativen ZK-Verifizierung auf Bitcoin gehen weit über die Skalierung hinaus. Drei transformative Funktionen entstehen.
Vertrauenslose Layer 2s ohne Fraud Proofs. Aktuelle Bitcoin-L2-Ansätze wie das Lightning Network oder BitVM-basierte Systeme verlassen sich auf Fraud Proofs mit Herausforderungsfristen – was bedeutet, dass Benutzer Tage oder Wochen auf die Finalität warten müssen und immer jemand auf unehrliches Verhalten achten muss. ZK-Proofs bieten sofortige kryptografische Finalität: Entweder ist der Beweis gültig oder nicht. Keine Watchtowers, keine Herausforderungsfristen, keine Vertrauensannahmen außer der Mathematik.
Privatsphäre ohne Protokolländerungen. Zero-Knowledge-Proofs können private Transaktionen auf Bitcoin ermöglichen, ohne dass neue Opcodes oder Konsensänderungen erforderlich sind. Proof-of-Reserve-Schemata ermöglichen es Custodians, Bitcoin-Bestände über einem Schwellenwert nachzuweisen, ohne Adressen oder tatsächliche Salden offenzulegen. Dies ist besonders relevant, da sich die institutionelle Akzeptanz beschleunigt und Anforderungen an die Einhaltung gesetzlicher Vorschriften mit Datenschutzanforderungen koexistieren.
Quantenresistenz. Mit dem Fortschreiten des Quantencomputings bieten ZK-STARKs – die eher auf Hash-Funktionen als auf Elliptic-Curve-Kryptografie basieren – eine natürliche quantenresistente Verifizierungsschicht. Dies positioniert die ZK-Infrastruktur von Bitcoin als zukunftskompatibel mit Post-Quanten-Sicherheitsanforderungen, ein Anliegen, das jedes Jahr dringlicher wird.
Die OP_CAT-Frage
Das Thema, das alle beschäftigt, bleibt die OP_CAT-Aktivierung. Im April 2024 als BIP-347 formalisiert, würde seine Reaktivierung die ZK-Verifizierung auf Bitcoin drastisch vereinfachen und eine neue Klasse von Bitcoin-Anwendungen ermöglichen, einschließlich Covenants, Vaults und fortschrittlichen Multi-Signatur-Systemen.
Aber Bitcoins Soft-Fork-Prozess ist bewusst langsam und politisch aufgeladen. Der letzte erfolgreiche Soft-Fork der Community – Taproot – dauerte Jahre der Beratung vor der Aktivierung im November 2021. Die OP_CAT-Debatte hat sich mit breiteren Streitigkeiten über die Entwicklungsrichtung von Bitcoin verflochten, einschließlich kontroverser Diskussionen über Ordinals, BRC-20-Token und die Aufhebung des 80-Byte-Relay-Limits.
Das Genie von Projekten wie ColliderVM und BitSNARK liegt darin, dass sie nicht auf Erlaubnis warten. Indem sie innerhalb der bestehenden Einschränkungen von Bitcoin arbeiten, demonstrieren sie, dass Programmierbarkeit eher durch technisches Geschick als durch politischen Konsens erreicht werden kann. Wenn OP_CAT schließlich aktiviert wird, werden diese Systeme drastisch effizienter. Wenn nicht, funktionieren sie trotzdem.
Was als Nächstes kommt
Die nächsten 12 Monate werden entscheiden, ob sich Bitcoins ZK-Moment in eine bedeutende Akzeptanz verwandelt. Wichtige Meilensteine, auf die man achten sollte:
- ColliderVM-Reifung vom Forschungspapier zum funktionierenden Prototyp
- Starknets Dual-Settlement-Bereitstellung für Bitcoin und Ethereum
- Citreass Ökosystem-Wachstum als erstes produktives ZK-Rollup auf Bitcoin
- OP_CAT-Aktivierungskurs und die breitere Soft-Fork-Debatte
Es steht enorm viel auf dem Spiel. Bitcoin hält etwa 55 % der gesamten Krypto-Marktkapitalisierung – über 1,4 Billionen $ an Wert, der weitgehend von DeFi-, Smart-Contract- und programmierbaren Finanzfunktionen ausgeschlossen war, die kleinere Chains als selbstverständlich ansehen. Die ZK-Technologie ist der Schlüssel, der diesen Wert freisetzen könnte, ohne die Kernwertversprechen von Bitcoin in Bezug auf Sicherheit, Dezentralisierung und Einfachheit zu gefährden.
Für Builder, Entwickler und Infrastrukturanbieter ist die Botschaft klar: Bitcoin ist nicht mehr nur eine Abrechnungsebene. Er wird zu einer programmierbaren Plattform – und Zero-Knowledge-Proofs sind die Technologie, die dies ermöglicht.
BlockEden.xyz bietet Blockchain-API-Infrastruktur der Enterprise-Klasse, die mehrere Chains unterstützt, einschließlich der Ökosysteme von Bitcoin und Ethereum. Während ZK-betriebene Bitcoin-Layer-2s entstehen, wird eine zuverlässige Node-Infrastruktur für Entwickler, die an dieser neuen Grenze bauen, von entscheidender Bedeutung. Erkunden Sie unseren API-Marktplatz, um auf Fundamenten zu bauen, die auf Dauer ausgelegt sind.