BOB se ha convertido en la primera cadena de bloques que aprovecha las pruebas de conocimiento cero (ZK) de dos nuevas formas: 

1. BOB es el primer rollup que utiliza pruebas de fraude ZK, reduciendo un flujo de muchas transacciones a una sola. Esto combina la velocidad de los rollups de validez con el bajo coste y la eficiencia de los rollups optimistas. 
2. BOB es también el primer rollup que admite pruebas de validez bajo demanda. Cuando los usuarios quieren retirar dinero rápidamente de BOB, pueden enviar una prueba de validez para finalizar las retiradas a Ethereum al instante.

Creemos que las pruebas ZK híbridas son el mejor y más eficiente sistema de pruebas utilizado por cualquier rollup en la actualidad.

Esta actualización, impulsada por OP Kailua, una nueva extensión del marco de código abierto OP Stack para construir redes Ethereum de capa 2, fue construida por RISC Zero con generación de pruebas ZK por la red Boundless. También sitúa a BOB muy cerca de alcanzar el estado de Rollup Stage 1 y Stage 2 en L2BEAT, una plataforma de análisis de blockchain que realiza un seguimiento objetivo de la seguridad, descentralización y madurez de las redes de capa 2. 

Únete a una retransmisión en directo para hablar de la actualización con BOB, RISC Zero, Boundless, Conduit y L2BEAT el jueves 31 de julio: https://x.com/i/broadcasts/1lPJqMbWdbQJb 

‍

Pruebas de fraude de ZK en BOB

Tradicionalmente, los rollups han seguido dos modelos distintos: los rollups optimistas, que asumen que las transacciones son válidas pero requieren una ventana de impugnación de 7 días, y los rollups de validez, que verifican las transacciones instantáneamente mediante pruebas de conocimiento-cero pero cuyo funcionamiento es costoso. OP Kailua introduce una tercera opción ZK híbrida aplicando pruebas ZK al proceso de resolución de fraudes en los rollups optimistas, fusionando bajos costes operativos con una rápida finalidad, aumentando drásticamente la escalabilidad, seguridad y descentralización en el diseño de capa 2. Este modelo también ofrece la opción de presentar pruebas de validez bajo demanda, lo que permite a BOB obtener lo mejor de ambos mundos: transacciones y verificación baratas por defecto, y validez completa para una finalidad rápida cuando sea necesario.

Alexei Zamyatin, cofundador de BOB, ha declarado: "El lanzamiento de nuestro sistema de pruebas en pleno funcionamiento aporta plena seguridad a nivel de Ethereum a BOB L2, un hito importante en nuestro camino hacia la descentralización. Con esta actualización, BOB se convierte en el primer rollup ZK híbrido y avanza a la Etapa 0 en L2BEAT, mientras que la mayoría de los rollups en el espacio permanecerán en la categoría "Otros" debido a la ausencia de un sistema de prueba funcional. Este modelo de rollup híbrido refleja nuestra visión híbrida: combinar las fortalezas de múltiples sistemas para desbloquear todo el potencial de Bitcoin DeFi."

‍

Cuatro ventajas clave de OP Kailua 

Este novedoso enfoque híbrido de las pruebas ofrece cuatro ventajas principales: 

• Accesibilidad: En comparación con todos los demás rollups optimistas, BOB es el único que realmente permite a cualquiera presentar una prueba de fraude. En Arbitrum, Base, Optimism, etc., las pruebas de fraude pueden costar millones de dólares. Con BOB, sólo se necesita una garantía de 0,5 ETH, y la prueba más el envío onchain cuesta menos de 50$‍.
• Eficiencia de costes: La liquidación a prueba de fraude en caso de impugnación se liquida en una única transacción en Ethereum y, por tanto, se finaliza en unos minutos, en comparación con las múltiples horas o días que requerirían muchas transacciones en la versión no ZK.‍
• Retiradas instantáneas a petición: Si alguien quiere liquidar retiradas inmediatamente sin periodo de impugnación, es posible pagar para presentar una prueba de validez. Esto no es posible con los modelos optimistas normales, que deben hacer cumplir el periodo completo de 7 días. Sin embargo, si no se necesita una retirada inmediata, el sistema ZK híbrido utiliza por defecto transacciones optimistas baratas. Las cadenas ZK completas como Starknet, zkSync y Scroll siempre necesitan pruebas de validez, incluso cuando la velocidad no es tan importante, lo que eleva sus costes operativos.
• Velocidad: BOB podrá reducir drásticamente los tiempos de retirada a largo plazo, ya que la resolución de fraudes en la cadena es rápida y barata. Empezará siendo de cuatro días, pero podría reducirse a unas horas cuando se demuestre que el sistema es estable.

