Autors: Ac-Core, YBB Capital pētnieks Tulkotājs: Golden Finance xiaozou
ETH galvenais stāstījuma virziens ir mainījies no L1 uz L2 Ja mēs to interpretējam arī kā ERC-20 stāstījumu par "žetonu izsniegšanu ar vienu klikšķi", tad mēs varētu arī nedaudz palielināt modeli un iedomāties traku nākotni. "viena klikšķa izdošanas ķēde"! Arbitrums ir balstīts uz to, ka neviens cits to nevar izdarīt! Arbitrum ar savu nepārspējamo ekosistēmu un augsto TVL ir bijis L2 konkurences ainavas līderis, taču vai šī pagaidu uzvara var ilgt ilgi? Atšķirībā no Arbitrum Orbit, cita L3 risinājuma, OP Stack ir "super ķēde", kas var izveidot L2 ar vienu klikšķi. Šajā rakstā tiks izmantotas trīs daļas, lai veiktu visaptverošu OP Stack, ZK elementu OP un Rollup drošības problēmu analīzi.
1. OP Stack atver "Superķēdes pasauli"
Kur sāksies stāstījums par nākamo buļļu tirgu? Vai tas sākas ar augstas veiktspējas L1, tīkla slāni L3, L2 ZK sistēmā vai OP Stack Superchain? Tas ir ļoti interesants un pārdomas rosinošs jautājums. Ether Killer tituls vienmēr ir bijis nepārvarams mērķis visām publiskajām ķēdēm, taču tajā ir paslēpti daudzi superkodoli, un OP Stack ir viens no tiem.
(1) Kas ir OP Stack?
OP Stack var saprast kā atvērtā pirmkoda programmatūras komponentu kopumu, kas ļauj ikvienam izveidot savu L2 blokķēdi vietnē Ethereum, izmantojot Optimisitc Rollup. OP Stack sastāv no četrām galvenajām sastāvdaļām:
Mainnet: OP Mainnet ir zemu izmaksu un ātrs Ethernet L2 tīkls, kas ir saderīgs ar Ethereum virtuālās mašīnas EVM.
Līgums: viedais līgums, kas ievieš OP Stack pamata loģiku un funkcijas. OP līgums ietver valsts pārejas sistēmu (STS) un valsts saistību ķēdi (Canonical Transaction Chain);
Pakalpojumi: pakalpojumi, kas nodrošina datu pieejamību, sinhronizāciju un saziņu starp L1 un L2.
Rīki: rīki, ko izmanto, lai atvieglotu uz OP Stack balstītu blokķēžu izstrādi, testēšanu, izvietošanu, uzraudzību un atkļūdošanu.
(2) Pirmās klases atklātība
OP Stack tiks veidota kā saliekama, modulāra un mērogojama blokķēdes infrastruktūra. Lai īstenotu šo vīziju, visi L2 veidi ir jāintegrē vienā superķēdē, integrējot atsevišķu L2 sadarbspējīgā kombinētā sistēmā, un L2 izlaišana būs tikpat vienkārša kā viedo līgumu izvietošana Ethereum jau šodien. Tas var pārveidot "viena klikšķa marķiera izsniegšanas" stāstījumu par "viena klikšķa ķēdes izsniegšanas" stāstījumu. Būtībā Hyperchain ir horizontāli mērogojams blokķēdes tīkls, kas koplieto ētera drošību, kā arī sakaru slāni un izstrādes rīkus.
OP Stack būs vienota moduļu izstrādes kopa aiz hiperķēdes un neskaitāmām savstarpēji savienotām un komunicējamām blokķēdēm. OP Stack izstrādā un uztur Optimism Collective, un tas atbalsta kopīgu atvērtā pirmkoda sistēmu jauniem konverģētajiem tīkla izvietojumiem. Tajā pašā laikā tas ir arī standartizētu atvērtā koda moduļu komplekts. Tas izklausās pēc Cosmos, kas pilnībā balstīts uz Ethereum drošību, taču tagad OP Stack ir kļuvis par Cosmos Killer, un ETH un ATOM komplementaritāte ir plaši zināma. Tālāk apskatīsim detalizēti OP Stack definīciju:
Moduļi ir datu biti, kurus jebkurš izstrādātājs var pievienot OP Stack. Superchain "standartizācija" nozīmē, ka pastāv vienprātība par moduļa standartu un ikviens var ieviest standartu. Tas ir arī pilnībā atvērts avots, kas nozīmē, ka ikviens var bez maksas izstrādāt iterācijas un nosūtīt izvilkšanas pieprasījumus. Izstrādātāji var pārslēgt moduļus starp dažādiem ķēdes izpildes, vienprātības, norēķinu un datu pieejamības slāņiem.
Tāpat kā dYdX izvēlējās atstāt Ethereum un pāriet uz Cosmos lietojumprogrammu ķēdi, galvenais iemesls ir tas, ka viņi vēlas lielāku modularitātes pakāpi savas ķēdes vienprātības slānī, kas, manuprāt, ir labs sākums, lai ļautu neatkarīgākiem dappiem. izstrādāta publiskā ķēde, no kurām slavenākā ir Luna, lai gan dažu iemeslu dēļ tā galu galā neizdevās. Par laimi, OP Stack atrisina šo problēmu, vienkāršāk izstrādājot dakšveida kodu, ļaujot izstrādātājiem viegli iegūt dažādus blokķēdes komponentus un modificēt tos, pievienojot dažādus moduļus.
(3) OP Stack dizaina princips
Efektivitāte: varat izmantot OPStack, lai izveidotu jebko un publicētu blokķēdi tikai ar vienu klikšķi;
Vienkāršība: izmantojiet atkārtoti lietojamu kodu un gatavus izstrādes rīkus, lai uzlabotu drošību un samazinātu apkopes sarežģītību, mazinot vispārējos šķēršļus;
Mērogojamība: Optimism Collective pilnībā atvērs OPStack galveno kodu.
Arhitektūras ziņā OPStack var iedalīt sešos slāņos no apakšas uz augšu, proti: DA (datu pieejamības) slānis, šķirošanas slānis, atvasināšanas slānis, izpildes slānis, norēķinu slānis un pārvaldības slānis. Katrs OP Stack slānis ir modulāra API, ko var apvienot un atsaistīt pēc vēlēšanās. Viskritiskākie ir DA slānis, izpildes slānis un norēķinu slānis, kas veido galveno OP Stack darbplūsmu.
DA slānis: datu pieejamības slānis ir sākotnējais OP Stack datu avots. Ievaddatu iegūšanai var izmantot vienu vai vairākus datu pieejamības moduļus. Pašlaik vissvarīgākais DA slānis ir Ethereum, taču nākotnē būs vēl vairāk.
Izpildes slānis: OP Stack stāvokļa struktūra nodrošina iespēju izmantot EVM vai izmantot citas virtuālās mašīnas, pievienojot atbalstu L2 transakcijām, kas uzsāktas Ethereum, vienlaikus palielinot Ethereum darījumu publicēšanas kopējās izmaksas par katru darījumu.
Norēķinu slānis: šis slānis apkopo L2 darījumu datus OP Stack un nosūta informāciju mērķa ķēdei pēc tam, kad L2 ir apstiprinājusi informāciju, lai pabeigtu norēķinu. Paredzams, ka nākotnē tai būs arī piekļuve ZK un citiem derīguma pārbaudes mehānismiem, lai pārvarētu plaisu starp dažādām ķēdēm un pat savienotu silosu salas starp OP sistēmu L2 un ZK sistēmu L2.
Spriežot pēc vairākiem projektiem ar ZK elementiem, ko OP atklāja nesen, mēs varam droši iedomāties, piemēram, ja Optimistic apkopojums vēlas pārveidoties par ZK apkopojumu, nav problēmu. Vienkārši nomainiet tā krāpšanas drošības moduli ar norēķinu slāņa derīguma pārbaudes moduli. Ja ķēde vēlas izmantot Celestia kā savu datu pieejamības slāni, nekādu problēmu! Aizstāt Ethereum ar Celestia. Ja vēlaties aizstāt EVM izpildes slānī ar cita veida virtuālo mašīnu, diemžēl tā ir tikai tehniska iespēja ar OP Stack. Šajā mega ķēdes scenārijā dzima karsta tendence - "Daudzstūris: es gribu būt ZK L2 kosmoss! Optimisms: es gribu būt OP L2 kosmoss! Cosmos: kas tad es esmu?"
(4) OP Steka likums
Ethereum neierobežotā bloka telpa ir galvenais solis ceļā uz masveida ieviešanu, taču tas rada arī sadrumstalotības problēmas un neatļauta izvietošana rada jaunus izaicinājumus. Šodien katra jaunā OP Stack ķēde pārvietojas savā orbītā bez tieša veida, kā dalīties ar standartiem un uzlabojumiem. Lietotāji un būvnieki arī saskaras ar milzīgu izaicinājumu: individuāli novērtēt daudzas dažādas ķēdes, pamatojoties uz drošību, kvalitāti un neitralitāti. Lai realizētu superķēdi, OP Stack ir jāpārveido no neatkarīgas, decentralizētas bloku telpas par vienotu ķēdes kolektīvu, kas kopā strādā pie atvērtas, decentralizētas bloku telpas. Ķēžu likums nosaka optimistiskas pārvaldības un superķēdes pamatprincipus. Optimistiskā pārvaldība pāriet no vienas ķēdes pārvaldības uz vienotu standartu, kas pārvalda vairākas ķēdes, tādējādi definējot īpašības, kas nepieciešamas, lai būtu daļa no superķēdes, vienlaikus nosakot prioritāti to lietotāju aizsardzībai, kuri veic darījumus superķēdē. Būtībā Ķēžu likums ir sociāls līgums (nevis juridisks līgums), tāpēc aktīvai diskusijai sabiedrībā ir izšķiroša nozīme. ” Ķēžu likums ļaus Superchain garantēt šādas īpašības:
Nodrošiniet, lai bloka telpa paliktu viendabīga, neitrāla un atvērta: apņemšanās ievērot ķēdes likumus nozīmē apņemšanos aizsargāt ķēdes lietotājus, izstrādātājus un citas ieinteresētās personas. Kā daļu no superķēdes jebkura izmēra ķēdes var atbalstīt Optimstic pārvaldība, lai ticami demonstrētu to bloku telpas viendabīgumu, neitralitāti un atvērtību.
Iegūstiet no nepārtrauktiem uzlabojumiem: koplietoti jauninājumi nozīmē, ka Hipersaitei vienmēr ir piekļuve labākajai tehnoloģijai, neuztraucoties par tās uzturēšanu pašam.
Labākas, pieejamākas infrastruktūras nodrošināšana: tā kā visas hiperķēdes ķēdes ir uzticami saistītas ar standartu, tās var strādāt kopā, lai nodrošinātu tādu galveno pakalpojumu kā indeksēšana un šķirošana pieejamību un cenas ziņā pieņemamu cenu.
(5) Vai OP Stack var atdot OP?
Kāda jēga no OP žetoniem, ja tie izmantos Bāzes ķēdes metodi un daļu ienākumu atdos kolektīvam Optimism, tad "kases" ienākumu avots paļausies uz savu "vērtību", paļaujoties uz vairāk radīšanu? naratīvi un galu galā atgriezeniskā saite uz Valūtas cena padara OP darbības loģiku otrreizējā tirgū līdzīgu ATOM, taču šī situācija var būt ideālākā situācija šobrīd Optimism Collective galu galā gūs labumu no vairāku ķēžu atgriezeniskās saites, par piemēru ņemot Basechain . Šī sajūta mums atgādina UNI, abām ir spēcīgas programmas, bet pašam žetonam nav citas vērtības izmantošanas, izņemot balsošanu un pārvaldību. Atšķirībā no centralizētās pasūtītāja problēmas, ar kuru pašlaik saskaras L2, pat ja L2 marķieri tiek izmantoti tikai kāda veida līderu atlasei (nevis vienprātīgai balsošanai), pasūtīšanas jaudas vērtība joprojām pieder Rullop marķieriem.
Tajā pašā laikā OP komanda 25. jūlijā nāca klajā ar Ķēdes likuma priekšlikumu. Visas ķēdes, kas izmanto OP Stack, ierosina kopīgu pārvaldības modeli un sekvencētāju, cerot standartizēt "peļņas atgriezeniskās saites" modeli un nodrošināt lielākus ieņēmumus visai OP sistēmai ( kā minēts iepriekš Kā aprakstīts rakstā OP Stack's Law), tas ir līdzvērtīgs Cosmos dalītās drošības modelim.
(6) Atšķirība starp OP Stack un ZK Stack
OP Stack: vairāku ķēžu viena atlase
No iepriekš minētā ir viegli saprast, ka OP Stack izmanto vairāku ķēžu modeli, kas ir līdzīgs Cosmos, taču ir tikai viena iespēja, jo OP Stack tiecas uz to, ka katrai ķēdei ir jāpārbauda citu ķēžu darījumi, pretējā gadījumā tai būs nepieciešams jāgaida vairākas sekundes L1. Rezultāti tiek parādīti vēlāk, tāpēc viens kopīgs pasūtītājs, centralizēta MEV izplatīšana un aizsardzība pret tiesību aktiem un pārvaldību ir vienīgās lietas, kas ļauj Optimistic apkopojumam nemanāmi sadarboties starp dažādām ķēdēm. Optimistisks apkopojums ir vienīgais veids, kā panākt vienmērīgu sadarbspēju starp dažādām ķēdēm.
ZK kaudze: vairākas ķēdes un vairākas atlases
Atšķirībā no OP Stack, ZK Stack var arī ķēdīt vairākus pavedienus, taču tam ir vairākas iespējas, var izvēlēties savu sekvencētāju, veikt MEV savā veidā, un to aizsargā matemātika un kods (piezīme: OP Stack ir aizsargāta ar fiat valūtas un pārvaldības aizsardzību. ). Tas ir tāpēc, ka, ja ZK izmanto noteiktus koplietotus pavedienus vai ļoti nelielu pavedienu kopu, viņi var uzticēties viens otram, pamatojoties tikai uz matemātiku, padarot nulles zināšanu pierādījumus nevērtīgus.
2. OP Stack ZK elements
OP Stack ir pilnībā atvērta arhitektūra, kas ļauj ekosistēmā izmantot zkvm, zkmips, zkwasm un zkevm, taču, salīdzinot ar "ortodoksālo ZK", OP Stack ir arī daži atšķirīgi ZK elementi. Mēs nevaram nedomāt, ka tuvākajā nākotnē varētu būt brīnišķīga saikne starp OP apkopošanu un ZK apkopošanu.
(1) Ieviest nulles zināšanu pierādījumu (ZKP) OP
Saskaņā ar jaunāko izstrādes statusu Mina komanda plāno izmantot savu plonk sistēmu + kzg apņemšanos + salokāmo algoritmu nova, lai ieviestu zkmips vm uz OP Stack. Lai gan šis ir tikai nesens priekšlikums un joprojām ir daudz nenobriedušu aspektu, to ir vērts izpētīt. Projekta komandas misija ir nodrošināt drošu, zema latentuma pārrobežu ķēdes komunikāciju starp L2, L1 un OP ķēdēm, izmantojot nulles indeksa pierādījumus. Šis ir nulles zināšanu pierādījums (ZKP) ar labi atbalstītu instrukciju kopas arhitektūru (ISA), kas pierāda Optimism kļūdu tolerantu programmu darbību, liekot pamatu jebkurai blokķēdes sistēmai, kuras pamatā ir OP Stack.
Šī uzdevuma veikšana ietver nulles zināšanu pārbaudes (ZKP) sistēmas ieviešanu, kas var pierādīt OP kļūdu pārbaudes programmas, izmantojot instrukciju kopas arhitektūru (ISA), ko atbalsta golang kompilators, piemēram, MIPS, RISC-V vai WASM. Turklāt pārbaudes sistēmai ir jāpierāda stāvokļa pāreja starp diviem standarta konfigurācijas OP Stack ķēdes blokiem, tādējādi pierādot, ka tā ir iespējama praksē. Papildus ISA standarta izpildes trasēšanas sertifikācijai kļūdu novēršanas procesu atbalsts ievieš arī citas prasības.
Konkrēti, programma Fault Proof ievieš iepriekš kartēta Oracle koncepciju, kas izmanto īpašu sistēmas izsaukumu, lai programmā ielādētu ārējos datus. Katrs kļūdainības drošs VM ir atbildīgs par mehānisma ieviešanu, ar kuru dažu datu jaucējfunkcija tiek saglabāta noteiktā vietā atmiņā un tiek izpildīta ar sistēmas izsaukumu, un pēc tam šī jaucējattēla priekšattēls tiek ielādēts atmiņā programmas lietošanai. Sākotnējai ievadei sāknēšanas ielādētājā tiek izmantoti arī iepriekš kartētie Oracle.
(2) Decentralizētas šķirošanas mēģinājums
Espresso Systems 2023. gada 21. jūlijā Twitter oficiāli paziņoja, ka priekšlikums izveidot decentralizētu šķirošanas verifikāciju OP Stack līdera ievēlēšanai ir pieņemts un ir kļuvis par ieguldījumu OP Stack un Superchain. Viens no projekta galvenajiem protokoliem HotShot ir ātrdarbīgs vienprātības protokols, ko var izmantot atkārtotai ieķīlāšanai, ļaujot Ethereum pārbaudītājiem piedalīties protokolā, lai sasniegtu tādu pašu mērogu kā Ethereum validatora komplekts. Projekts izstrādāja arī Espresso Sequencer, kas integrē pilnas funkcijas zk-rollup, jo īpaši Polygon zkEVM filiāli.
Kas ir līdera vēlēšanas?
Līdera ievēlēšana attiecas uz spēju sadalītā sistēmā izmantot dažādus līderus, kuri ir atbildīgi par nākamās kanoniskās valsts pārejas izveidi. Blokķēdē līdera vēlēšanas ļauj dažādiem bloku ražotājiem ģenerēt blokus dažādos laikos, un līdera vēlēšanu algoritms var būt konkurētspējīgs vai nekonkurējošs.
Darba pierādīšanas gadījumā konkurējošā līdera ievēlēšanas algoritms attiecas uz algoritmu, kurā daudzas potenciālās vienības sacenšas, lai vienlaikus kļūtu par līderi. Nekonkurējošo līderu vēlēšanu algoritms nozīmē, ka konkrētajā brīdī ir zināms tikai viens līderis Etera Gaspera gadījumā nekonkurējošo līderu vēlēšanu algoritms nozīmē, ka konkrētajā brīdī ir zināms tikai viens līderis. zināma vienība, un citai potenciālajai vienībai tajā laikā nevar kļūt par līderi.
Gadījumā, ja piedāvātāja tīkls tiek atdalīts no veidotāja tīkla (t.i., bloku veidotāju tīkls ir atbildīgs tikai par darījuma pasūtījuma izvēli, bet piedāvātāja tīkls ir atbildīgs tikai par bloku parakstīšanu). Tas pārveidos vienu entītiju, kas konkrētajā brīdī ir atbildīga par bloka ģenerēšanu, par daudzām iespējamām entītijām un ļaus tām konkurēt par tajā laikā ienesīgākajiem potenciālajiem blokiem veidotāju tīklā.
Mums ir grūti saprast līdera vēlēšanu mehānisma dažādās sekundārās sekas starp dažādām op-stack ķēdēm. Pašlaik līderu ievēlēšana ir vispopulārākais mehānisms, jo tas ļauj veikt decentralizētāku kārtību. Ņemiet vērā, ka tas arī negarantē, ka šķirotājs ir absolūti decentralizēts, tāpēc jāievēro piesardzība, apsverot decentralizētā šķirotāja problēmas.
3. Vai Rollup tiešām ir drošs?
(1) Ethereum tīkla darbības princips
Ethereum tīkla princips ir tāds, ka katrs mezgls saglabā un izpilda katru lietotāja iesniegto darījumu. Šī augsta līmeņa drošības metode arī ļoti sadārdzina visu tīklu, tāpēc ir nepieciešams paplašināt visa tīkla jaudu un pieņemt Rollup risinājums. Vienkārši sakot, apkopojums = līgumu kopa L1 + savs tīkla mezgls L2, tas ir, viedie līgumi ķēdē + ārpusķēdes apkopotājs, kas norēķiniem, vienprātībai un datu pieejamībai paļaujas uz Ethereum un ir atbildīgs tikai par Apkopojiet pašu izpildi.
Viedais līgums ķēdē parāda, ka tā uzticības modelis ir viedais līgums Ethereum, aizņemoties Ethereum drošību.
Ārpus ķēdes apkopotājs nozīmē, ka tas izpildīs un apkopos ārpus ķēdes veiktos darījumus, saspiedīs lielas darījumu partijas un galu galā ievietos tās Ethereum tīkla tīklā, tādējādi sasniedzot ātrākas un zemākas izmaksas.
L2 tīkla mezglos ir daudz komponentu, starp kuriem vissvarīgākais ir sekvencēra komponents. Tas ir atbildīgs par darījumu pieprasījumu saņemšanu L2, to izpildes secības noteikšanu un darījumu secības komplektēšanu piegādei Rollup projekta līgumam L1. Ir svarīgi atzīmēt, ka visi Ethereum L2 apkopotie pasūtītāji pašlaik ir centralizēti, kā parādīts tālāk esošajā attēlā.
(2) Centralizētā šķirotāja problēma
L2 pilnais mezgls var iegūt transakciju secību divos veidos: tieši no sekvencēra vai nolasot transakciju paketi (Batch), ko sekvencētājs nosūta uz L1, taču pēdējais ir vairāk nemodificēts. Tā kā transakcijas izpilde maina blokķēdes virsgrāmatas stāvokli, lai nodrošinātu konsekvenci, papildus darījuma secības iegūšanai L2 pilnajam mezglam ir jāsinhronizē arī virsgrāmatas stāvoklis ar sekvencētāju. Tāpēc sekvencēra uzdevums ir ne tikai nosūtīt transakciju pakotni uz L1 apkopojuma līgumu, bet arī nosūtīt stāvokļa atjaunināšanas rezultātu Stateroot/Statediff pēc darījuma izpildes uz L1. Vispārīgi runājot, sekvencēra uzdevums ir apstrādāt darījumus un blokķēdes blokiem pievienot darījumu secību. Tas ir atbildīgs par transakciju grupēšanu un transakciju publicēšanu L1 viedajā līgumā.
Pilnam L2 mezglam, ja vien tiek iegūta darījumu secība un sākotnējais apkopojuma statusa sakne L1, var atjaunot L2 blokķēdes virsgrāmatu un aprēķināt jaunāko Stateroot. Gluži pretēji, ja L2 paša pilnā mezgla aprēķinātais Stateroot nav saderīgs ar Stateroot, ko šķirotājs publicējis L1, tas nozīmē, ka šķirotājs ir pieļāvis krāpšanu. Tāpēc L1 ir decentralizētāks, neuzticamāks un drošāks nekā paša L2 tīkls.
(3) OP Steck
Tātad jautājums ir, vai L2 spēj viltot dažus neesošus vai nepareizus darījumus, piemēram, pārsūtīt marķiera līdzekļus no L2 uz sekvencēra palaidēja adresi un pēc tam pārsūtīt šos marķiera līdzekļus uz L1, lai nozagtu lietotāja līdzekļus? Atbilde ir: ja kāds to vēlas, tas ir pilnīgi iespējams. Tāpēc, saskaroties ar iespējamiem krāpšanas riskiem šķirotājā, dažāda veida apkopojumos tiek izmantotas dažādas atbildes metodes.
Kā piemēru ņemsim Optimistic Rollup, kas ļauj L2 pilnajiem mezgliem nodrošināt krāpšanas pierādījumus, kas pierāda, ka sekvencēra publicētie dati L1 ir nepareizi. Bet optimismam bez krāpšanas pierādījumiem, ja persona patiešām vēlas nozagt L2 lietotāja īpašumus, izmantojot sekvenceri, viņam tikai jāļauj sekvencēra izpildītājam viltot darījumu rīkojumus un pārsūtīt citu cilvēku aktīvus L2 uz savu adresi, un tad beidzot pārsūtīt nozagti marķieri uz L1, izmantojot apkopošanas tilta līgumu.
Lai atrisinātu šo iespējamo problēmu, pašreizējais risinājums ir paļauties uz kopienas locekļiem un sociālajiem medijiem, lai panāktu tā saukto "vienprātību", un paļauties uz OP kā oficiālu kredīta apstiprinājumu. Tāpēc rezumējot, OP apkopojuma drošība ir atkarīga vismaz no godīga L2 mezgla, kas var izdot krāpšanas pierādījumus, lai nodrošinātu, ka OP Stack ir vairāku ķēžu viena atlasīta, kā parādīts iepriekš "Atšķirība starp OP Stack un ZK Stack" ” daļa no satura.
(4) ZK kaudze
Izpētīsim ZK Stack ZK Rollup tīklā ir Prover mezgls, kas publicē transakciju pakotnes tieši sekvencerim un ģenerē derīguma sertifikātus. Šiem derīguma pierādījumiem ir īpaši verifikācijas līgumi L1. Tiklīdz transakcijas pakotne un tai atbilstošais Stateroot/Statediff pierādījums ir pārbaudīts validatora līgumā, darījums ir pabeigts. Atšķirība no OP Stack ir tāda, ka ne tikai paļaušanās uz L2 pilnajiem mezgliem, ZK Rollup izmanto arī derīguma pierādījumu, lai atrisinātu sekvencēra krāpšanas problēmu. ZK Rollup oficiālais tilts arī ļauj veikt tikai ar derīguma sertifikātiem pārbaudītus izņemšanas darījumus, kas acīmredzami ir daudz uzticamāks par Optimism, tas ir, ZK Stack ir vairāku ķēžu un vairāku ķēžu atlase, kā parādīts sadaļā "Atšķirība starp OP Stack un ZK Stack" sadaļā, kā norādīts saturā.
Teorētiski ZK Rollup drošību garantē L1 verificētāja līgums, vai arī darījuma galīgo apstiprinājumu pabeidz L1 mezgls. Salīdzinājumā ar OP Rollup drošību, kas vismaz paļaujas uz to, ka godīgs L2 mezgls spēj izdot krāpšanas pierādījumus, abi manto L1 (ETH) drošību, taču tas var nebūt tā vistiešākajā nozīmē, bet pagaidām tas ir optimālais. risinājumu, un, salīdzinot ar citām publiskajām ķēdēm, Ethereum ir pieredzējis tik daudzus attīstības gadus, un tā drošība neapšaubāmi ir visuzticamākā. Salīdzinot ar citām publiskajām ķēdēm, Ethereum neapšaubāmi ir uzticamākā un drošākā ķēde.
Tāpat kā blokķēdes trīsstūris, kopējā "produkta" lietotāju pieredzē, šķiet, ir drošības, vienkāršības un efektivitātes trīsstūris, un ZK Stack vairāk nekā OP Stack uzskata, ka paļaušanās uz matemātiku un kodu var uzlabot vispārējo drošību, tādējādi ievērojami palielinot vispārējo sarežģītību. Tātad ir arī dažas klišejas par ZK:
Latenta problēma: ZK Rollup ir jāatrisina arī L2 mezglu aizkaves problēma, kas publicē datus L1. Tāpat kā kastes ir jāsagatavo ekspressūtīšanai, katru reizi, kad sekvencētājs vai pārbaudītājs nosūta datus uz L1, ir fiksēta maksa. Lai samazinātu izmaksas, šķirotājs un pārbaudītājs mēģinās samazināt biežu datu izlaišanas skaitu L1, bet gaidīs, kamēr vienlaikus parādīsies liels datu apjoms, un pēc tam tos sapako kopā, lai tos atbrīvotu.
Ātruma problēma: ZK Rollup saskaras ar izaicinājumu lēnām ģenerēt derīguma pierādījumus. Lai gan sekvencētājs var izpildīt tūkstošiem darījumu 1 sekundē, šo darījumu derīguma pierādījumu ģenerēšana var aizņemt stundas. Lai atrisinātu šo problēmu, galvenais ZK Rollup tīkls izmanto novatorisku metodi: pierādījumu ģenerēšanas uzdevuma sadalīšana vairākos mazos uzdevumos, kurus paralēli apstrādā dažādi pārbaudītāja mezgli, kas ievērojami uzlabo pierādījumu ģenerēšanas ātrumu.
Izmaksu problēma: lai samazinātu kopējās izmaksas, daudzi ZK Rollup risinājumi izmanto stratēģiju "vairāku pierādījumu apkopošana un to nosūtīšana uz L1 uzreiz". Tas nozīmē, ka pārbaudītājs nesūtīs pierādījumus uz L1 uzreiz pēc tā ģenerēšanas, bet gaidīs, līdz tiks ģenerēti vairāki pierādījumi, un apkopos tos, lai nosūtītu tos uz L1 verificētāja līgumu. Izmantojot šo apkopojumu, pierādījums var ietvert un pārbaudīt skaitļošanas darbības, ko ģenerē vairāki pierādījumi, vēl vairāk samazinot kopējās datu izmaksas.
Darījumu apjoma problēma: ja nav uzsākts pietiekami daudz darījumu, sekvencētājs var aizkavēt datu publicēšanu L1. Piemēram, zemas tirgus aktivitātes periodos daži apkopojuma tīkli var nosūtīt tikai darījumu grupu uz L1 ik pēc pusstundas. Tomēr šo problēmu var efektīvi atrisināt dažās citās apkopošanas shēmās, piemēram, Starknet, kas samazina datu izmaksas, samazinot Statediff izlaidumu biežumu.
Attiecībā uz jautājumu par to, kas ir piemērotāks decentralizētais risinājums, modularitāte var būt labākais risinājums, jo modularitāte nozīmē lielāku pielāgošanu. Pašlaik ir pieejami pieci galvenie decentralizētie rīki.
Viens šķirotājs un POA
Pamatā apkopojums
DVT x sekvencētājs
Kopīgs šķirotājs
Ielādējiet jaunu šķirotāju komplektu
Mēs uzskatām, ka ne tikai nākotnē daudzas no iepriekš minētajām problēmām var tikt tālāk atrisinātas ar tehnoloģiju palīdzību. Piemēram, lai samazinātu derīguma pierādījumu ģenerēšanas laiku, Optimism sola tuvākajā laikā izlaist krāpšanas drošības sistēmu, un Ethereum Danksharding plāns arī ievērojami samazinās datu apkopošanas izmaksas, kā arī tiks pārvarēta decentralizētā šķirotāja problēma. Kopā tie nodrošinās efektīvus risinājumus iepriekš minētajām problēmām.
4. Kā attīstīsies stāstījums?
Hiperķēdes un superpaplašinājumi vienmēr ir bijuši paplašināšanās virzieni, kam visi pievērš uzmanību. Lai gan šie projekti joprojām ir attīstības sākumposmā, tie visi sniedz Ethereum spēcīgāku stāstījumu. Tagad mēs redzam, ka OP Stack ir vairāk pieņemts, un daudzas zvaigžņu publiskās ķēdes ir pievienojušās OP Stack, piemēram, Coinbase, opBNB, Zora, Worldcoin un daudzas citas publiskās ķēdes ir guvušas labus zīmolu apstiprinājumus OP Stack. Tostarp nesen, 26. jūnija vakarā, zkSync paziņoja par ZK Stack, moduļu atvērtā pirmkoda ietvaru, kas paredzēts pielāgotu ZK apkopojumu veidošanai, izlaišanu. Daudzi to uzskata arī par slepkavu lietojumprogrammu, ko zkSync komanda izmanto, lai tiktu galā ar pirmo OP Stack. Vienā pusē ir OP Stack, kam ir pirmā virzītāja priekšrocība, un otrā pusē ir ZK Stack, kam ir matemātiskas priekšrocības ko tu domā par šo karu bez šaujampulvera?