🧵 @Agglayer v0.3 is uit. De meeste bruggen vertrouwen nog steeds op "vertrouw ons gewoon"-vibes. Deze release draait het model eindelijk om: "Vertrouw de brug niet, verifieer de staat." Laat me je laten zien wat er is veranderd en waarom het ertoe doet 👇

Vóór v0.3 richtte Agglayer zich vooral op het verifiëren van cross-chain berichten - niet op wat er binnen de ketens gebeurde. Stel dat Chain A 100 USDC naar Chain B stuurt. Het oude model heeft zojuist geverifieerd dat "een bericht om 100 USDC te verzenden" is doorgegeven. Maar het bewees niet: - of Chain A daadwerkelijk 100 USDC van je wallet heeft afgeschreven - of dat Chain B de tokens correct heeft geslagen Je vertrouwde op de sequencers of bridgelogica om 'het juiste te doen'. Met v0.3 voegt Agglayer volledige verificatie van die interne stappen toe. Het controleert: - Dat de toestandsovergang op keten A geldig was (bijv. saldo is afgetrokken) - Dat het bruggedrag en de claim op keten B overeenkomen met wat er werkelijk is gebeurd Geen blind vertrouwen meer. Alles is nu bewijsbaar.

Agglayer v0.3 is een grote upgrade van het pessimistische bewijs. Het kernidee? Ketens voegen nu een bewijs toe dat aantoont dat ze hun eigen blok correct hebben afgerond - op basis van hun eigen regels. Zie het als #2FA voor schikking: de ene factor is de state diff, de tweede is het bewijs dat het blok eerlijk is gebouwd.

De beveiliging van Agglayer v0.3 wordt versterkt via een stroom in drie stappen: 1️⃣ Het bewijs van de toestandsovergang bewijst zijn eigen toestandsovergang (via zk-bewijs of ECDSA) 2️⃣ Het AggProver-bewijs verifieert het bewijs van de toestandsovergang en de brugbeperkingen (d.w.z. uitgangen, rootwijzigingen) 3️⃣ Ten slotte wordt het hele ding opnieuw uitgevoerd. Dit maakt het hele systeem verifieerbaar en fraudebestendig - geen snelkoppelingen, geen aannames van vertrouwen. Elke stap wordt uitgevoerd in een zkVM, waarbij we gebruik maken van @SuccinctLabs SP1! Dat zijn drie SP1-bewijzen per ketenstaatverplichting! Driedubbel vertrouwen! Het is betrouwbaar, modulair en veel veiliger. Laten we elke laag één voor één uitleggen:

Stap 1 - Bewijs van toestandsovergang Dit is waar elke keten bewijst dat zijn eigen interne toestandsovergang geldig is. Als je een zk-rollup bent, genereer je een volledig geldigheidsbewijs (bijv. Plonky2/3, STARK, enz.). Als u dat niet bent, kunt u de nieuwe hoofdmap ondertekenen met ECDSA. Het doel hier: bewijzen "Ik heb deze transacties verwerkt en mijn status eerlijk bijgewerkt." De output is een bewijs van de lokale staat - het zegt nog niets over bruggen, alleen interne correctheid.