Cardano Leios modeli pronalaze izloženost MEV-u u samo 2,6% analiziranog volumena

Input Output Research predstavio je nove rezultate o sigurnosti i modeliranju performansi u pozadini Ouroboros Leios, predloženog Cardano Layer 1 protokola za skaliranje. Istraživač Giorgos Panagiotakos podijelio je rezultate tijekom Cardano R&D sesije 16. srpnja 2026.

Prezentacija je bila dio srednjegodišnjeg ažuriranja za WP1.1 Consensus, istraživački paket koji obuhvaća Leios za veći propusni kapacitet i Ouroboros Peras za brže potvrđivanje transakcija. Rad uključuje modeliranje mreže pod opterećenjem, formalnu sigurnosnu analizu, optimizaciju glasačkih certifikata i odabir parametara za inženjersku implementaciju.

Leios modeli pronalaze ograničenu izloženost MEV-u pod opterećenjem

Istraživački tim analizirao je kako bi veći transakcijski kapacitet planiran za Leios mogao utjecati na fragmentaciju mempoola, poredak transakcija i prilike za front-running.

MEV, odnosno maksimalno izdvojiva vrijednost, odnosi se na vrijednost koju je moguće uhvatiti mijenjanjem redoslijeda, uključenja ili isključenja transakcija prije potvrde. Front-running je jedan oblik MEV-a u kojem napadač promatra transakciju na čekanju i pokušava ispred nje smjestiti konkurentsku transakciju.

Prema prezentaciji Panagiotakosa, približno 2,6% volumena ispitanog u istraživanju bilo je potencijalno iskoristivo putem MEV-a. Front-running je u testiranim scenarijima općenito bio neisplativ, a rezultat je povezan s Cardano EUTXO arhitekturom i načinom na koji Leios raspodjeljuje obradu transakcija.

Procjena se odnosi na modele i uvjete uključene u istraživanje. Javna Post-CIP R&D otkrića podupiru širi zaključak da je samo dio transakcija podložan front-runningu, iako ne uključuju skup podataka ni izračun koji stoji iza brojke od 2,6%.

Javni nalazi također navode da veličina napadne površine ovisi o dizajnu pojedine decentralizirane aplikacije. Napad temeljen na mempoolu zahtijevao bi kontrolu nad relejnom infrastrukturom i sposobnost brzog konstruiranja konkurentske transakcije, dok bi vjerojatnost uspjeha proizvođača blokova bila proporcionalna njegovom ulogu.

Simulacije Leios mempoola utvrdile su da visoko povezana mrežna topologija Cardano podržava brzo širenje transakcija i ograničava fragmentaciju. Kada potražnja ostane unutar kapaciteta mreže, modeli bilježe globalnu sinkronizaciju mempoola iznad 90% i fragmentaciju ispod 10%. Pod većim opterećenjem, difuzija se može usporiti, a fragmentacija raste razmjerno opterećenju.

Markovljevi i resursni modeli usmjeravaju parametre Leiosa

Ouroboros Leios dizajniran je za povećanje propusnosti Cardano dopuštajući da rangirajući blokovi uključe certificirane reference na endorser blokove, koji predstavljaju veće skupove transakcija. O tim blokovima glasaju odbori prije nego što se njihovi certifikati mogu uvrstiti u knjigu.

Istraživanje uključuje Markovljev model koji procjenjuje vjerojatnost certificiranja endorser bloka kako se proizvode rangirajući blokovi. Prati proizvodnju blokova, dostupnost certifikata i je li prikupljeno dovoljno glasova prije sljedeće relevantne prilike za kovanje bloka.

Ti rezultati pomažu istraživačima procijeniti učinkovitost Leiosa i odabrati parametre protokola na temelju modeliranog ponašanja mreže.

Odvojeni model ograničenja mjeri zahtjeve za procesor i propusnost. Prema objavljenim nalazima, čekanje tijela transakcija i primjena transakcija na knjigu dva su najveća izvora kašnjenja. Provjera potpisa i izvođenje Plutusa manje su ograničavajući jer se velik dio tog posla može obavljati paralelno.

Modeli ukazuju da su tri CPU jezgre dovoljne za tipičan endorser blok od 12 MB. Napadač koji namjerno kasno objavljuje tijela transakcija mogao bi udvostručiti vršno opterećenje procesora.

Ti rezultati informiraju ograničenja uključujući maksimalan broj transakcija po endorser bloku, maksimalnu veličinu bloka i ograničenja izvođenja Plutusa. Ciljana propusnost i hardverski zahtjevi stoga se mogu procijeniti u odnosu na izmjereno ponašanje resursa prije odabira produkcijskih parametara.

Sigurnosni rad također uključuje modeliranje pravovremene difuzije endorser blokova u neprijateljskim uvjetima, formalne dokaze sigurnosnih i liveness svojstava u Agdi te verifikator tragova. Verifikator uspoređuje ponašanje implementacije s formalnom specifikacijom protokola kako bi identificirao odstupanja u generiranim blokovima, certifikatima i stanjima knjige.

Službeni Leios repozitorij sadrži formalnu specifikaciju, simulacije, vizualizatore mreže, analizu troškova i alate za verifikaciju tragova. Projekt sada kombinira istraživanje protokola s aktivnim dizajnom i prototipiranjem za buduće implementacije Cardano čvorova.

Novi glasački certifikati povezuju Leios i Peras

Input Output Research također razvija optimizirani dizajn glasačkih certifikata namijenjen i za Leios i za Peras. Ciljevi su smanjiti veličinu certifikata i promet glasanja uz poboljšanje otpornosti na snažnije neprijateljske modele.

U Leiosu certifikati potvrđuju da su endorser blokovi dobili potrebnu podršku odbora. U Perasu glasački certifikati podupiru block boosting, mehanizam koji daje dodatnu težinu dovoljno podržanom lancu i ubrzava potvrđivanje.

Dizajn se nadovezuje na raniji rad Input Output Research, uključujući Mithrilove višepotpise s pragom temeljene na udjelu i Fait Accompli pristup odabiru odbora. Znanstveni rad koji opisuje optimizirane certifikate planiran je za dovršetak do kraja 2026.

Plan istraživanja za drugu polovicu godine također uključuje tehničko izvješće o komponentama koje bi se mogle dijeliti između Leiosa i Perasa, uz zasebnu analizu pravovremene difuzije endorser blokova pod napadom. Andre Knispel, Brian Bush, Matthias Fitzi, William Wolff, Yves Hauser, David Rosales i Sandro Coretti-Drayton bili su među istraživačima identificiranima kao suradnici.

Tri planirana izlaza osigurat će inženjerskim timovima predloženi format certifikata, dokumentirane veze između Leiosa i Perasa te sigurnosni model za difuziju endorser blokova. Zajedno će definirati nekoliko parametara i neprijateljskih pretpostavki potrebnih za sljedeću fazu obje implementacije protokola.