Ukwenza kwe-Starknet's Cairo-native kusebenzisa ulimi lwayo lokuhlela lwangokwezifiso, i-Cairo, ukuze kukhuphule izinga, kunciphise izindleko, futhi kuthuthukiswe ukusebenza kwenkontileka ehlakaniphile. Kodwa-ke, izinselele zivela esidingweni sokwamukelwa okubanzi konjiniyela, ukuhambisana kwamathuluzi, nokulinganisa ukuqamba okusha nokufinyeleleka kuyo yonke i-ecosystem.
I-Starknet iyiphrothokholi ye-Ethereum Layer 2 (L2) esebenzisa i-cryptographic STARK (Izimpikiswano Ezingacacile Ezingacacile Zolwazi) ukuze inike amandla ukubala okuqinisekiswa esikalini. Njengamanye ama-blockchain e-L2, i-Starknet iyakwazi ukunikeza ukukala okunengqondo nokuvikeleka kwezentengiselwano ze-L2 kuyilapho ilondoloza ukuhlukaniswa.
Emgogodleni we-Starknet kukhona umshini we-Cairo virtual (VM), indawo yokusebenza eyakhelwe injongo eklanyelwe ukuthuthukisa amandla obufakazi be-cryptographic wama-STARKs. Ngokungafani namanye ama-VM, i-Starknet's Cairo VM iklanyelwe ukusebenzisa izinhlelo ezifakazelwayo—okwehlisa ukuphakama okuhlobene nokukhiqiza ubufakazi bokuqinisekisa ukubala. Lokhu kuvumela i-Starknet ukuthi icubungule inani elikhulu lemisebenzi ngenkathi igcina ukuqinisekiswa okungathembeki.
Sekushiwo lokho, isilinganiso sangempela sokusebenza kwe-Starknet—njengoba sitholwa ngabasebenzisi bokugcina—sincike ejubaneni lapho umlandeli wayo ecubungula khona ukuthengiselana futhi aqinisekise imiphumela yokwenziwa. Eyaziwa nangokuthi "iziqinisekiso ezithambile", ukuqinisekiswa komlandeli wempumelelo yokwenziwe (noma ukwehluleka) kuyasiza kubasebenzisi abazwela isikhathi abafuna ukugwema ukulinda ukuthengiselana kuqedwe ku-Ethereum L1 ngaphambi kokwazi isimo sokuthengiselana.
Njengoba injalo namuhla, ukusebenza kwe-Starknet kuncike kakhulu ekusebenzeni kahle kwesilandeleli. Umlandeleli unesibopho sokwamukela, ukuhlela, kanye nokuqinisekisa okwenziwayo ngaphambi kokuyithumela kwa-Ethereum ukuze iqinisekiswe okokugcina. Nakuba i-Starknet isebenzisa isilandeleli se-sequence esisodwa okwamanje, ihlela ukusabalalisa isilandeleli ukuze kube ngcono ukumelana nokucwaninga kanye nokubekezelela ukwehluleka okuphezulu (umlandeleli oyedwa ongaxhunyiwe ku-inthanethi akakwazi ukwehlisa inethiwekhi).
Ngomhla zingama-29 ku-Okthoba, i-Starknet yaqopha isilinganiso semisebenzi engu-127 ngomzuzwana (TPS) esikhathini esiqhubekayo samahora angama-24. Lokhu bekungelona nje inani eliphakeme lesikhathi esisodwa kodwa ingqopha-mlando eqhubekayo efinyelelwe phakathi nokusebenza okuvamile, okubonisa ikhono le-rollup lokusingatha amavolumu aphezulu okwenziwayo ngaphansi kwezimo zomhlaba wangempela. Eceleni kwale mpumelelo, ukusebenza kwe-Starknet kugqama ekuqinisekiseni ukuthengiselana okushesha umbani (isilinganiso esingaphansi kwemizuzwana emibili) kanye nezindleko eziphansi kakhulu ($ 0,002 ngomsebenzi ngamunye)—okukwenza kube yisixazululo esingabizi kakhulu nesisebenzayo sokukala i-Ethereum.
Ukugcina leli zinga lokusebenza kudinga ukuqamba okusha njalo, nokho, ikakhulukazi njengoba isidingo somsebenzisi sikhula. Kulapho izithuthukisi ezizayo ze-Starknet kumodeli yayo yokuqalisa ziqala khona ukusebenza, zethula ukulungiselelwa okungathembisi nje ukucubungula okwenziwayo okusheshayo kodwa nokusetshenziswa kwensiza ngokuphumelelayo. Lezi zenzakalo ziphawula isinyathelo esibalulekile sokuphakamisa indawo yokusebenza ye-Starknet ukuze kuhlangatshezwane nezidingo zesimiso sezinto eziphilayo esishintsha ngokushesha.
I-Starknet isivele yethule ukuthuthukiswa okuguquguqukayo ekwakhiweni kwayo ukuze kuthuthukiswe ukusebenza nokuqinisa i-UX (isb, ukwenza okufanayo kanye nokupakishwa kwebhulokhi ngokuthuthukiswa kwe-Bolt). Lezi zinto ezintsha zehlise kakhulu izikhathi zokucubungula umsebenzi kanye nezindleko zegesi ngokunika amandla isilandeleli ukuthi siphathe okwenziwayo ngokuphumelelayo. Ukuze ufunde kabanzi mayelana nokuthuthukiswa kwe-Bolt nokuthi ikuthuthukisa kanjani ukuqina kwe-Starknet, funda umchazi wethu we-Starknet Bolt .
Yakhela phezu kwalesi sisekelo, i-Starknet manje isigxile ekuthuthukiseni indawo yayo yokusebenza ne-Cairo-Native. Izithuthukisi ezizayo zizochaza kabusha indlela okwenziwa ngayo izinto, ukusuka ekulingiseni okusekelwe emshinini okubonakalayo kuye ekwenzeni okomdabu. Lezi zinguquko zithembisa intuthuko ebalulekile ekucubunguleni isivinini nokusebenza kahle kwensiza, ukuqinisekisa ukuthi i-Starknet ingakwazi ukuhlangabezana nezidingo ezikhulayo zabasebenzisi.
Esigabeni esilandelayo, sizobhekisisa indawo yokubulawa kwe-Starknet futhi singene sijule ekutheni i-Cairo VM kanye nezakhiwo ezibanzi zicatshangelwa kanjani kabusha ukuze kusekelwe isigaba esilandelayo sokuqina nokusebenza kahle. Ake sicwilise!
Isimo sokwenziwa kwe-Starknet siguquke kakhulu ngokuhamba kwesikhathi ukuze kuthuthukiswe ukusebenza nokuqinisekisa ukuphepha. Ekuqaleni, i-Starknet yayithembele epayipini eliqondile lapho ikhodi ye-Cairo yezinga eliphezulu yahlanganiswa ngokuqondile ku-CASM (Cairo Assembly) ukuze isetshenziswe. Ngenkathi le ndlela isebenza, ishiye inethiwekhi isengozini yokungasebenzi kahle kanye nezingozi zokuphepha. Isibonelo, ikhodi engavumelekile ayikwazanga ukuqinisekiswa, futhi isilandeli sequence sivezwe ekuhlaselweni okungaba khona kwe-DoS ngenxa yokuntuleka kwezivikelo ekubalweni kwegesi.
Ukuze kubhekwane nalezi zinkinga, ukuthuthukiswa kwe-Cairo 1.0 kwethule i-Sierra, i-intermediate representation (IR) ephoqelela ukuphepha ngokuklama. Igqugquzelwa izilimi ezifana ne-Rust, i-Sierra iqinisekisa ukuthi onjiniyela balandela amaphethini wokubhala amakhodi aqinile, basuse ngempumelelo amaphutha wesikhathi sokusebenza futhi bavumele ukubalwa kwegesi okunembile. Lokhu kuthuthukiswa sekuvele kubukhoma ku-mainnet ye-Starknet futhi kuphawula isinyathelo esibalulekile esibheke endaweni eqinile nevikelekile yokubulawa.
I-Cairo-Native yakhela phezu kwale nqubekelaphambili futhi ithuthukisa nakakhulu ukusebenza kwe-Starknet ngokuvumela ukubulawa komdabu. Ukwenziwa komdabu kuwukusuka kuphethini yangaphambilini yokwenziwa kwezinhlelo ku-Cairo VM futhi kumelela ukugxumela phambili okulandelayo mayelana nokusebenza kwe-Starknet.
Ngaphambilini, i-Starknet sequencer yenza izinhlelo isebenzisa umshini obonakalayo olingisa ikhodi, eyethula phezulu okubalulekile futhi yehlisa ukucutshungulwa kokwenziwe. Ukulingisa kulo mongo kuhlanganisa ukuhlela i-CPU ukuthi iziphathe njenge-Cairo CPU yasemcabangweni, ukuhumusha imiyalelo isinyathelo nesinyathelo. Nakuba isebenza, le nqubo ayisebenzi ngokwemvelo ngoba ivimbela i-CPU ekusebenziseni ngokugcwele amakhono ayo omdabu nezitayela zokwenza.
Ngokuphambene, ukwenza komdabu kuqeda lobu bunzima, okuvumela izinhlelo ukuthi zisebenze ngokuqondile kusistimu yokusebenza kusethi yemiyalo yomdabu ye-CPU. Lolu shintsho luthuthukisa kakhulu isivinini sokwenza nokusebenza kahle kwensiza, olwenza i-Starknet ikwazi ukucubungula okwenziwayo ngokushesha kunangaphambili.
Ukuze kuzuzwe lokhu, ukubulawa kwe-Cairo-Native kuhlanganisa ubuchwepheshe bokuhlanganisa obuthuthukisiwe obufana ne-MLIR ( I-Multi-Level Intermediate Representation ) kanye ne-LLVM ( Umshini Obonakalayo Wezinga Eliphansi ). Lawa mathuluzi asetshenziswa kakhulu ekuthuthukisweni kwesofthiwe yesimanje ukuze kuhlanganiswe ikhodi ibe yimiyalelo yezinga lomshini elungiselelwe.
I-Cairo-Native ithatha izinhlelo zase-Sierra futhi izihlele zibe ifomu elimaphakathi, i-MLIR, eliphinde livumele ukulungiselelwa okuyinkimbinkimbi, kuyilapho i-LLVM iqhubeka ihlanganisa lokhu kube okusebenzisekayo komdabu okuklanyelwe uhlelo lokusebenza oluyisisekelo. Le nqubo yokuhlanganisa izendlalelo ezimbili iqinisekisa ukuthi okusebenzisekayo okukhiqiziwe kuyashesha, kuyasebenza, futhi kulungele ukuqaliswa okuqondile ngaphandle kokunye okungaphezulu.
Umthelela walokhu kuthuthukiswa ekusebenzeni komlandeli (kanye nenethiwekhi ngokuvamile) ujulile:
Nakuba ukubulawa komdabu kuletha ukuthuthukiswa kwesivinini okuphawulekayo, ukukhathazeka okungokwemvelo kuphakama konjiniyela mayelana nokugeleza komsebenzi okukabili phakathi kwesilandeli sequence kanye ne-prover. Nakuba i-sequencer izuza ngokuqalisa ukuthengiselana kusetshenziswa ama-artifacts omdabu ukuze ijubane, i-prover isathembela ku-Cairo VM ukuze yenze ukuthengiselana ngesinyathelo ngesinyathelo, iqinisekise ukuthi ingafakazelwa kusiqinisekisi se-STARK sika-Ethereum.
I-CASM isasetshenziswa kule nqubo, njengoba iwukumelela okuqinisekiswe isiqinisekisi se-STARK ku-Ethereum. Lokhu okubili—ukwenza imisebenzi efanayo ngamasistimu amabili ahlukene—kungaphakamisa imibuzo efanelekile mayelana nokuvumelana nokunemba. Ngokukhethekile, singaqiniseka kanjani ukuthi imiphumela evela ekubulaweni komdabu kanye nokubulawa kwe-Cairo VM kuyohlale kufana?
Impendulo emfushane isekuhlolweni okuqinile nokuqinisekisa. Ngokukhethekile, ithimba le -LambdaClass lenze izivivinyo ezibanzi zokudlala futhi, inqubo lapho amabhulokhi e-Starknet omlando aphinda asetshenziswa ngaphansi kwesistimu entsha ukuze kuqinisekiswe ukuthi konke okwenziwayo kukhiqiza imiphumela efanayo.
Ukuhlolwa kwe-replay kuyindlela ebalulekile yokuqinisekisa ukuthi ngisho nezindlela ezimbili ezihlukene zokwenza, okuphumayo kuhlala kufana. Ngakho-ke abathuthukisi bangaqiniseka ukuthi le nqubo yokuqinisekisa ebanzi inciphisa kakhulu ubungozi bokungafani.
Ukwengeza, kubalulekile ukuqaphela ukuthi i-Starknet ibilokhu isebenza ngokugeleza okuhlukene okubili. Ngisho nangaphambi kwe-Cairo-Native, umlandeli we-sequence akazange athembele ngokugcwele ku-Cairo VM ngemisebenzi efana nama-syscalls noma ukufinyelela kwesifunda. Lezi bese zisingathwe ngendlela ehlukile, ne-prover egxile ekukhiqizeni ubufakazi be-cryptographic ukuze kuthuthukiswe isimo se-Starknet ku-Ethereum.
Ngalo mqondo, ukwethulwa kokubulawa komdabu kumelela ukuziphendukela kwemvelo-hhayi ukusuka-kusuka ekwakhiweni kwe-Starknet okusungulwe. Lokhu futhi kusho ukuthi onjiniyela kufanele babe nezinkinga ezimbalwa zokuklama izinhlelo zokusebenza ukuze zisebenze nemodeli entsha yokusa ye-Starknet.
Sekukonke, i-Cairo-Native ivula izinga elisha lokukala nesivinini se-Starknet. Ngokusuka ekulingiseni okususelwe ku-VM ukuya ekwenzeni okomdabu, inethiwekhi ingasekela abasebenzisi abaningi, iphathe amavolumu amakhulu okwenziwayo, futhi ilethe okuhlangenwe nakho okungenazihibe konjiniyela nabasebenzisi bokugcina ngokufanayo. Lolu shintsho luqinisa isikhundla se-Starknet njengesixazululo se-L2 esiholayo futhi sivula indlela yokusungula izinto ezintsha ku-Ethereum ecosystem.
I-Cairo-Native iphawula intuthuko enkulu endaweni yokubulawa kwe-Starknet—eletha ukusheshisa okuphawulekayo ngaphezu kwe-Cairo VM evamile. Ngokusebenzisa ama-benchmarks abanzi aqhutshwa yi-LambdaClass kanye ne-Nethermind, izinzuzo zokusebenza ezivela ekubulaweni komdabu zibaliwe, okugqamisa ikhono le-Cairo-Native lokuthuthukisa kakhulu isivinini sokwenziwe nenkontileka yokucubungula.
Amabhentshimakhi aveze ukuthi i-Cairo-Native ifinyelela isivinini esimaphakathi esingu-5x kune-Cairo VM, ngezinzuzo zokusebenza ezisuka ku-1.5x kuya ku-20x, kuye ngenkontileka ethile. Le miphumela ingaphezu nje kwezinombolo—ibonisa ukuthi ukwenza komdabu kubazuzisa kanjani abasebenzisi nonjiniyela.
Isibonelo, ukudluliswa okulula kwe-STRK phakathi kwama-akhawunti amabili we-Argent akuqedanga nje i-2.3x ngokushesha kodwa futhi kubonise ukusheshisa okungu-4.8x ku-ERC-20 yenkontileka ye-logic. Kubasebenzisi, lokhu kusho izikhathi zokulinda eziphansi zokuthenga nokusebenzisana okushelelayo nezinhlelo zokusebenza ezihlukaniselwe amazwe (dApps). Konjiniyela, lokhu kuthuthukiswa kuqinisekisa ukuthi izinhlelo zabo zokusebenza zisebenza ngokushesha nangokwethembeka, ngisho nangaphansi komthwalo osindayo wenethiwekhi.
Ezimweni ezinzima kakhulu ezifana nokushintshashintsha kwe-STRK/ETH noma izinhlelo zokusebenza zemidlalo ezifana ne -Influenceth , izinzuzo zibonakala nakakhulu. I-Influenceth transactions irekhode ukusheshisa kokwenziwe okungu-10.5x, okunye ukwenziwa kwenkontileka okuthuthukayo ngokufinyelela ku-70x. Le ntuthuko inika abathuthukisi amandla okwenza izinhlelo zokusebenza eziyinkimbinkimbi, ezisebenza kahle kakhulu, ezivula indlela yokuhlangenwe nakho okucebile kwemidlalo, izimiso ezithuthukisiwe ze-DeFi, namanye amacala okusebenzisa kakhulu
Ushintsho olusuka ekulingiseni luye ekwenzeni lwendabuko lusekela lezi ntuthuko. Ngokuhlanganisa izinhlelo ngokuqondile zibe ikhodi yomdabu emshinini, i-Cairo-Native iqeda ukungasebenzi kokulingisa imiyalo yase-Cairo, lapho i-CPU empeleni ilingisa enye i-CPU ebonakalayo. Ukwenza komdabu kuvumela ihadiwe ukuthi isebenze ngomthamo ogcwele, iletha ukuthuthukiswa kokusebenza okungenakuqhathaniswa kuzo zonke izinhlobo zokwenziwe.
I-Cairo-Native yethula ipayipi lokuhlanganisa elithuthuke kakhulu, lengeza izinyathelo ezimbalwa zokuhumusha ikhodi yesi-Sierra kube okusebenzisekayo komdabu. Lokhu kuhlanganisa izinqubo ezinjengokuguqula i-Sierra ibe yi-MLIR, ukwenza ikhodi ibe ngcono, futhi ekugcineni ihlanganiswe ibe imiyalelo yomdabu emshinini. Nakuba lo mzila wepayipi oyinkimbinkimbi ungase ubonakale sengathi uzokwandisa sonke isikhathi sokuhlanganiswa, amabhentshimakhi abonisa ukuthi izinyathelo ezengeziwe zifaka isandla esingaphansi kuka-15% wesikhathi esiphelele sokuhlanganiswa, okubonisa ukuthi inqubo ihlala isebenza kahle.
Futhi kufanelekile ukuqaphela ukuthi okusebenzisekayo komdabu kukhulu ngosayizi uma kuqhathaniswa nama-artifact e-CASM. Lokhu kwenyuka kubonisa imininingwane eyengeziwe kanye nokwenza kahle okudingekayo ukuze uthole ikhodi yomdabu kodwa akuthinti ukusebenza kwenethiwekhi. Okubalulekile, ukuhlanganiswa kwenziwa kanye kuphela, ngesikhathi inkontileka isetshenziswa kunethiwekhi, iqinisekisa ukuthi lesi sinyathelo asithinti ukusebenza kwesikhathi sangempela kwesilandeleli.
Imithelela ye-Cairo-Native ku-ecosystem ye-Starknet ifinyelela kude. Ngokunika amandla ukwenza umsebenzi osheshayo, osebenza kahle kakhulu, lokhu kuthuthukiswa kusethelwe ukuthuthukisa kakhulu umuzwa womsebenzisi wazo zonke izinhlelo zokusebenza kunethiwekhi. Njengoba inethiwekhi kulindeleke ukuthi iphathe cishe ukuthengiselana kwe-1000 ngomzuzwana (TPS) ekupheleni kuka-2024, i-Starknet izoba enye yamaketanga e-L2 ayingozi kakhulu futhi asabelayo ku-Ethereum ecosystem.
Kubasebenzisi, ukuthuthukiswa kwe-Cairo-Native kusho ukuqinisekiswa kokwenziwe okusheshayo ngisho nezindleko eziphansi. Ngesikhathi sokusebenza kwe-Starknet okuphula irekhodi ekuqaleni kwalo nyaka, izimali zegesi zilinganiselwa ku-$0.002 ngokuthengiselana ngakunye. Nge-Cairo-Native, lezi zindleko kulindeleke ukuthi zehle nakakhulu, ziqinise i-Starknet njengomunye wamanethiwekhi we-Layer-2 athengeka kakhulu.
Ukwethulwa kokubulawa kwe-Cairo-Native kuzophinde kubize kakhulu amacala okusebenzisa alandelayo:
I-Starknet isivele izuze amandla njengenkundla yemidlalo esekelwe ku-blockchain, futhi i-Cairo-Native ithatha lokhu ikubeke kwelinye izinga. Amageyimu afana ne-Influenceth , ethembele ekucabangeni okuyinkimbinkimbi nokusebenzisana okushesha kakhulu, azozuza kakhulu ekuthuthukisweni kwesivinini. Izikhathi zokusebenzisa ezisheshayo zinciphisa ukubambezeleka okungaphakathi kwegeyimu, okuvumela ukuzizwisa okushelelayo kwabadlali.
Onjiniyela bangakwazi futhi ukwethula izinsimbi zegeyimu eziyinkimbinkimbi, njengamakhono esikhathi sangempela wabadlali abaningi nokusebenzisana kwe-NFT okushukumisayo, ngaphandle kokukhathazeka mayelana nezingqinamba zokusebenza. Lokhu kungaletha isigaba esisha sezinhlelo zokusebenza zemidlalo ye-onchain umdlalo wazo ongaqhudelana nalowo wezimbangi zendabuko.
Izinkundla zokuxhumana ezihlukaniselwe indawo zidinga ukwenziwa kwezinto okuphezulu nokubambezeleka okuphansi ukuze kuqinisekiswe ukusebenzisana kwabasebenzisi okungenazihibe, njengokuthumela, ukubeka amazwana, nokuvota. Nge-Cairo-Native, lezi zingxenyekazi zingakhula ukuze zisekele izigidi zabasebenzisi, zinikeze okuphakelayo kwesikhathi sangempela nokusabela okusheshayo, okuqhudelana nokusebenza kozakwethu be-Web2 bendabuko. Izindleko eziphansi zegesi zithuthukisa ukufinyeleleka, zenze inkundla yezokuxhumana ehlukaniselwe indawo ibe enye indlela esebenza kangcono kunezinkundla ezimaphakathi kanye nokuzilungiselela ukutholwa okujwayelekile.
I-ecosystem ye-DeFi ku-Starknet izophinda ithole izinzuzo ze-Cairo-Native. Imisebenzi yezezimali eyinkimbinkimbi efana nokushintshashintsha, ukuboleka, kanye nokulima okuvuzayo kudinga ukusebenza okuphezulu nokunemba. Izikhathi zokusebenza ezisheshayo ziqinisekisa ukuthi ukuhweba nokuvalwa kwezimali kwenzeka ngesikhathi sangempela, kunciphisa ukushelela futhi kunikeze abasebenzisi imiphumela engcono. Ukwengeza, izimali eziphansi zegesi zivumela ukuthengiselana okuncane, okwenza izivumelwano ze-DeFi zifinyeleleke kalula kubabukeli ababanzi.
Ukubulawa komdabu wase-Cairo kuyingqopha-mlando kumephu yomgwaqo we-Starknet . Ngokwethula izinga elisha lokukhishwa, i-Starknet ayigcini nje ngokuqinisa isikhundla sayo njengenkundla ehamba phambili ye-Layer-2 kodwa futhi ibeka isibonelo se-Ethereum rollup ecosystem ebanzi. Ukuqamba okusha kwe-Starknet kukhombisa ukuthi ama-rollups angafinyelela kanjani ukulinganisa okungenakuqhathaniswa nokusebenza kahle, okusiza i-Ethereum isondele embonweni wayo wokwamukelwa ngobuningi kuyilapho igcina izimiso zayo zokuhlukaniswa nokuphepha.
I-Cairo-Native ihlinzeka onjiniyela ngendawo eqinile, esebenza kahle kakhulu esekela izinhlelo zokusebenza eziguqukayo nezintsha. Ngokunciphisa izikhathi zokusebenzisa kanye ne-overhead yensiza, onjiniyela bangagxila ekudaleni ukuzizwisa okucebile, okusebenzisanayo obekuvinjwe imikhawulo yenethiwekhi ngaphambilini.
Njengoba kuphawulwe ku-tweet , asekhona amandla okwenza okwengeziwe—okusho ukuthi ukusebenza kwe-Cairo-Native kungase kuqhubeke nokuba ngcono ngokuhamba kwesikhathi. Ngalo mqondo, ukuthuthukela ekubulaweni kwe-Cairo-Native kumele isinyathelo esibalulekile ekufezeni amandla aphelele e-Starknet njengenkundla esheshayo, eyingozi, nelungele unjiniyela kanye nokuthuthukisa amakhono obuchwepheshe bokugoqa kuyo yonke indawo ye-Ethereum.
Inguqulo yalesi sihloko ishicilelwe lapha ekuqaleni.