Jacob Everly, jefe de producto de RISC Zero, comentó: "Los rollups optimistas han impulsado su adopción gracias a sus evidentes ventajas: bajo coste y alto rendimiento, pero el plazo de 7 días para la impugnación ha obstaculizado la verdadera escalabilidad. OP Kailua cambia esta situación al utilizar pruebas de fraude ZK. Aporta la velocidad y la finalidad de ZK a un marco optimista; un avance que combina lo mejor de ambos mundos y sienta las bases para la próxima evolución de DeFi."

‍

Desarrollado por RISC Zero, Boundless y Conduit

La actualización de OP Kailua en BOB fue construida por RISC Zero con generación de pruebas ZK por la red Boundless. RISC Zero presentó Boundless en 2024. Está diseñado para escalar el cómputo de pruebas de conocimiento-cero (ZKP) a través de cadenas. El objetivo del protocolo es que la computación basada en ZK sea accesible, escalable y fiable. Boundless permite que los cálculos sean realizados por un único nodo y verificados eficazmente por todos los demás sin necesidad de volver a ejecutarlos. Boundless ha colaborado con Conduit, uno de los proveedores de RaaS (rollup as a service) más fiables, para probar y poner en producción OP Kailua. 

Andrew Huang, fundador de Conduit, ha declarado: "Esto es exactamente lo que imaginábamos cuando trabajamos con RISC Zero para construir la integración de OP Kailua. Con las pruebas ZK ejecutándose dentro de nuestro entorno OP Stack gestionado, BOB obtiene seguridad de grado Ethereum y tiempos de retirada medidos en horas, no en días. Y nuestra asociación con RISC Zero nos permite llevar esta capacidad a cualquier rollup sin problemas. Esta es la frontera del diseño de rollups".

‍

Proceso antifraude paso a paso

OP Kailua introduce su propio y novedoso diseño de juego de prueba de fraude que proporciona las mejores garantías de seguridad de su clase para secuenciar transacciones rollup. En lugar de utilizar el habitual juego de bisección de optimismo para las pruebas de fraude, BOB utilizará pruebas de fraude ZK. Esto permite que el mecanismo de prueba de fraude se reduzca a una única transacción en Ethereum en lugar de las múltiples transacciones necesarias en el juego de bisección.

1. Para cada punto de control, el secuenciador BOB (ejecutado por Conduit) propondrá una nueva cadena canónica para una altura determinada.
2. Cualquiera puede hacer otra propuesta para disputar la cadena canónica utilizando el binario Kailua. Para hacer una propuesta se requiere un bono (en ETH) depositado en la L1. Esto se establece inicialmente en 0,5 ETH, lo que hace que sea relativamente trivial para cualquiera impugnar y reduce drásticamente la barrera para la validación sin permisos frente a la mayoría de las cadenas optimistas.
3. Cuando existan propuestas contradictorias para la misma altura, el aspirante o el Validador utilizarán Boundless para generar una prueba ZK que invalide la propuesta probadamente incorrecta. Sólo puede haber una cadena válida debido a que la construcción de BOB depende del orden de las transacciones codificadas en la L1. Al proponente o retador incorrecto se le cortará el bono.

‍

Retransmisión en directo el 31 de julio

BOB, RISC Zero / Boundless, Conduit y L2BEAT organizan una retransmisión en directo para debatir sobre la innovación de Hybrid ZK el jueves 31 de julio de 2025. Fija un recordatorio aquí: https://x.com/i/broadcasts/1lPJqMbWdbQJb