Intervija ar StarkWare PM Gal Ron

Ethereum mērogošana neapšaubāmi ir bijusi viena no karstākajām tēmām pēdējo mēnešu laikā. Tīkla pāreja uz likmju pierādīšanas konsensa algoritmu 2022. gada septembrī bija milzīgs pavērsiens šajā ziņā, jo tas pavēra durvis daudzu dažādu mērogošanas risinājumu ieviešanai.

Kamēr Ethereum izstrādātāji strādā pie veidiem, kā sākotnēji mērogot tīklu, otrā slāņa risinājumu jauda tikai sāk izpausties.

Tādi jēdzieni kā nulles zināšanu pierādījumi tagad kļūst par praktisku realitāti, taču daudziem tās joprojām ir ļoti svešas idejas. Lai palīdzētu mums saprast vairāk par Ethereum mērogošanas nākotni, ir Gal Ron — produktu menedžeris un blokķēdes pētnieks uzņēmumā StarkWare — uzņēmums, kas galvenokārt koncentrējas tieši uz to.

Problēma ar Ethereum

pirms iedziļināmies dažās specifikās, ir svarīgi saprast, ko mērogošana Ethereum patiesībā nozīmē. Pēc Layman vārdiem, tas ir tīkla apstrādes iespēju paplašināšanas process, lai katrs tā mezgls varētu apstrādāt lielāku transakciju caurlaidspēju.

Ir šis teiciens, kas nosaka, ka ķēde ir tik spēcīga un spēcīga, cik stiprs ir tās vājākais posms. Tas ir tāpēc, ka ir jāpārtrauc tikai viens no posmiem, lai visa ķēde neizdosies. Tas arī ierobežo ķēdes izturību, jo tā var izturēt tikai tādu slodzi, kādu spēj izturēt tās vājākais posms – neatkarīgi no tā, cik stipras ir visas pārējās saites.

Tas pats attiecas uz Ethereum tā pašreizējā stāvoklī. Nepieciešamība pēc tā izriet no tā, ka Ethereum ir jāizpilda “uzticības” prasība.

Runājot par šo jautājumu, Rons paskaidro:

Lai izpildītu visus uzticamības pieņēmumus un prasības, visiem mezgliem (Ethereum) ir jādara tas pats. Pēc definīcijas tas ierobežo sistēmas caurlaidspēju, jo, ja mēs palielinātu TPS vai bloka lielumu virs noteikta sliekšņa, mēs sāktu novērst mazāko (lasīt: ar mazāku skaitļošanas jaudu) mezglu dalību.

Būtībā tas pēc definīcijas padara Ethereum ierobežotu.

StarkWare pieeja: kas ir ZK pierādījums?

Rons skaidro, ka ir dažas iespējas, kā risināt Ethereum ierobežojumu problēmas. Viens no tiem ir izdomāt kaut ko citu.

Tomēr StarkWare ir izvēlējusies atšķirīgu pieeju, proti, “noņemt Ethereum mērogošanu no Ethereum un neveidojot citu ķēdi”. Viņi to dara, izmantojot StarkNet un StarkEx, tāpēc apskatīsim.

StarkNet ir aprakstīts kā “bez atļaujas decentralizēts derīguma apkopojums, kas pazīstams arī kā a ZK-Apkopojums”. Tas darbojas kā L2 (otrais slānis) tīkls, izmantojot Ethereum, un tā mērķis ir ļaut jebkurai decentralizētai lietojumprogrammai (dApp) sasniegt neierobežotu mērogu tā aprēķināšanai. Tas tiek darīts, neupurējot galvenā slāņa - Ethereum - drošību un saliekamību, jo StarkNet paļaujas uz kriptogrāfiskās pārbaudes sistēmu, kas pazīstama kā STARK.

Šeit ir daudz ko izpakot, tāpēc sāksim ar nulles zināšanu pierādījumu jēdzienu.

“Izmantojot Ethereum, visiem mezgliem ir atkārtoti jāveic visi darījumi. Pirms ZK (nulles zināšanu) nebija cita veida, kā uzticēties, ka kāds cits veica aprēķinus godīgi. Ja esmu Ethereum mezgls, es redzu, kādi citi mezgli man ziņo par sistēmas stāvokli. Es nevaru viņiem uzticēties, izņemot tos pašus aprēķinus, kurus viņi tikko veica.

ZK burvība ir tāda, ka tas rada jaunu paradigmu uzticēties citām entītijām, neveicot atkārtoti veiktos aprēķinus. – Rons teica.

Būtībā ZK apkopojumi, piemēram, StarkNet, ievērojami samazina skaitļošanas darba apjomu, kas Ethereum mezgliem jāiegulda, tādējādi palielinot tīkla caurlaidspēju.

Tas viss tiek darīts, nezaudējot galvenā slāņa drošību. Lai to izdarītu, StarkWare izgudroja ZK-STARK, kas ļauj blokķēdēm pārvietot aprēķinus uz vienu ārpus ķēdes STARK pārbaudītāju un pēc tam pārbaudīt šo aprēķinu integritāti, izmantojot ķēdes STARK verificētāju.

Gal Ron paskaidroja, kā darbojas gan Prover, gan Sequencer, tāpēc, lai iegūtu sīkāku informāciju par to, lūdzu, skatiet iepriekš redzamo videoklipu.

Mēs arī sīkāk aplūkojam, kas īsti ir apkopojumi, kas ir StarkEx un kādi ir StarkWare nākotnes plāni.