🧵 @Agglayer v0.3 je venku. Většina mostů se stále spoléhá na vibrace "prostě nám důvěřuj". Tato verze konečně převrací model: "Nevěřte mostu, ověřte si stav." Dovolte mi, abych vás provedl tím, co se změnilo a proč je to důležité 👇

Před verzí 0.3 se Agglayer zaměřoval hlavně na ověřování zpráv napříč řetězci – ne na to, co se dělo v rámci řetězců. Řekněme, že řetězec A pošle do řetězce B 100 USDC. Starý model pouze ověřil, že byla předána "zpráva pro odeslání 100 USDC". Ale neprokázalo to: - zda vám řetězec A skutečně odečetl 100 USDC z peněženky - nebo zda Chain B tokeny správně razil Důvěřovali jste sekvencerům nebo mosterní logice, že "udělají správnou věc". Ve verzi v0.3 přidává Agglayer úplné ověření těchto interních kroků. Kontroluje: - Přechod na stav v řetězci A byl platný (např. byl odečten zůstatek) - Že chování mostu a nárok na Chain B odpovídá tomu, co se skutečně stalo Už žádná slepá důvěra. Vše je nyní prokazatelné.

Agglayer v0.3 je hlavním upgradem pesimistického důkazu. Hlavní myšlenka? Řetězce nyní přikládají důkaz, který ukazuje, že správně dokončily svůj vlastní blok – na základě svých vlastních pravidel. Přemýšlejte o tom jako o #2FA pro osídlení: jedním faktorem je rozdíl ve stavu, druhým je důkaz, že blok byl postaven poctivě.

Zabezpečení Agglayer v0.3 je posíleno pomocí třístupňového postupu: 1️⃣ Důkaz přechodu stavu prokazuje svůj vlastní přechod stavu (pomocí zk důkazu nebo ECDSA) 2️⃣ Důkaz AggProver ověřuje důkaz přechodu stavu a omezení mostu (tj. výstupy, změny kořene) 3️⃣ Nakonec je celá věc znovu provedena. Díky tomu je celý systém ověřitelný a odolný proti neoprávněné manipulaci – žádné zkratky, žádné předpoklady důvěryhodnosti. Každý krok se provádí v zkVM, kde používáme @SuccinctLabs SP1! To jsou tři SP1 důkazy na závazek ke stavu řetězce! Trojitá důvěra! Je to bez důvěry, modulární a mnohem bezpečnější. Vysvětlíme si každou vrstvu jednu po druhé:

Krok 1 – Důkaz přechodu stavu Zde každý řetězec prokazuje, že jeho vlastní interní přechod stavu je platný. Pokud jste zk rollup, vygenerujete důkaz plné platnosti (např. Plonky2/3, STORK atd.). Pokud ne, můžete nový kořenový adresář státu podepsat pomocí protokolu ECDSA. Cíl zde: dokázat: "Zpracoval jsem tyto transakce a poctivě aktualizoval svůj stav." Výstup je důkazem místního stavu — o mostech zatím nic neříká, jen vnitřní korektnost.