🧵 @Agglayer v0.3 è disponibile.
La maggior parte dei ponti si basa ancora su vibrazioni di "fidati di noi".
Questa versione finalmente capovolge il modello:
"non fidarti del ponte, verifica lo stato."
Lasciami guidarti attraverso cosa è cambiato e perché è importante 👇
Prima della v0.3, Agglayer si concentrava principalmente sulla verifica dei messaggi cross-chain, non su ciò che accadeva all'interno delle catene.
Supponiamo che la Catena A invii 100 USDC alla Catena B. Il vecchio modello verificava solo che "un messaggio per inviare 100 USDC" fosse stato passato. Ma non dimostrava:
- se la Catena A avesse effettivamente detratto 100 USDC dal tuo portafoglio
- o se la Catena B avesse correttamente coniato i token
Ti fidavi dei sequencer o della logica del bridge per "fare la cosa giusta."
Con la v0.3, Agglayer aggiunge una verifica completa di questi passaggi interni. Controlla:
- Che la transizione di stato sulla Catena A fosse valida (ad es. il saldo è stato detratto)
- Che il comportamento del bridge e la richiesta sulla Catena B corrispondano a ciò che è realmente accaduto
Niente più fiducia cieca. Tutto è ora dimostrabile.
Agglayer v0.3 è un aggiornamento importante per la prova pessimistica.
L'idea principale? Le catene ora allegano una prova che dimostra di aver correttamente finalizzato il proprio blocco, basandosi sulle proprie regole.
Pensalo come un #2FA per il settlement: un fattore è la differenza di stato, il secondo è la prova che il blocco è stato costruito onestamente.
Agglayer v0.3 security is strengthened via a three-step flow:
1️⃣ The state transition proof proves its own state transition (via zk proof or ECDSA)
2️⃣ The AggProver proof verifies state transition proof and bridge constraints (i.e., exits, root changes)
3️⃣ Finally, the entire thing is re-executed. This makes the whole system verifiable and tamper-resistant — no shortcuts, no trust assumptions.
Each step is executed in a zkVM, where we use @SuccinctLabs SP1! That's three SP1 Proofs per chain state commitment! Triple Trust!
It’s trustless, modular, and way more secure.
Let's explain each layer one by one:
Passo 1 — Prova di Transizione di Stato Questo è il punto in cui ogni catena dimostra che la propria transizione di stato interno è valida.
Se sei un zk rollup, generi una prova di validità completa (ad es., Plonky2/3, STARK, ecc.).
Se non lo sei, puoi firmare la nuova radice di stato utilizzando ECDSA.
L'obiettivo qui: dimostrare "Ho elaborato queste transazioni e ho aggiornato il mio stato onestamente."
L'output è una prova di stato locale — non dice ancora nulla sui ponti, solo correttezza interna.
3.835
7
Il contenuto di questa pagina è fornito da terze parti. Salvo diversa indicazione, OKX non è l'autore degli articoli citati e non rivendica alcun copyright sui materiali. Il contenuto è fornito solo a scopo informativo e non rappresenta le opinioni di OKX. Non intende essere un'approvazione di alcun tipo e non deve essere considerato un consiglio di investimento o una sollecitazione all'acquisto o alla vendita di asset digitali. Nella misura in cui l'IA generativa viene utilizzata per fornire riepiloghi o altre informazioni, tale contenuto generato dall'IA potrebbe essere impreciso o incoerente. Leggi l'articolo collegato per ulteriori dettagli e informazioni. OKX non è responsabile per i contenuti ospitati su siti di terze parti. Gli holding di asset digitali, tra cui stablecoin e NFT, comportano un elevato grado di rischio e possono fluttuare notevolmente. Dovresti valutare attentamente se effettuare il trading o detenere asset digitali è adatto a te alla luce della tua situazione finanziaria.