🧵 @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 la verificación de 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 había pasado "un mensaje para enviar 100 USDC". Pero no lo demostró: - si la Cadena A realmente dedujo 100 USDC de su billetera - o si la Cadena B acuñó correctamente los tokens Confiabas en que los secuenciadores o la lógica del puente "harían lo correcto". Con v0.3, Agglayer agrega verificación completa de esos pasos internos. Verifica: - Que la transición de estado en la Cadena A era válida (por ejemplo, se dedujo el saldo) - Que el comportamiento del puente y la notificación en la Cadena B coincidan con lo que realmente sucedió. Se acabó la confianza ciega. Ahora todo es demostrable.

Agglayer v0.3 es una actualización importante de la prueba pesimista. ¿La idea central? Las cadenas ahora adjuntan una prueba que muestra que han finalizado correctamente su propio bloqueo, según sus propias reglas. Piense en ello como #2FA para la liquidación: 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 refuerza a través de un flujo de tres pasos: 1️(1�� La prueba de transición de estado prueba su propia transición de estado (a través de la prueba zk o ECDSA) 2️⃣ La prueba de AggProver verifica la prueba de transición de estado y las restricciones del puente (es decir, salidas, cambios de raíz) 3️⃣ Finalmente, se vuelve a ejecutar todo. 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! ¡Eso es 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 la corrección interna.