🧵 @Agglayer v0.3 on ulkona. Useimmat sillat luottavat edelleen "luota meihin" -tunnelmaan. Tämä julkaisu kääntää mallin vihdoin: "Älä luota siltaan, tarkista osavaltio." Anna minun opastaa sinut läpi, mikä muuttui ja miksi sillä on merkitystä 👇

Ennen versiota 0.3 Agglayer keskittyi enimmäkseen ketjujen välisten viestien tarkistamiseen – ei siihen, mitä ketjuissa tapahtui. Oletetaan, että ketju A lähettää 100 USDC:tä ketjuun B. Vanha malli vahvisti juuri, että "viesti 100 USDC:n lähettämisestä" välitettiin. Mutta se ei todistanut: - vähensikö ketju A lompakostasi 100 USDC:tä - tai onko ketju B lyönyt tokenit oikein Luotit sekvenssereihin tai siltalogiikkaan "tekemään oikein". Versiossa 0.3 Agglayer lisää näiden sisäisten vaiheiden täydellisen vahvistuksen. Se tarkistaa: - Ketjun A tilasiirtymä oli pätevä (esim. saldo vähennettiin) - Että sillan käyttäytyminen ja väite ketjussa B vastaa sitä, mitä todellisuudessa tapahtui Ei enää sokeaa luottamusta. Kaikki on nyt todistettavissa.

Agglayer v0.3 on merkittävä päivitys pessimistiseen todistukseen. Ydinidea? Ketjut liittävät nyt todisteen, joka osoittaa, että he ovat viimeistelleet oman lohkonsa oikein – omien sääntöjensä perusteella. Ajattele sitä kuin #2FA asutusta: yksi tekijä on osavaltion ero, toinen on todiste siitä, että kortteli on rakennettu rehellisesti.

Agglayer v0.3 -suojausta vahvistetaan kolmivaiheisella työnkululla: 1️⃣ Tilasiirtymätodistus todistaa oman tilasiirtymänsä (zk-todisteen tai ECDSA:n kautta) 2️⃣ AggProver-todistus todentaa tilasiirtymän varmistus- ja siltarajoitukset (esim. poistumiset, juurimuutokset) 3️⃣ Lopuksi koko juttu suoritetaan uudelleen. Tämä tekee koko järjestelmästä todennettavissa ja väärentämisen kestävän – ei oikoteitä eikä luottamusoletuksia. Jokainen vaihe suoritetaan zkVM:ssä, jossa käytämme @SuccinctLabs SP1:tä! Se on kolme SP1-todistetta ketjun osavaltion sitoumusta kohden! Kolminkertainen luottamus! Se on luotettava, modulaarinen ja paljon turvallisempi. Selitetään jokainen kerros yksitellen:

Vaihe 1 – Tilan siirtymätodistus Tässä jokainen ketju todistaa, että sen oma sisäinen tilasiirtymä on pätevä. Jos olet zk-rollup, luot täydellisen kelpoisuustodistuksen (esim. Plonky2/3, STARK jne.). Jos et ole, voit allekirjoittaa uuden tilajuuren ECDSA:n avulla. Tavoite tässä: todistaa: "Käsittelin nämä tapahtumat ja päivitin tilani rehellisesti." Tuotos on todiste paikallisesta valtiosta – se ei sano vielä mitään silloista, vain sisäisestä oikeellisuudesta.