🧵 @Agglayer v0.3 está fora. 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 guiá-lo através do que mudou e por que isso é importante 👇

Antes da v0.3, o Agglayer se concentrava principalmente na verificação de mensagens entre cadeias — não no que acontecia dentro das cadeias. Digamos que a Cadeia A envia 100 USDC para a Cadeia B. O modelo antigo apenas verificava que "uma mensagem para enviar 100 USDC" era passada. 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 era 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 está provado agora.

Agglayer v0.3 é uma grande atualização para a prova pessimista. A ideia central? As cadeias agora anexam uma prova que mostra que finalizaram corretamente seu próprio bloco - com base em suas próprias regras. Pense nisso como #2FA para o assentamento: 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 através 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 de ponte (ou seja, saídas, alterações de raiz) 3️⃣ Finalmente, a coisa toda é re-executada. 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 Provas SP1 por compromisso de estado da cadeia! Tripla Confiança! É confiável, modular e muito mais seguro. Vamos explicar cada camada, uma a uma:

Etapa 1 — Prova de Transição de Estado É onde cada cadeia prova que sua própria transição de estado interna é 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 que "processei essas transações e atualizei meu estado honestamente". A saída é uma prova do estado local – não diz nada ainda sobre pontes, apenas correção interna.