Vroeg dit jaar Weikeng Chen De venture partner en zijn partners L2 Iteratief Ze besloten hun aandacht te richten op het bloeiende Bitcoin-ecosysteem. Chen, die van Chinese afkomst is, merkte de toenemende interesse van grote miningbedrijven in Bitcoin op. Ze begonnen projecten binnen de Ordinals-ruimte en Layer 2-ruimte te ondersteunen.
“Ik heb me nooit gerealiseerd dat Bitcoin een ontwikkelingsgemeenschap heeft”, zegt hij half grappend.
Hij leidde vorige week een initiatief om de broncode te openen met steun van het infrastructuurbedrijf StarkwareDe. eerste implementatie Een zero-knowledge-verificator met behulp van een Bitcoin-script.
In een gebied waar technologische doorbraken zeldzaam zijn, prijzen de betrokkenen het belang van deze mijlpaal. De zero-knowledge-bewijzen die zij claimen, zijn cruciaal om de programmeerbaarheid van Bitcoin te ontgrendelen en wereldwijd te schalen.
Deze prestatie werd mogelijk gemaakt door de reis van een onbekende buitenstaander, die pas zes maanden geleden begon met het leren van Bitcoin en nu waarschijnlijk het meest geavanceerde stukje software van Bitcoin codeert. Weikeng Chen werd geïnterviewd om meer te weten te komen over zijn motivaties en samenwerking met Starkware op OP_CAT, STARKs en zijn perspectief op dit nieuwe tijdperk in Bitcoin-ontwikkeling.
Beginnen vanaf nul
Chen, een PHD van UC Berkeley die gespecialiseerd is in cryptografie, legde uit dat hij op zoek was naar een mogelijkheid om zijn technische expertise te gebruiken om zijn bedrijf te helpen de aandacht te trekken van potentiële investeerders. Chen ontdekte al snel dat, ondanks zijn uitgebreide technische expertise, de middelen en leercurve steil waren. “Veel van het materiaal dat er is, is verouderd en weerspiegelt niet de huidige staat van ontwikkeling.” Uiteindelijk raakte hij gefascineerd door zero-knowledge-technologieën. onderzoek Concentreer u op de mogelijkheid van Bitcoin om de berekeningen uit te voeren die nodig zijn om zero-knowledgeproofs te verifiëren.
Het ene konijnenhol leidt naar het andere Robin LinusWerk aan een nieuw computerparadigma BitVM Zijn radar werd geactiveerd. Hij was geïnteresseerd in het gebruik van fraude-proofs om een zero-knowledge systeem te creëren dat compatibel is met Bitcoin. Nadat hij het whitepaper had gelezen, merkte hij dat sommige concepten gebrekkig waren. “Ik stuurde een bericht naar Robin met een paar vragen over BitVM. Mijn begrip van BitVM uit dat whitepaper was inderdaad volkomen verkeerd. Ik herinner me dat Robins eerste reactie was om me te vragen wie me dit had verteld,” herinnert hij zich lachend. De interactie tussen Chen, Linus en andere onderzoekers leidde tot een korte maar vruchtbare samenwerking toen ze het idee verfijnden en manieren zochten om het te verbeteren.
“Het was voor mij duidelijk dat deze methode gebruikt kon worden om zero-knowledge proof te verifiëren, dus mijn werk ging al snel in de richting van het implementeren van een SNARK-verificator.”
Verifiers zijn cryptografische hulpmiddelen waarmee het Bitcoin-netwerk bewijzen van zero-knowledge kan verifiëren.
Dit is een geweldige kans voor OP_CAT
Een team van de zero-knowledge gigant Starkware hield ook nauwlettend in de gaten wat er in de Bitcoin community gebeurde. Voor sommigen was het allang te laat. Starkware's oprichter Eli Ben-Sasson is waarschijnlijk een van de meest invloedrijke mensen in de technologie. eerste persoon om te bespreken Zero-knowledge tech in context met cryptocurrencies, op een vroege Bitcoin-conferentie. Starkware's ZK STARK-technologie en Starkware-onderzoek vormen al bijna tien jaar de ruggengraat van veel applicaties.
“Toen ik in 2013 voorstelde om validiteitsbewijzen te gebruiken om Bitcoin te schalen, hoopte ik dat Satoshi er nog zou zijn en het sneller zou laten gebeuren. Dankzij cryptografievisionairs als Weikeng Chen en Bitcoin OP_CAT-onderzoekers als Andrew Poelstra en Ethan Heilman, lijkt mijn 11-jarige droom nu binnen handbereik,” aldus Ben-Sasson.
Deze maand is het bedrijf aangekondigd Ze lanceren een aantal initiatieven die gericht zijn op het dichten van de technologische kloof tussen Bitcoins en zero-knowledgeproofs. De aanvraag kreeg $ 1.000.000 om de potentie van deze technologie te verkennen en te onderzoeken. OP_CAT Voorstel voor zachte vork
Sommigen vroegen zich af wat het enthousiasme motiveerde. Tot voor kort waren de vooruitzichten van zero-knowledge-technologie op Bitcoin vooral een bijzaak — nog een OP-code die misschien nooit het daglicht zou zien. Het was moeilijk om consensus te bereiken voor zelfs kleine veranderingen in de Bitcoin-codebase, waardoor het onwaarschijnlijk leek dat er ooit iets complexers bereikt zou kunnen worden.
Starkware-bijdragers hebben me verteld dat ze halverwege mei op de hoogte raakten van Weikengs werk aan BitVM. De stemming sloeg plotseling om. Uiteindelijk bleek dat de ontwikkelaar zijn oog al op Circle STARKs had laten vallen. Chen identificeerde Circle STARKs-technologie in een recent artikel. “Bitcoin-vriendelijk bewijssysteem.”
Beide partijen besloten de krachten te bundelen en een gezamenlijk project te creëren om een STARK Verifier te implementeren met behulp van de OP_CAT Primitive. “Ik wist dat het kon. We moesten alleen alle stukjes op hun plaats leggen,” suggereert Chen. Chen.Bitcoin natuurreservaat” Was geboren.
Het lijkt erop dat het BitVM-project nu twee maanden oud is en zijn doel heeft bereikt dankzij Pingzhou Yuan. Chen, die vrijdagochtend laat in de Telegram-projectgroep sprong om de andere deelnemers het opwindende nieuws te vertellen: “Ik denk dat ik de klus heb geklaard!”
Vervolgens maakte de ontwikkelaar de resultaten van zijn lokale test bekend. reeks transacties Om on-chain gebruik te optimaliseren, is de STARK proof gebaseerd op Starkware's open-source code. De Stark proof is een open-source Starkware project dat het on-chain gebruik optimaliseert. Schepsel De implementatie is opgesplitst in gelijktijdige transacties en gekoppeld aan een OP_CAT-gebaseerd Covenant.
Op 12 juli 2024 om 06:29 uur werd de laatste transactie geverifieerd op het Signet-systeem. Dit markeerde het begin van wat volgens velen een spannende nieuwe fase in de ontwikkeling van Bitcoin zal zijn.
“Dit was een enorme inspanning en kostte veel tijd,” zei Chen. “We begonnen met niets. Er is geen informatie over ZK-bewijzen op Bitcoin. Er is geen informatie over de wiskundige bewerkingen die moeten worden gevolgd. We moesten de volledige stack bouwen, wat uiteindelijk leidde tot de implementatie van de STARK-verifier.”
De nieuwe manier van ontwikkelen
Chen benadrukt dat het werk nog niet af is, ondanks de positieve resultaten. Toen hem werd gevraagd of zijn fundamentele werk voor het schalen van protocollen zoals rollups van Bitcoin een optimistische onderneming was, temperde Chen snel de verwachtingen.
“Het idee werkt grofweg, maar het proof-of-concept is niet productieklaar. Geldigheidsbewijzen nemen ook veel blokruimte in beslag, wat in de toekomst duur kan blijken te zijn.”
Starkware-medewerkers erkennen dat het project voor uitdagingen staat, maar ze hebben vertrouwen in het succes ervan. “Een monumentale sprong voorwaarts” Bitcoin-schaaloplossingen die gebruikmaken van ZK Rollup-technologie
De samenwerking zal waarschijnlijk de argumenten voor een mogelijke OP_CAT Soft Fork versterken. Chen zegt dat hij om de verifier te implementeren, een raamwerk van convenanten moest creëren dat CAT gebruikt. Dit kan worden gebruikt om de veelzijdigheid en flexibiliteit van de voorgestelde scriptverbeteringen aan te tonen. Chen gelooft dat andere ontwikkelaars met zijn code kunnen experimenteren om dezelfde conclusies te trekken als hij over de voordelen ervan.
“Ik denk niet dat er veel risico is als we eenmaal best practices hebben ontwikkeld. Er zijn niet zoveel plekken waar dit fout kan gaan. We hebben nu een duidelijk bewijs dat OP_CAT op een veilige manier kan worden aangepast aan verschillende covenant-projecten.”
De ontwikkelaar geeft toe dat hij niet genoeg weet over de open-source Bitcoin-ontwikkeling om een bijdrage te kunnen leveren aan de toekomstige activering. Hij zal de voortgang die hij heeft geboekt vervolgens delen met andere leden van de Bitcoin-ontwikkelingsmailinglijst, in de hoop dat anderen een beoordeling en feedback kunnen geven.
Chen, die terugblikt op zijn ervaringen tot nu toe in het Bitcoin-ecosysteem, benadrukt meteen het belang van het creëren van een omgeving die vruchtbaar is voor ontwikkelaars die nieuw zijn in het systeem. Vanwege het gebrek aan samenhang in de visie, gelooft hij dat er veel getalenteerde ontwikkelaars zijn die de kans om op Bitcoin te creëren, laten liggen.
“Er is op dit moment geen duidelijk gevoel van richting, waardoor bijdragers perplex staan over hun vermogen om de toekomst te beïnvloeden. Hopelijk kan de opkomst van nieuwe tools en primitieven deze situatie verbeteren, zodat Bitcoiners weer mogen dromen.”
“Dit artikel is geen financieel advies.”
“Doe altijd je eigen onderzoek voordat je een investering doet.”
“DagelijksCrypto is niet verantwoordelijk voor enige activiteiten die u buiten DagelijksCrypto uitvoert.”
Bron: bitcoinmagazine.com
