🧵 @Agglayer v0.3 er ute. De fleste broer er fortsatt avhengige av "bare stol på oss"-vibber. Denne utgivelsen snur endelig modellen: «Ikke stol på broen, bekreft staten.» La meg lede deg gjennom hva som endret seg og hvorfor det betyr noe 👇

Før v0.3 fokuserte Agglayer mest på å verifisere meldinger på tvers av kjeder - ikke hva som skjedde i kjedene. La oss si at kjede A sender 100 USDC til kjede B. Den gamle modellen bekreftet nettopp at "en melding om å sende 100 USDC" ble sendt. Men det beviste ikke: - om kjede A faktisk trakk 100 USDC fra lommeboken din - eller om kjede B preget tokenene riktig Du stolte på at sequencerne eller brologikken ville «gjøre det rette». Med v0.3 legger Agglayer til full verifisering av de interne trinnene. Den sjekker: - At tilstandsovergangen på kjede A var gyldig (f.eks. saldo ble trukket fra) - At broens oppførsel og påstand på kjede B samsvarer med det som faktisk skjedde Ikke mer blind tillit. Alt er beviselig nå.

Agglayer v0.3 er en stor oppgradering av det pessimistiske beviset. Kjerneideen? Kjeder legger nå ved et bevis som viser at de har fullført sin egen blokkering på riktig måte – basert på sine egne regler. Tenk på det som #2FA for bosetting: en faktor er statlig diff, den andre er beviset på at blokken ble ærlig bygget.

Agglayer v0.3-sikkerheten styrkes via en tre-trinns flyt: 1️⃣ Statsovergangsbeviset beviser sin egen tilstandsovergang (via zk-bevis eller ECDSA) 2️⃣ AggProver-beviset verifiserer tilstandsovergangsbevis og brobegrensninger (dvs. utganger, rotendringer) 3️⃣ Til slutt blir det hele utført på nytt. Dette gjør hele systemet verifiserbart og manipulasjonssikkert – ingen snarveier, ingen tillitsforutsetninger. Hvert trinn utføres i en zkVM, hvor vi bruker @SuccinctLabs SP1! Det er tre SP1-bevis per kjedestatsforpliktelse! Trippel tillit! Det er tillitsløst, modulært og mye sikrere. La oss forklare hvert lag ett etter ett:

Trinn 1 – Bevis på tilstandsovergang: Det er her hver kjede beviser at dens egen interne tilstandsovergang er gyldig. Hvis du er en zk rollup, genererer du et fullstendig gyldighetsbevis (f.eks. Hvis du ikke er det, kan du signere den nye tilstandsroten ved hjelp av ECDSA. Målet her: bevise "Jeg behandlet disse transaksjonene og oppdaterte staten min ærlig." Resultatet er et bevis på lokal tilstand - det sier ennå ingenting om broer, bare intern korrekthet.