🧵 @Agglayer v0.3 är ute. De flesta broar förlitar sig fortfarande på "lita bara på oss"-vibbar. Den här versionen vänder äntligen på modellen: "Lita inte på bron, verifiera tillståndet." Låt mig gå igenom vad som har förändrats och varför det är viktigt 👇

Före v0.3 fokuserade Agglayer mest på att verifiera meddelanden över kedjan – inte vad som hände inom kedjorna. Säg att kedja A skickar 100 USDC till kedja B. Den gamla modellen verifierade bara att "ett meddelande om att skicka 100 USDC" godkändes. Men det visade sig inte: - om kedja A faktiskt drog av 100 USDC från din plånbok - eller om kedja B har präglat tokens korrekt Du litade på att sequencers eller brygglogik skulle "göra det rätta". Med v0.3 lägger Agglayer till fullständig verifiering av dessa interna steg. Den kontrollerar: - Att tillståndsövergången på kedja A var giltig (t.ex. saldo drogs av) - Att brons beteende och anspråk på kedja B stämmer överens med vad som faktiskt hände Ingen mer blind tillit. Allt är bevisbart nu.

Agglayer v0.3 är en stor uppgradering av det pessimistiska beviset. Grundidén? Kedjor fäster nu ett bevis som visar att de har slutfört sitt eget block på rätt sätt – baserat på sina egna regler. Tänk på det som #2FA för bosättning: en faktor är delstatsdiffensen, den andra är beviset på att kvarteret byggdes ärligt.

Agglayer v0.3 säkerhet stärks via ett trestegsflöde: 1️⃣ Tillståndsövergångsbeviset bevisar sin egen tillståndsövergång (via zk-bevis eller ECDSA) 2️⃣ AggProver-beviset verifierar tillståndsövergångsbevis och bryggbegränsningar (dvs. utgångar, rotändringar) 3️⃣ Slutligen körs det hela igen. Detta gör hela systemet verifierbart och manipuleringssäkert – inga genvägar, inga förtroendeantaganden. Varje steg utförs i en zkVM, där vi använder @SuccinctLabs SP1! Det är tre SP1-bevis per åtagande om kedjetillstånd! Trippel förtroende! Det är pålitligt, modulärt och mycket säkrare. Låt oss förklara varje lager ett efter ett:

Steg 1 – Tillståndsövergångsbevis Det är här varje kedja bevisar att dess egen interna tillståndsövergång är giltig. Om du är en zk rollup genererar du ett fullständigt giltighetsbevis (t.ex. Plonky2/3, STARK, etc.). Om du inte är det kan du signera den nya tillståndsroten med hjälp av ECDSA. Målet här: bevisa "Jag behandlade dessa transaktioner och uppdaterade mitt tillstånd ärligt." Resultatet är ett bevis på det lokala tillståndet – det säger ännu ingenting om broar, bara intern korrekthet.