Cardano Leios prehaja iz prototipa v visoko zaupanja testiranje

Cardanov projekt Ouroboros Leios prehaja v zahtevnejšo fazo razvoja, kjer osrednje vprašanje ni več zgolj, ali lahko mreža poveča prepustnost, ampak ali je mogoče dokazati varnost tega povečanja v realnih omrežnih pogojih. Mesečni pregled Leios za maj 2026 se je osredotočil na napredek prototipa, podporo upravljanja, testiranje rdeče ekipe, stresne teste oddajanja transakcij in inženirsko delo, potrebno pred tem, da se Leios približa glavni mreži.

Leios je zasnovan kot protokol z visoko prepustnostjo za Cardano, ki povečuje transakcijsko zmogljivost ter hkrati ohranja varnost in združljivost ekosistema. Uradna posodobitev Cardano, objavljena v maju, je navedla, da je IOG predložil predlog zakladnice v višini ₳27,7 milijonov za razvoj Ouroboros Leios iz prototipa testne mreže do kandidata za izdajo na glavni mreži do konca leta 2026, s faznim ciljem prepustnosti od 10x do 65x.

Majski pregled dodaja bolj tehnično plast k temu načrtu. Ekipa je dejala, da je trenutni predlog za nadaljevanje dostave Leios proti glavni mreži bil izglasovan, ratificiran in bo kmalu izveden, pri čemer je podpora ocenjena na približno 88 %.

To uvršča Leios neposredno v proces upravljanja Cardano, kjer se morajo razvoj protokola, glasovanje DRep in zaupanje operaterjev premakniti skupaj.

Upravljanje sistema Cardano daje Leiosu pot do glavne mreže

Pregled je pokazal nenehen napredek pri prototipu Leios, vključno z vizualizacijo verige, logiko glasovanja in potekom certifikacije za bloki podprtega vozlišča. V predstavitvi so vozlišča proizvajala bloke, napovedovala potrditvene bloke, zbirala glasove in dosegla zahtevan prag za certifikacijo, preden so bile transakcije lahko odražene v stanju knjige.

Praktično gledano Leios dodaja novo plast dela okoli proizvodnje blokov. Namesto da bi se zanašali le na standardne bloke za prenos transakcijske obremenitve, omogočajo potrditveni bloki predlaganje večjih sklopov transakcij, glasovanje o njih in njihovo certificiranje. Ko je certifikat vključen, se lahko te transakcije izvršijo v stanju knjige.

Ekipa je prototipno delo povezala tudi z Dijkstra ero, BLS kriptografijo, registracijo ključev in prihodnjimi točkami integracije za implementacijo vozlišč. Ta razlika je pomembna, saj se prototip uporablja kot območje za staging in eksperimentiranje, ne kot koda, ki bi jo bilo mogoče enostavno prenesti v proizvodnjo brez nadaljnjega inženirskega dela. Pregled je jasno povedal, da je potrebno dodatno delo za implementacijo v produkcijskem razredu, preden se lahko Leios obravnava kot kandidat za nadgradnjo glavne mreže.

Za Cardano je to pomemben vidik upravljanja. Leios ni zgolj nadgradnja prepustnosti, ki se razvija izolirano. To je sprememba protokola, ki bo zahtevala tehnične dokaze, pripravljenost za implementacijo in dovolj zaupanja s strani operaterjev, ki bodo sčasoma namestili in zagnali programsko opremo.

Visoko zaupanjsko delo pri Leios uvaja testiranje rdeče ekipe

Najmočnejši del majskega pregleda je bil uvod v delo z visoko zaupanjsko delovno vejo. Ekipa je to uokvirila kot mejni dejavnik za Leios, ker morajo DReps najprej glasovati za trdo razvejitev (hard fork), nato pa morajo operaterji imeti dovolj zaupanja, da jo namestijo. Matematični dokazi in napredek pri razvoju sami po sebi ne zadostujejo. Mreža potrebuje tudi dokaze, da se zasnova obnaša varno, ko so pogoji sovražni ali nepopolni.

Zato je rdeča ekipa začela delati z Rust simulatorjem, ustvarjati orodja za namenske napade. Cilj je preveriti obstoječi model groženj s testiranjem, kako se Leios obnaša, kadar vozlišča odpovejo, nočejo sodelovati ali poskušajo motiti pričakovano vedenje. Ti scenariji naj bi bili testirani v simulatorju in kasneje na testnih mrežah.

