🧵 @Agglayer v0.3 foi lançada. A maioria das pontes ainda depende de vibrações de "apenas confie em nós". Esta versão finalmente inverte o modelo: "Não confie na ponte, verifique o estado." Deixe-me explicar o que mudou e por que isso é importante 👇

Antes da v0.3, o Agglayer se concentrava principalmente na verificação de mensagens cross-chain - não no que acontecia dentro das cadeias. Digamos que a Cadeia A envie 100 USDC para a Cadeia B. O modelo antigo apenas verificava que "uma mensagem para enviar 100 USDC" foi aprovada. Mas não provou: - se a Cadeia A realmente deduziu 100 USDC da sua carteira - ou se a Cadeia B cunhou corretamente os tokens Você estava confiando nos sequenciadores ou na lógica da ponte para "fazer a coisa certa". Com a v0.3, o Agglayer adiciona verificação completa dessas etapas internas. Verifica: - Que a transição de estado na Cadeia A foi válida (por exemplo, o saldo foi deduzido) - Que o comportamento da ponte e a reivindicação na Cadeia B correspondem ao que realmente aconteceu Chega de confiança cega. Tudo é provável agora.

Agglayer v0.3 é uma grande atualização para a prova pessimista. A ideia central? As redes agora anexam uma prova que mostra que finalizaram corretamente seu próprio bloqueio - com base em suas próprias regras. Pense nisso como #2FA para liquidação: um fator é a diferença de estado, o segundo é a prova de que o bloco foi construído honestamente.

A segurança do Agglayer v0.3 é reforçada por meio de um fluxo de três etapas: 1️⃣ A prova de transição de estado prova sua própria transição de estado (via prova zk ou ECDSA) 2️⃣ A prova AggProver verifica a prova de transição de estado e as restrições da ponte (ou seja, saídas, alterações de raiz) 3️⃣ Finalmente, a coisa toda é reexecutada. Isso torna todo o sistema verificável e inviolável - sem atalhos, sem suposições de confiança. Cada etapa é executada em um zkVM, onde usamos @SuccinctLabs SP1! São três SP1 Proofs por compromisso de estado da cadeia! Confiança tripla! É confiável, modular e muito mais seguro. Vamos explicar cada camada uma a uma:

Passo 1 - Prova de transição de estado É aqui que cada cadeia prova que sua própria transição de estado interno é válida. Se você é um zk rollup, você gera uma prova de validade completa (por exemplo, Plonky2/3, STARK, etc). Se não estiver, você pode assinar a nova raiz de estado usando ECDSA. O objetivo aqui: provar "Eu processei essas transações e atualizei meu estado honestamente". A saída é uma prova do estado local - ainda não diz nada sobre pontes, apenas correção interna.