La începutul acestui an, Weikeng Chen și partenerii săi de la firma de risc L2 Iterative au decis să-și îndrepte atenția asupra ecosistemului Bitcoin în plină experiență. Chen, originar din China, a observat interesul tot mai mare pentru dezvoltarea Bitcoin din partea mai multor actori mari din spațiul minier care au început să susțină diferite proiecte în spațiul Ordinals și layer 2.
„Nu mi-am dat seama niciodată că Bitcoin are o comunitate de dezvoltare”, spune el, pe jumătate în glumă.
Avanză rapid până săptămâna trecută, o inițiativă open-source condusă de el însuși, cu sponsorizarea companiei de infrastructură Starkware, a realizat prima implementare a unui verificator de cunoștințe zero folosind script Bitcoin.
Într-o industrie în care progresele semnificative sunt puține și îndepărtate, cei implicați în efort țâșnesc despre semnificația acestei etape. Dovezile cu cunoștințe zero, susțin ei, sunt cheia pentru a debloca programabilitatea Bitcoin și pentru a extinde utilizarea acestuia la nivel global.
În spatele acestei realizări se află călătoria remarcabilă a unui străin care a început dezvoltarea Bitcoin cu doar șase luni în urmă și acum a codificat, probabil, cea mai avansată bucată de software. L-am intervievat pe Weikeng Chen pentru a aprofunda motivațiile sale, colaborarea sa cu Starkware în jurul OP_CAT și STARK și perspectivele sale asupra acestei noi ere a dezvoltării Bitcoin.
Pornind de la zero
Absolvent de doctorat de la UC Berkeley cu o specializare în criptografie, Chen a explicat că a început să caute o oportunitate de a contribui cu abilitățile sale tehnice în industrie pentru a-și poziționa mai bine firma cu potențialii investitori și companii. În ciuda experienței sale extinse în inginerie, și-a dat seama rapid că resursele erau limitate și curba de învățare era abruptă. „O mare parte din materialul de acolo este depășit și nu reflectă starea actuală de dezvoltare”, a remarcat el. Afinitatea lui pentru tehnologia cu cunoștințe zero l-a determinat în cele din urmă să-și concentreze cercetările asupra capacității Bitcoin de a efectua calculele necesare pentru verificarea dovezilor cu cunoștințe zero.
Pe măsură ce o groapă de iepure a dus la alta, munca lui Robin Linus la noua paradigmă de calcul a BitVM a intrat pe radar. Interesat de potențialul de a folosi dovezile de fraudă pentru a implementa sisteme de zero cunoștințe compatibile cu Bitcoin, a început să cerceteze cartea albă și a observat câteva probleme cu unele dintre conceptele implicate în sistem. „I-am trimis un mesaj lui Robin punând câteva întrebări despre BitVM. Înțelegerea mea despre BitVM din acea carte albă a fost într-adevăr complet greșită. Îmi amintesc că prima reacție a lui Robin a fost să mă întrebe cine mi-a spus asta”, își amintește el râzând. Această interacțiune a declanșat o colaborare scurtă, dar productivă, între Chen, Linus și alți cercetători, în timp ce au repetat ideea originală și au căutat modalități de a o optimiza.
„Pentru mine era evident că această metodă ar putea fi folosită pentru a verifica dovezile de zero cunoștințe, așa că munca mea a mers rapid în direcția implementării unui verificator SNARK.”
Un verificator este un instrument criptografic care permite verificarea dovezilor fără cunoștințe în rețeaua Bitcoin.
Oportunitatea OP_CAT
Aproximativ în același timp, o echipă a gigantului industriei fără cunoștințe Starkware acorda o atenție deosebită activității emergente care iese din comunitatea Bitcoin. Pentru unii, a trecut mult timp. Fondatorul Starkware, Eli Ben-Sasson, a fost probabil prima persoană care a discutat despre tehnologia fără cunoștințe în contextul criptomonedelor la o conferință timpurie despre Bitcoin. Aproape un deceniu mai târziu, cercetarea Starkware și tehnologia ZK-STARK servesc drept fundament pentru un număr tot mai mare de aplicații în spațiu.
„În 2013, când am sugerat să folosim dovezi de validitate pentru a scala Bitcoin, speram că Satoshi ar putea fi încă prin preajmă și va face ca acest lucru să se întâmple mai repede. Datorită vizionarilor criptografiei precum Weikeng Chen și cercetătorilor Bitcoin OP_CAT precum Andrew Poelstra și Ethan Heilman, visul meu de 11 ani se simte acum la îndemână”, a comentat Ben-Sasson.
Luna trecută, compania a anunțat că începe implementarea a numeroase inițiative axate pe reducerea decalajului tehnologic dintre Bitcoin și dovezile cu cunoștințe zero. A fost oferită o subvenție de aplicare în valoare de 1.000.000 USD pentru cercetarea și explorarea potențialului propunerii OP_CAT soft furk.
Anunțul a fost marcat de un entuziasm notabil, lăsându-i pe unii să se întrebe ce a determinat acest optimism. Până de curând, perspectivele tehnologiei fără cunoștințe pe Bitcoin au fost în mare parte o gândire ulterioară - un alt cod OP care s-ar putea să nu vadă niciodată lumina zilei. Într-adevăr, dificultatea de a obține un consens asupra modificărilor mai mici ale bazei de cod Bitcoin a făcut să pară puțin probabil să se întâmple ceva mai complex.
Pe baza conversațiilor cu colaboratorii Starkware, a fost în jurul lunii mai când au aflat progresul lui Weikeng pe BitVM și starea de spirit s-a schimbat dramatic. După cum se va dovedi, dezvoltatorul și-a pus deja ochii pe tehnologia Circle STARKs a companiei. Într-o lucrare publicată în urmă cu câteva luni, Chen îl identificase deja pe acesta din urmă drept un „sistem de dovezi prietenos cu Bitcoin”.
După câteva dus-întors, ambele părți au convenit să se unească și să susțină un efort comun dedicat unei implementări open-source a unui verificator STARK folosind primitiva OP_CAT. „Știam că se poate face. Trebuia doar să punem toate piesele împreună”, sugerează Chen. S-a născut „Bitcoin Wildlife Sanctuary”.
Două luni mai târziu, proiectul pare să-și fi atins obiectivul datorită colaborării altor dezvoltatori precum Pingzhou Yuan, un alt colaborator BitVM timpuriu. Vinerea trecută, în dimineața târziu, Chen a sărit în grupul Telegram al proiectului pentru a da vestea altor participanți: „Cred că am terminat treaba!”
În urma testelor locale de succes, dezvoltatorul a difuzat o serie de tranzacții către rețeaua de testare Signet a Bitcoin, care ar executa întregul script. Pentru a optimiza utilizarea în lanț, dovada STARK, bazată pe implementarea Stwo open-source de la Starkware, este împărțită în tranzacții concurente înlănțuite folosind un acord bazat pe OP_CAT.
La 6:29 AM pe 12 iulie 2024, tranzacția finală a fost confirmată pe rețeaua Signet, semnalând ceea ce susținătorii cred că ar putea fi începutul unei noi ere a dezvoltării Bitcoin.
„Acesta a fost un efort extraordinar și a luat o cantitate semnificativă de timp”, a spus Chen. „Am început cu nimic. Nu există informații despre dovezile ZK pe Bitcoin. Nu există informații despre operațiile matematice de urmat. A trebuit să construim întregul stack, ceea ce a condus în cele din urmă la implementarea verificatorului STARK.”
Inspirând o nouă cale de dezvoltare
Deși rezultatele merită să fie sărbătorite, Chen insistă că treaba nu este făcută. Întrebat dacă a fost optimist cu privire la munca sa de a crea fundația pentru noi protocoale de scalare, cum ar fi rollup-uri pe Bitcoin, dezvoltatorul a fost rapid să modifice așteptările.
„Ideea funcționează aproximativ, dar dovada de concept nu este pregătită pentru producție. Dovezile de valabilitate ocupă, de asemenea, mult spațiu de bloc, care s-ar putea dovedi a fi costisitoare în viitor.”
Colaboratorii de la Starkware recunosc provocările care urmează, dar sunt încrezători că succesul proiectului reprezintă „un salt înainte monumental” către soluții de scalare Bitcoin care pot folosi tehnologia lor ZK rollup.
Un lucru este sigur, este posibil ca colaborarea să întărească și mai mult argumentele în favoarea unui potențial soft furk OP_CAT. Pentru a pune la punct implementarea verificatorului, Chen spune că a trebuit să dezvolte un cadru de încredere pentru convenții folosind CAT, care poate servi la evidențierea versatilității propunerii de îmbunătățire a scriptului. El crede că alți dezvoltatori din ecosistem se pot juca cu codul său și pot ajunge la aceeași concluzie pe care a făcut-o cu privire la beneficiile acestuia.
„Nu cred că există prea multe riscuri odată ce am dezvoltat cele mai bune practici. Nu există atât de multe locuri în care acest lucru va merge prost. Acum avem o demonstrație clară că OP_CAT poate fi adaptat la diferite proiecte de acord într-un mod sigur.”
Când a fost întrebat despre intenția sa de a contribui la un viitor proces de activare, dezvoltatorul recunoaște cu ușurință că nu este încă suficient de familiarizat cu toate dinamicele din jurul dezvoltării Bitcoin open-source. În continuare, el intenționează să împărtășească progresul său cu membrii listei de corespondență de dezvoltare și speră că alții vor putea contribui la recenzie și să ofere feedback cu privire la munca sa.
Reflectând la experiența sa de până acum, Chen subliniază imediat importanța creării unui mediu fertil pentru noii dezvoltatori care intră în ecosistem. El crede că mulți dezvoltatori talentați transmit oportunitatea de a construi pe Bitcoin din cauza lipsei unei viziuni coezive.
„Nu există un sentiment clar de direcție în acest moment, ceea ce îi lasă pe contribuitori perplexi cu privire la capacitatea lor de a avea un impact asupra viitorului. Sperăm că apariția de noi instrumente și primitive poate îmbunătăți această situație, astfel încât Bitcoinilor li se permite să viseze din nou.”
Sursa: Bitcoin Magazine
Postarea O dovadă a cunoștințelor zero este verificată pe Bitcoin pentru prima dată în istorie a apărut mai întâi pe Crypto Breaking News.