🧵 @Agglayer v0.3 a fost lansată. Majoritatea podurilor încă se bazează pe vibrații de tipul "ai încredere în noi". Această versiune răstoarnă în sfârșit modelul: "Nu aveți încredere în pod, verificați statul." Permiteți-mi să vă explic ce s-a schimbat și de ce contează 👇

Înainte de v0.3, Agglayer se concentra mai ales pe verificarea mesajelor cross-chain - nu pe ceea ce se întâmpla în lanțuri. Să spunem că lanțul A trimite 100 USDC către lanțul B. Vechiul model tocmai a verificat că a fost trecut "un mesaj pentru a trimite 100 USDC". Dar nu s-a dovedit: - dacă Lanțul A a dedus efectiv 100 USDC din portofel - sau dacă Lanțul B a bătut corect jetoanele Aveai încredere în secvențiere sau în logica podului pentru a "face ceea ce trebuie". Cu v0.3, Agglayer adaugă verificarea completă a acestor pași interni. Acesta verifică: - Că tranziția de stare pe lanțul A a fost validă (de exemplu, soldul a fost dedus) - Că comportamentul podului și afirmația de pe lanțul B se potrivesc cu ceea ce s-a întâmplat de fapt Gata cu încrederea oarbă. Totul este demonstrabil acum.

Agglayer v0.3 este o actualizare majoră a dovezii pesimiste. Ideea de bază? Lanțurile atașează acum o dovadă care arată că și-au finalizat corect propriul bloc - pe baza propriilor reguli. Gândiți-vă la asta ca la #2FA pentru așezare: un factor este diferența de stat, al doilea este dovada că blocul a fost construit onest.

Securitatea Agglayer v0.3 este consolidată printr-un flux în trei pași: 1️⃣ Dovada tranziției de stat dovedește propria tranziție de stat (prin zk proof sau ECDSA) 2️⃣ Dovada AggProver verifică proba tranziției de stare și constrângerile de punte (adică ieșiri, modificări de rădăcină) 3️⃣ În cele din urmă, totul este reexecutat. Acest lucru face ca întregul sistem să fie verificabil și rezistent la manipulare - fără scurtături, fără presupuneri de încredere. Fiecare pas este executat într-un zkVM, unde folosim @SuccinctLabs SP1! Asta înseamnă trei dovezi SP1 pe angajament de stare în lanț! Încredere triplă! Este fără încredere, modular și mult mai sigur. Să explicăm fiecare strat unul câte unul:

Pasul 1 - Dovada tranziției de stare Acesta este locul în care fiecare lanț dovedește că propria tranziție internă de stare este validă. Dacă sunteți un zk rollup, generați o dovadă completă a validității (de exemplu, Plonky2/3, STARK etc.). Dacă nu sunteți, puteți semna noua rădăcină de stare folosind ECDSA. Scopul aici: dovedește "Am procesat aceste tranzacții și mi-am actualizat starea onest". Rezultatul este o dovadă a stării locale – nu spune încă nimic despre poduri, ci doar corectitudine internă.