Ključno orodje v tem procesu je Piranha, lahkotno vozlišče brez komponent knjige, vendar z realnim omrežnim in soglasnim vedenjem. Lahko komunicira preko mini-protokolov in ga je mogoče usmeriti, da se obnaša slabo, kar omogoča ekipi koordinacijo vzorcev odpovedi ali napada preko več vozlišč. To omogoča testiranje, kako se preostali del mreže odziva, ko nekateri udeleženci odstopajo od pričakovanega vedenja.

En zgodnji primer je bil scenarij lenega glasovalca, kjer član odbora, ki bi moral glasovati, tega ne stori. Ekipa je opisala tudi delo na scenarijih, ki vključujejo porazdelitvene okvare potrditvenih blokov in napade na več krogov, kjer lahko vozlišče pošlje različne informacije o potrditvenih blokih v različne smeri.

Tu se zgodba Leios postaja več kot zgolj napoved skaliranja. Projekt zdaj testira, ali lahko protokol ohrani varnost in obnovi predvidljivo vedenje, ko se uvedejo realni načini odpovedi. Za posodobitve soglasja, ki bi lahko preoblikovale prepustnost Cardano, je to delo enako pomembno kot cilj prepustnosti.

Stresni testi mempoola kažejo, kje je skaliranje Cardano težko

Pregled je pokazal tudi, da je nekaj najtežjega dela pri Leios zdaj v plasti mempoola, oddajanja transakcij in modeliranja omrežja. Stresni testi so uporabljali namenoma manj povezano topologijo z vozlišči, razporejenimi po Evropi, Združenih državah in azijsko-pacifiški regiji. Test je uporabil 25-megabajtni mempool in bil zasnovan za pritisk na oddajanje transakcij in vedenje mempoola.

Rezultati so pokazali jasne regionalne razlike. Evropska vozlišča, bližje nastavitvi releja, so svoje mempool napolnila hitreje. Vozlišča Združenih držav so potrebovala več časa, vendar so končno dosegla cilj. Vozlišča azijsko-pacifiške regije, z višjo zakasnitvijo, niso mogla v celoti napolniti svojih mempoolov na enak način.

Ta ugotovitev ne oslabi primera Leios. Identificira sloj, ki ga je treba izboljšati. Ekipa je dejala, da trenutni mempool ni optimiziran za to vrsto scenarija z visoko prepustnostjo, hkrati pa opozorila, da zmogljivost CPU ni bila glavna ozka grla v primerljivih benchmark pogojih. Izziv je način, kako so transakcije razpršene, validirane, ponovno validirane in povezane z različnimi stanji knjige.

Leios naredi ta problem bolj zapleten, saj mora sistem razmišljati o več kot enem stanju knjige. Transakcija, ki je veljavna v osnovnem stanju knjige, morda ni veljavna v stanju, ki ga razširi vključitev potrditvenega bloka, in obratno. To ustvarja odprta vprašanja pri načrtovanju, ali Leios potrebuje različne poglede mempoola, kako naj bi bili usklajeni ti pogledi in kako lahko kovanje blokov ostane dovolj hitro.

Ekipa je razpravljala tudi o problemu poznega pridružitelja. V predstavitvi lahko vsa vozlišča začnejo skupaj. Na pravi testni mreži ali glavni mreži se lahko vozlišča pridružijo pozno, izklopijo in se vrnejo po tem, ko so zamudila ključna sporočila. Predlagana rešitev omogoča vozlišču, ki je zamudilo ponudbo bloka Leios, da zahteva manjkajoče podatke potrditvenega bloka in se ujema s preostalim delom verige.

Modeliranje omrežja je bil še en pomemben del pregleda. Razprava je vključevala izbiro vrstnikov, pridobivanje potrditvenih blokov, povezave z visoko zakasnitvijo, počasno odzivno vedenje, modeliranje Delta Q in algoritme TCP strnitve, kot so Cubic, Reno in BBR. Podrobnosti so tehnične, vendar je sporočilo jasno: Leios se testira proti realnim omejitvam globalnega decentraliziranega omrežja, ne le proti čistim laboratorijskim predpostavkam.

Zato je majski pregled pomemben mejnik za Cardano. Leios se zdaj potiska skozi del razvoja protokola, ki je najpomembnejši pred trdo razvejitvijo, kjer morajo cilji prepustnosti preživeti zakasnitev, vsebinsko konkurenco, obnovitev vozlišč, sovražno vedenje in pregled upravljanja. Če bo projekt do konca leta 2026 dosegel kandidatno verzijo za glavno mrežo, vrednost ne bo le v večji zmogljivosti. Bilo bo v dokazih, da lahko Cardano izboljša svojo plast soglasja skozi proces, ki ga lahko neodvisno zaupajo operaterji, razvijalci in udeleženci v upravljanju.