Anfang des Jahres Weikeng Chen Der Venture-Partner und seine Partner L2 Iterativ Sie beschlossen, ihre Aufmerksamkeit auf das boomende Bitcoin-Ökosystem zu richten. Chen, der gebürtiger Chinese ist, bemerkte das zunehmende Interesse großer Bergbauunternehmen an Bitcoin. Sie begannen, Projekte im Ordinalbereich und im Layer-2-Bereich zu unterstützen.
„Mir war nie wirklich klar, dass es für Bitcoin eine Entwickler-Community gibt“, sagt er halb im Scherz.
Er leitete letzte Woche eine Open-Source-Initiative mit Unterstützung des Infrastrukturunternehmens StarkwareDer. Erste Implementierung Ein Zero-Knowledge-Verifizierer mit Bitcoin-Skript.
In einem Bereich, in dem technologische Durchbrüche selten sind, preisen die Beteiligten die Bedeutung dieses Meilensteins. Die Zero-Knowledge-Beweise, so behaupten sie, seien entscheidend, um die Programmierbarkeit von Bitcoin freizusetzen und es weltweit zu verbreiten.
Dieser Erfolg wurde durch die Reise eines unbekannten Außenseiters ermöglicht, der erst vor sechs Monaten begann, Bitcoin zu lernen und nun die wohl anspruchsvollste Software von Bitcoin programmiert. Weikeng Chen wurde interviewt, um mehr über seine Motivationen und die Zusammenarbeit mit Starkware bei OP_CAT, STARKs und seine Perspektive auf dieses neue Zeitalter der Bitcoin-Entwicklung zu erfahren.
Von Grund auf neu beginnen
Chen, ein Doktor der UC Berkeley, der sich auf Kryptographie spezialisiert hat, erklärte, er habe nach einer Möglichkeit gesucht, sein technisches Fachwissen zu nutzen, um die Aufmerksamkeit potenzieller Investoren auf sein Unternehmen zu lenken. Chen stellte schnell fest, dass trotz seines umfangreichen technischen Fachwissens die Ressourcen und die Lernkurve steil waren. „Vieles des verfügbaren Materials ist veraltet und spiegelt nicht den aktuellen Entwicklungsstand wider.“ Schließlich war er fasziniert von Zero-Knowledge-Technologien. Forschung Konzentrieren Sie sich auf die Fähigkeit von Bitcoin, die zur Überprüfung von Zero-Knowledge-Proofs erforderlichen Berechnungen durchzuführen.
Ein Kaninchenloch führt zum nächsten Robin LinusArbeit an einem neuartigen Computerparadigma BitVM Sein Radar wurde geweckt. Er war daran interessiert, Betrugsschutz zu verwenden, um ein mit Bitcoin kompatibles Zero-Knowledge-System zu erstellen. Nachdem er das Whitepaper gelesen hatte, bemerkte er, dass einige Konzepte fehlerhaft waren. „Ich schickte Robin eine Nachricht mit ein paar Fragen zu BitVM. Mein Verständnis von BitVM aus diesem Whitepaper war tatsächlich völlig falsch. Ich erinnere mich, dass Robins erste Reaktion war, mich zu fragen, wer mir das erzählt hatte“, erinnert er sich lachend. Die Interaktion zwischen Chen, Linus und anderen Forschern führte zu einer kurzen, aber fruchtbaren Zusammenarbeit, als sie die Idee verfeinerten und nach Möglichkeiten suchten, sie zu verbessern.
„Für mich war es offensichtlich, dass diese Methode zur Überprüfung von Zero-Knowledge-Beweisen verwendet werden könnte, daher ging meine Arbeit schnell in die Richtung der Implementierung eines SNARK-Verifiers.“
Verifier sind kryptografische Tools, die es dem Bitcoin-Netzwerk ermöglichen, Zero-Knowledge-Beweise zu verifizieren.
Dies ist eine großartige Gelegenheit für OP_CAT
Auch ein Team des Zero-Knowledge-Riesen Starkware verfolgte aufmerksam, was in der Bitcoin-Community vor sich ging. Für manche war es längst überfällig. Starkware-Gründer Eli Ben-Sasson ist wohl einer der einflussreichsten Menschen in der Technologiebranche. erste Person, die diskutiert Zero-Knowledge-Technologie im Zusammenhang mit Kryptowährungen auf einer frühen Bitcoin-Konferenz. Die ZK STARK-Technologie und die Forschung von Starkware bilden seit fast einem Jahrzehnt das Rückgrat vieler Anwendungen.
„Als ich 2013 vorschlug, Gültigkeitsnachweise zu verwenden, um Bitcoin zu skalieren, hoffte ich, dass Satoshi noch da sein könnte und es schneller passieren würde. Dank Kryptographie-Visionären wie Weikeng Chen und Bitcoin OP_CAT-Forschern wie Andrew Poelstra und Ethan Heilman scheint mein 11 Jahre alter Traum nun in Reichweite zu sein“, kommentierte Ben-Sasson.
In diesem Monat das Unternehmen angekündigt Sie starten eine Reihe von Initiativen, die darauf abzielen, die technologische Lücke zwischen Bitcoins und Zero-Knowledgeproofs zu schließen. Der Antrag wurde mit 1.000.000 US-Dollar ausgestattet, um die Potenziale dieser Technologie zu erkunden und zu erforschen. OP_CAT Vorschlag für Soft Fork
Manche fragten sich, was der Grund für die Begeisterung war. Bis vor Kurzem waren die Aussichten auf Zero-Knowledge-Technologie bei Bitcoin eher zweitrangig – ein weiterer OP-Code, der vielleicht nie das Licht der Welt erblicken würde. Es war schwierig, selbst für kleine Änderungen im Bitcoin-Code einen Konsens zu erzielen, sodass es unwahrscheinlich erscheint, dass jemals etwas Komplexeres erreicht werden könnte.
Mitarbeiter von Starkware haben mir erzählt, dass sie Mitte Mai auf Weikengs Arbeit an BitVM aufmerksam geworden seien. Die Stimmung änderte sich plötzlich. Am Ende stellte sich heraus, dass der Entwickler bereits ein Auge auf Circle STARKs geworfen hatte. Chen hat die Technologie von Circle STARKs in einem aktuellen Artikel beschrieben. „Bitcoin-freundliches Beweissystem.“
Beide Parteien beschlossen, ihre Kräfte zu bündeln und ein gemeinsames Projekt zur Implementierung eines STARK-Verifiers mit dem OP_CAT-Primitiv zu starten. „Ich wusste, dass es machbar war. Wir mussten nur alle Teile zusammenfügen“, schlägt Chen vor. Chen.Bitcoin Wildlife Sanctuary” Wurde geboren.
Es scheint, dass das BitVM-Projekt nun zwei Monate alt ist und sein Ziel dank Pingzhou Yuan erreicht hat. Chen, der am späten Freitagmorgen in die Telegram-Projektgruppe einstieg, um den anderen Teilnehmern die aufregenden Neuigkeiten mitzuteilen: „Ich glaube, ich habe die Arbeit erledigt!“
Anschließend veröffentlichte der Entwickler die Ergebnisse seines lokalen Tests. Reihe von Transaktionen Um die On-Chain-Nutzung zu optimieren, basiert der STARK-Proof auf dem Open-Source-Code von Starkware. Der Stark-Proof ist ein Open-Source-Projekt von Starkware, das die On-Chain-Nutzung optimiert. Kreatur Die Implementierung wird in gleichzeitige Transaktionen aufgeteilt und mit einem auf OP_CAT basierenden Covenant verkettet.
Am 12. Juli 2024 um 6:29 Uhr wurde die letzte Transaktion im Signet-System verifiziert, was den Beginn einer nach Ansicht vieler spannenden neuen Phase in der Entwicklung von Bitcoin einläutet.
„Das war ein enormer Aufwand und hat viel Zeit in Anspruch genommen“, sagte Chen. „Wir haben mit nichts angefangen. Es gibt keine Informationen über ZK-Beweise für Bitcoin. Es gibt keine Informationen über die folgenden mathematischen Operationen. Wir mussten den vollständigen Stapel erstellen, was schließlich zur Implementierung des STARK-Verifizierers führte.“
Die neue Art der Entwicklung
Chen besteht darauf, dass die Arbeit trotz der positiven Ergebnisse noch nicht abgeschlossen ist. Auf die Frage, ob seine Grundlagenarbeit für Skalierungsprotokolle wie Rollups von Bitcoin ein optimistisches Unterfangen war, dämpfte Chen seine Erwartungen schnell.
„Die Idee funktioniert im Großen und Ganzen, aber der Proof-of-Concept ist noch nicht produktionsreif. Gültigkeitsnachweise benötigen außerdem viel Blockspeicherplatz, was sich in Zukunft als kostspielig erweisen könnte.“
Die Mitwirkenden von Starkware erkennen an, dass das Projekt vor Herausforderungen steht, sind jedoch von seinem Erfolg überzeugt. „Ein gewaltiger Sprung nach vorne“ Bitcoin-Skalierungslösungen, die die ZK-Rollup-Technologie nutzen
Die Zusammenarbeit wird wahrscheinlich die Argumente für einen möglichen OP_CAT Soft Fork stärken. Chen sagt, dass er zur Implementierung des Verifiers ein Framework von Vereinbarungen erstellen musste, das CAT verwendet. Dies kann verwendet werden, um die Vielseitigkeit und Flexibilität der vorgeschlagenen Skriptverbesserungen zu demonstrieren. Chen glaubt, dass andere Entwickler mit seinem Code experimentieren können, um zu denselben Schlussfolgerungen hinsichtlich seiner Vorteile zu gelangen wie er.
„Ich glaube nicht, dass es viel Risiko gibt, wenn wir erst einmal Best Practices entwickelt haben. Es gibt nicht mehr so viele Stellen, an denen etwas schiefgehen kann. Wir haben jetzt einen klaren Beweis dafür, dass OP_CAT auf sichere Weise an verschiedene Covenant-Projekte angepasst werden kann.“
Der Entwickler gibt zu, dass er nicht genug über die Open-Source-Bitcoin-Entwicklung weiß, um einen Beitrag zur zukünftigen Aktivierung leisten zu können. Er wird dann die von ihm erzielten Fortschritte mit anderen Mitgliedern der Bitcoin-Entwicklungs-Mailingliste teilen, in der Hoffnung, dass andere Bewertungen und Feedback liefern können.
Chen, der über seine bisherigen Erfahrungen im Bitcoin-Ökosystem nachdenkt, betont sofort, wie wichtig es ist, eine Umgebung zu schaffen, die für Entwickler, die neu im System sind, fruchtbar ist. Aufgrund der fehlenden Kohärenz der Vision glauben er, dass viele talentierte Entwickler die Chance, mit Bitcoin zu arbeiten, nicht nutzen.
„Derzeit gibt es keine klare Richtung, was die Mitwirkenden ratlos zurücklässt, ob sie die Zukunft beeinflussen können. Hoffentlich kann das Aufkommen neuer Tools und Primitive diese Situation verbessern, sodass Bitcoiner wieder träumen dürfen.“
„Dieser Artikel stellt keine Finanzberatung dar.“
„Recherchieren Sie immer selbst, bevor Sie eine Investition tätigen.“
„Bitradar ist nicht für Aktivitäten verantwortlich, die Sie außerhalb von Bitradar durchführen.“
Quelle: bitcoinmagazine.com
