Laut Blockworks fehlen Bitcoin derzeit echte Layer-2-Netzwerke wie denen von Ethereum, hauptsächlich weil bestehende Skalierungslösungen nicht das Sicherheitsmodell von Bitcoin übernehmen. Ethereum-Rollups, die Transaktionsdaten an das Ethereum-Mainnet senden, nutzen dessen Sicherheit direkt und stellen sicher, dass die korrekte Ausführung von Transaktionen auf diesen Ebenen durch dieselben Mechanismen gesichert ist, die die Basisebene schützen. Im Gegensatz dazu sind Bitcoins „Layer-2“-Lösungen wie Liquid Network und Rootstock (RSK) technisch gesehen Sidechains. Sie arbeiten unabhängig von Bitcoin und verwenden ihre eigenen Validierer oder Miner. Obwohl sie Mining-Hash-Raten oder Checkpoint-Snapshots in Bitcoin teilen können, bieten sie grundsätzlich ein anderes Sicherheitsniveau. Innovationen wie BitVM können das vertrauensminimierte Bridging von Bitcoin verbessern, aber um echte Layer-2-Lösungen auf Bitcoin zu ermöglichen, sind Protokoll-Upgrades erforderlich. Diese Upgrades würden Vereinbarungen einführen – Mechanismen, die einschränken, wie BTC ausgegeben werden kann –, die eine sichere, vertrauensminimierte Interoperabilität ermöglichen und es Bitcoin ermöglichen, eine robuste Layer-2-Infrastruktur ähnlich der von Ethereum zu unterstützen.

StarkWare beschrieb am Mittwoch einen bedeutenden Meilenstein bei der erfolgreichen Verifizierung des ersten Zero-Knowledge-Beweises mithilfe seines neuen STARK-Verifiers im Bitcoin-Testnetzwerk Signet. Dieser Erfolg folgt auf drei Monate Forschung zum Potenzial von OP_CAT, einem solchen vorgeschlagenen Bitcoin-Upgrade. Der Verifier von StarkWare, der in Zusammenarbeit mit Weikeng Chen vom Venture-Unternehmen L2 Iterative entwickelt wurde, ist die erste praktische Anwendung dieses Opcodes im großen Maßstab, sagte StarkWare in einer Erklärung. Er zeigt das Potenzial, die Entwicklung von zk-basierten Layer-2-Lösungen für Bitcoin zu unterstützen. „Diese Art der Verifizierungsmethodik unterscheidet sich völlig von dem, was bereits von anderen Skalierungslösungen im Bitcoin-Netzwerk erforscht wird, da sie keine Verwendung von Betrugsnachweisen oder Lebendigkeit erfordert“, sagte das Unternehmen und fügte hinzu, dass der Code für den Verifier über Github veröffentlicht wurde.

Chen merkte an, dass die Forschung bahnbrechend sei. „Wir haben mit nichts angefangen. Es gibt keine Informationen über zk-Beweise bei Bitcoin oder die notwendigen mathematischen Operationen. Wir mussten den vollständigen Stapel aufbauen, der zur Implementierung des STARK-Verifizierers führte“, sagte er. Der neue Verifizierer verwendet Circle STARKs – kryptografische Beweise, die den Beweisprozess erheblich beschleunigen. Sie werden auch in StarkWares STARK-Beweiser der nächsten Generation, Stwo, verwendet. Die aktuelle Demo überprüft nur die Lösung eines diskreten mathematischen Problems: die 32. Zahl in der Fibonacci-Quadrat-Folge – oder 21.783.0922 –, aber das Team plant, weiterzugehen und eine breite Palette von Berechnungen zu demonstrieren, die letztendlich die Grundlage einer virtuellen Maschine bilden könnten. Bis dahin können Bitcoin-Inhaber, die sich an DeFi beteiligen möchten, dies über eine Reihe anderer Ansätze tun, die darauf abzielen, BTC in andere Netzwerke zu bringen, jeder mit seinen eigenen Kompromissen.