🧵 @Agglayer v0.3 ya está disponible. La mayoría de los puentes todavía se basan en vibraciones de "solo confía en nosotros". Esta versión finalmente le da la vuelta al modelo: "No confíes en el puente, verifica el estado". Déjame explicarte qué cambió y por qué es importante 👇

Antes de la versión 0.3, Agglayer se centraba principalmente en verificar los mensajes entre cadenas, no en lo que sucedía dentro de las cadenas. Digamos que la cadena A envía 100 USDC a la cadena B. El modelo anterior solo verificaba que se pasara "un mensaje para enviar 100 USDC". Pero no probó: - si la cadena A realmente dedujo 100 USDC de su billetera - o si Chain B acuñó correctamente los tokens Confiabas en los secuenciadores o en la lógica del puente para "hacer lo correcto". Con la versión 0.3, Agglayer agrega una verificación completa de esos pasos internos. Comprueba: - Que la transición de estado en la cadena A fue válida (por ejemplo, se dedujo el saldo) - Que el comportamiento del puente y la afirmación en la Cadena B coinciden con lo que realmente sucedió No más confianza ciega. Todo es demostrable ahora.

Agglayer v0.3 es una actualización importante de la prueba pesimista. ¿La idea central? Las cadenas ahora adjuntan una prueba que demuestra que han finalizado correctamente su propio bloque, según sus propias reglas. Piense en ello como #2FA para el asentamiento: un factor es la diferencia de estado, el segundo es la prueba de que el bloque se construyó honestamente.

La seguridad de Agglayer v0.3 se fortalece a través de un flujo de tres pasos: 1️⃣ La prueba de transición de estado demuestra su propia transición de estado (a través de zk proof o ECDSA) 2️⃣ La prueba AggProver verifica la prueba de transición de estado y las restricciones de puente (es decir, salidas, cambios de raíz) 3️⃣ Finalmente, todo se vuelve a ejecutar. Esto hace que todo el sistema sea verificable y resistente a la manipulación, sin atajos, sin suposiciones de confianza. Cada paso se ejecuta en una zkVM, donde usamos @SuccinctLabs SP1! ¡Son tres pruebas SP1 por compromiso de estado de cadena! ¡Triple confianza! Es confiable, modular y mucho más seguro. Vamos a explicar cada capa una por una:

Paso 1: Prueba de transición de estado Aquí es donde cada cadena demuestra que su propia transición de estado interna es válida. Si eres un zk rollup, generas una prueba de validez completa (por ejemplo, Plonky2/3, STARK, etc.). Si no es así, puede firmar la nueva raíz de estado mediante ECDSA. El objetivo aquí: demostrar que "procesé estas transacciones y actualicé mi estado honestamente". El resultado es una prueba del estado local: todavía no dice nada sobre puentes, solo corrección interna.