Šī gada sākumā Weikeng Chen un viņa partneri riska uzņēmumā L2 Iterative nolēma pievērst uzmanību burbuļojošajai Bitcoin ekosistēmai. Čens, ķīniešu izcelsmes, bija pamanījis pieaugošo interesi par Bitcoin attīstību no vairākiem lieliem ieguves telpas dalībniekiem, kuri sāka atbalstīt dažādus projektus Ordinals un 2. slāņa telpā.
"Es nekad īsti neapzinājos, ka Bitcoin ir attīstības kopiena," viņš pusjokojoties saka.
Pagājušajā nedēļā viņa vadītā atvērtā pirmkoda iniciatīva ar infrastruktūras uzņēmuma Starkware sponsorēšanu ir panākusi pirmo nulles zināšanu verificētāja ieviešanu, izmantojot Bitcoin skriptu.
Nozarē, kurā nozīmīgi sasniegumi ir maz un tālu, tie, kas ir iesaistīti centienos, pārņem šī pavērsiena nozīmi. Viņi apgalvo, ka nulles zināšanu pierādījumi ir atslēga Bitcoin programmējamības atbloķēšanai un tās izmantošanas mērogošanai visā pasaulē.
Aiz šī sasnieguma slēpjas ārzemnieka ievērojamais ceļojums, kurš tikai pirms sešiem mēnešiem uzsāka Bitcoin izstrādi un tagad ir iekodējis, iespējams, vismodernāko programmatūru. Es intervēju Weikeng Chen, lai ienirt viņa motivācijā, viņa sadarbībā ar Starkware ap OP_CAT un STARKs, kā arī viņa perspektīvās par šo jauno Bitcoin attīstības laikmetu.
Sākot no nulles
Čens, kurš ir ieguvis doktora grādu UC Berkeley ar specializāciju kriptogrāfijā, paskaidroja, ka viņš sāka meklēt iespēju sniegt savas tehniskās prasmes nozarē, lai labāk pozicionētu savu uzņēmumu potenciālo investoru un uzņēmumu vidū. Neskatoties uz plašo inženierzinātņu pieredzi, viņš ātri saprata, ka resursi ir ierobežoti un mācību līkne bija stāva. "Daudzi materiāli ir novecojuši un neatspoguļo pašreizējo attīstības stāvokli," viņš atzīmēja. Viņa afinitāte pret nulles zināšanu tehnoloģiju galu galā lika viņam koncentrēties uz pētījumiem par Bitcoin spēju veikt aprēķinus, kas nepieciešami nulles zināšanu pierādījumu pārbaudei.
Kad viena truša bedre veda uz otru, viņa radars nonāca Robina Linusa darbs pie jaunās BitVM skaitļošanas paradigmas. Interesējies par krāpšanas pierādījumu izmantošanas potenciālu, lai ieviestu nulles zināšanu sistēmas, kas ir saderīgas ar Bitcoin, viņš sāka meklēt balto grāmatu un pamanīja dažas problēmas ar dažiem sistēmā iesaistītajiem jēdzieniem. “Es nosūtīju Robinam ziņojumu, uzdodot dažus jautājumus par BitVM. Mana izpratne par BitVM no šīs dokumentācijas patiešām bija nepareiza. Es atceros, ka Robina pirmā reakcija bija man jautāt, kas man to ir teicis, ”viņš smejoties atceras. Šī mijiedarbība izraisīja īsu, bet produktīvu sadarbību starp Chen, Linus un citiem pētniekiem, kad viņi atkārtoja sākotnējo ideju un meklēja veidus, kā to optimizēt.
"Man bija skaidrs, ka šo metodi var izmantot, lai pārbaudītu nulles zināšanu pierādījumu, tāpēc mans darbs ātri virzījās uz SNARK verificētāja ieviešanu."
Verifikators ir kriptogrāfijas rīks, kas ļauj pārbaudīt nulles zināšanu pierādījumus Bitcoin tīklā.
OP_CAT iespēja
Aptuveni tajā pašā laikā nulles zināšanu nozares giganta Starkware komanda pievērsa īpašu uzmanību jaunajai aktivitātei, kas nāk no Bitcoin kopienas. Dažiem tas bija ilgs laiks. Starkware dibinātājs Eli Ben-Sasson, iespējams, bija pirmā persona, kas agrīnā Bitcoin konferencē apsprieda nulles zināšanu tehnoloģiju kriptovalūtu kontekstā. Gandrīz desmit gadus vēlāk Starkware pētījumi un ZK-STARK tehnoloģija kalpo par pamatu arvien lielākam lietojumu skaitam kosmosā.
“2013. gadā, kad es ierosināju izmantot derīguma pierādījumus, lai palielinātu Bitcoin mērogošanu, es cerēju, ka Satoshi joprojām būs tuvumā un ļaus tam notikt ātrāk. Pateicoties tādiem kriptogrāfijas vizionāriem kā Veikengs Čens un Bitcoin OP_CAT pētnieki, piemēram, Endrjū Poelstra un Ītans Heilmans, mans 11 gadus vecais sapnis tagad šķiet sasniedzams,” komentēja Bens Sasons.
Pagājušajā mēnesī uzņēmums paziņoja, ka sāk īstenot daudzas iniciatīvas, kuru mērķis ir novērst tehnoloģiju plaisu starp Bitcoin un nulles zināšanu pierādījumiem. Tika piedāvāta $ 1 000 000 pieteikuma dotācija, lai pētītu un izpētītu OP_CAT mīkstās dakšas priekšlikuma potenciālu.
Paziņojums tika atzīmēts ar ievērojamu entuziasmu, liekot dažiem brīnīties, kas izraisīja šo optimismu. Līdz nesenam laikam Bitcoin bezzināšanu tehnoloģijas izredzes lielākoties bija pārdomas — vēl viens OP kods, kas, iespējams, nekad neredzēs dienas gaismu. Patiešām, grūtības panākt vienprātību par mazākām izmaiņām Bitcoin kodu bāzē lika šķist maz ticams, ka jebkad notiks kaut kas sarežģītāks.
Pamatojoties uz sarunām ar Starkware līdzstrādniekiem, tas bija aptuveni maijā, kad viņi uztvēra Weikeng progresu BitVM un noskaņojums krasi mainījās. Kā izrādījās, izstrādātājs jau bija pievērsis uzmanību uzņēmuma Circle STARKs tehnoloģijai. Pirms pāris mēnešiem publicētajā dokumentā Čens jau bija identificējis pēdējo kā "Bitcoin draudzīgu pārbaudes sistēmu".
Pēc zināma laika abas puses vienojās sanākt kopā un atbalstīt kopīgus centienus, kas veltīti STARK verificētāja atklātā pirmkoda ieviešanai, izmantojot OP_CAT primitīvu. "Es zināju, ka to var izdarīt. Mums vienkārši vajadzēja salikt visus gabalus kopā,” iesaka Čens. Radās “Bitcoin Wildlife Sanctuary”.
Divus mēnešus vēlāk projekts, šķiet, ir sasniedzis savu mērķi, pateicoties sadarbībai ar citiem izstrādātājiem, piemēram, Pingzhou Yuan, vēl viens agrīnais BitVM līdzstrādnieks. Pagājušās piektdienas vēlā rītā Čens iekļuva projekta Telegram grupā, lai citiem dalībniekiem paziņotu: “Es domāju, ka esmu pabeidzis darbu!”
Pēc veiksmīgiem vietējiem testiem izstrādātājs pārraidīja virkni darījumu uz Bitcoin Signet testnet tīklu, kas izpildītu visu skriptu. Lai optimizētu ķēdes izmantošanu, STARK pierādījums, kura pamatā ir Starkware atvērtā pirmkoda Stwo ieviešana, ir sadalīts vienlaicīgos darījumos, kas ir savienoti kopā, izmantojot OP_CAT balstītu līgumu.
2024. gada 12. jūlijā pulksten 6:29 tika apstiprināts galīgais darījums Signet tīklā, norādot, ka atbalstītāji uzskata, ka tas varētu būt jaunas Bitcoin attīstības ēras sākums.
"Tās bija milzīgas pūles un prasīja daudz laika," sacīja Čens. "Mēs sākām ar neko. Nav informācijas par ZK pierādījumiem par Bitcoin. Nav informācijas par matemātiskajām operācijām, kas jāievēro. Mums bija jāveido pilna steks, kas galu galā noveda pie STARK verificētāja ieviešanas.
Iedvesmojošs jaunam attīstības ceļam
Lai gan rezultāti ir pelnījuši svinības, Čens uzstāj, ka darbs nav paveikts. Jautāts, vai viņš ir optimistisks par savu darbu, radot pamatu jauniem mērogošanas protokoliem, piemēram, Bitcoin apkopojumiem, izstrādātājs ātri pārkāpa cerības.
“Ideja aptuveni darbojas, bet koncepcijas pierādījums nav gatavs ražošanai. Derīguma pierādījumi arī aizņem daudz vietas, kas nākotnē var izrādīties dārgi.
Starkware līdzstrādnieki atzīst gaidāmos izaicinājumus, taču ir pārliecināti, ka projekta panākumi ir “monumentāls lēciens uz priekšu” Bitcoin mērogošanas risinājumu virzienā, kas var izmantot viņu ZK apkopošanas tehnoloģiju.
Viena lieta ir droša, ka sadarbība, visticamāk, vēl vairāk nostiprinās argumentus par labu potenciālajai OP_CAT mīkstajai dakšai. Lai apkopotu verificētāja ieviešanu, Čens saka, ka viņam bija jāizstrādā uzticama ietvars līgumiem, izmantojot CAT, kas var kalpot, lai izceltu skripta uzlabošanas priekšlikuma daudzpusību. Viņš uzskata, ka citi ekosistēmas izstrādātāji var spēlēties ar viņa kodu un nonākt pie tāda paša secinājuma kā viņš par tā priekšrocībām.
“Es nedomāju, ka pastāv liels risks, ja esam izstrādājuši labāko praksi. Nav tik daudz vietu, kur tas notiks nepareizi. Tagad mums ir skaidrs pierādījums, ka OP_CAT var droši pielāgot dažādiem līguma projektiem.
Jautāts par viņa nodomu dot ieguldījumu turpmākajā aktivizācijas procesā, izstrādātājs viegli atzīst, ka viņš vēl nav pietiekami iepazinies ar visu Bitcoin atvērtā koda izstrādes dinamiku. Pēc tam viņš plāno dalīties savos panākumos ar izstrādes adresātu saraksta dalībniekiem un cer, ka citi varēs sniegt pārskatu un sniegt atsauksmes par viņa darbu.
Pārdomājot savu līdzšinējo pieredzi, Čens nekavējoties norāda, cik svarīgi ir radīt auglīgu vidi jaunajiem izstrādātājiem, kas ienāk ekosistēmā. Viņš uzskata, ka daudzi talantīgi izstrādātāji nodod iespēju balstīties uz Bitcoin, jo trūkst vienota redzējuma.
"Šobrīd nav skaidras virziena izjūtas, kas liek ieguldītājiem neizpratnē par viņu spēju ietekmēt nākotni. Cerams, ka jaunu rīku un primitīvu parādīšanās var uzlabot šo situāciju, lai Bitcoiners atkal varētu sapņot.
Avots: Bitcoin Magazine
Post The Zero-Knowledge Proof Ir Verified on Bitcoin Pirmo reizi vēsturē appeared first on Crypto Breaking News.