🧵 @Agglayer v0.3 foi lançado. 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 👇
A mainnet do Agglayer v0.3 está ativa. Esta atualização de segurança estabelece as bases para que cadeias não-CDK se juntem, começando com o Polygon PoS até o final do Q3. As cadeias podem provar estado e conectar-se, de forma segura e sem reescrever a arquitetura. Próxima parada: interoperabilidade rápida (transações crosschain em menos de 10 segundos)
Antes da v0.3, Agglayer focava 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" foi passada. Mas não provava: - se a Cadeia A realmente deduziu 100 USDC da sua carteira - ou se a Cadeia B corretamente cunhou os tokens Você estava confiando nos sequenciadores ou na lógica da ponte para "fazer a coisa certa." Com a v0.3, Agglayer adiciona verificação completa desses passos internos. Ele verifica: - Se a transição de estado na Cadeia A era válida (por exemplo, o saldo foi deduzido) - Se o comportamento da ponte e a reivindicação na Cadeia B correspondem ao que realmente aconteceu Nada mais de confiança cega. Tudo agora é comprovável.
Agglayer v0.3 é uma atualização importante 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 liquidação: um fator é a diferença de estado, o segundo é a prova de que o bloco foi construído de forma honesta.
A segurança do Agglayer v0.3 é reforçada através de um fluxo em 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 do AggProver verifica a prova de transição de estado e as restrições da ponte (ou seja, saídas, mudanças de raiz) 3️⃣ Finalmente, tudo isso é reexecutado. Isso torna todo o sistema verificável e resistente a adulterações — sem atalhos, sem suposições de confiança. Cada etapa é executada em um zkVM, onde usamos @SuccinctLabs SP1! Isso significa três Provas SP1 por compromisso de estado da cadeia! Tripla Confiança! É sem confiança, modular e muito mais seguro. Vamos explicar cada camada uma por 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, gera uma prova de validade completa (por exemplo, Plonky2/3, STARK, etc). Se você não for, pode assinar a nova raiz de estado usando ECDSA. O objetivo aqui: provar "Eu processei essas transações e atualizei meu estado de forma honesta." A saída é uma prova de estado local — ainda não diz nada sobre pontes, apenas correção interna.
Mostrar original
5,93 mil
35
O conteúdo apresentado nesta página é fornecido por terceiros. Salvo indicação em contrário, a OKX não é o autor dos artigos citados e não reivindica quaisquer direitos de autor nos materiais. O conteúdo é fornecido apenas para fins informativos e não representa a opinião da OKX. Não se destina a ser um endosso de qualquer tipo e não deve ser considerado conselho de investimento ou uma solicitação para comprar ou vender ativos digitais. Na medida em que a IA generativa é utilizada para fornecer resumos ou outras informações, esse mesmo conteúdo gerado por IA pode ser impreciso ou inconsistente. Leia o artigo associado para obter mais detalhes e informações. A OKX não é responsável pelo conteúdo apresentado nos sites de terceiros. As detenções de ativos digitais, incluindo criptomoedas estáveis e NFTs, envolvem um nível de risco elevado e podem sofrer grandes flutuações. Deve considerar cuidadosamente se o trading ou a detenção de ativos digitais é adequado para si à luz da sua condição financeira.