El 25 de julio, BOB (Build on Bitcoin) anunció una colaboración con la infraestructura de pruebas de conocimiento cero RISCZero, convirtiéndose en el primer proyecto Rollup en la industria en utilizar pruebas de conocimiento cero como pruebas de fraude al integrar la arquitectura híbrida Kailua lanzada por RISC Zero. Esto ahorrará significativamente tiempo y costo en la configuración existente, y puede reducir el tiempo de retiro de los habituales 7 días a 1 hora. Este es un paso clave para que BOB logre las Fases 1 y 2 de Rollup en L2beat.
Se informa que Kailua es la pila de OP construida por RISC Zero utilizando su capa de computación verificable en la red Boundless, que es una arquitectura híbrida que puede actualizar Optimistic Rollup a Hybrid ZK Rollup (es decir, Hybrid Rollup), combinando las ventajas de Optimistic Rollups y ZK Rollup, con el objetivo de lograr una liquidación y resolución de disputas eficientes en blockchain. Procura procesar transacciones rápidamente mediante la adopción predeterminada de Optimistic Rollups y habilitar pruebas ZK cuando surgen disputas o se necesita una liquidación rápida, buscando equilibrar un alto rendimiento, bajo costo y alta seguridad. En resumen, integra la capacidad de Optimistic Rollup existente con las ventajas de ZK Rollup.
Una de las características más importantes es que puede reducir el período de desafío de 7 días a un mínimo de 1 hora para completar el ciclo de liquidación, y los redes de Optimistic Rollup que integran Kailua no tienen que preocuparse por los costos continuos de generación de pruebas ZK, ya que su implementación es bajo demanda.
BOB es la primera cadena en utilizar pruebas de conocimiento cero (ZK). A diferencia de la lenta velocidad de retiro y el costoso mecanismo antifraude de Optimistic Rollup y el alto costo operativo de ZK Rollup, este nuevo enfoque combina las ventajas de ambos.
BOB combina perfectamente la eficiencia (bajo costo de presentación de propuestas en comparación con Rollup de efectividad) y la seguridad (puede demostrar la validez de los bloques en caso de fraude). Además, las pruebas ZK son mucho más baratas que las de los actuales sistemas de Optimism o Ink en juegos en cadena (menos de 100 dólares, mientras que estos últimos son alrededor de 1 millón de dólares).
Tres grandes ventajas:
Cualquiera puede desafiar la propuesta del secuenciador de BOB con un depósito tan bajo como 0.5 ETH, sin necesidad de cientos de ETH como en las pruebas antifraude sin conocimiento cero.
En caso de desafíos, la liquidación de la prueba de fraude se puede completar con solo una transacción en Ethereum, por lo que se puede finalizar en minutos, mientras que la versión sin conocimiento cero puede requerir horas o días y múltiples transacciones.
A largo plazo, se puede reducir significativamente el tiempo de retiro de BOB, ya que la solución de fraude en cadena es rápida y de bajo costo. Se espera que el tiempo de retiro inicial sea de 4 días, y una vez que el sistema se estabilice, se puede reducir a unas pocas horas.
Cómo funciona:
Kailua introduce su diseño de juego de error de prueba de concepto desarrollado internamente, proporcionando una garantía de seguridad de primer nivel para el ordenamiento de transacciones Rollup.
BOB utilizará pruebas de conocimiento cero (ZK) como prueba antifraude, en lugar de múltiples transacciones en el juego de dos partes de Optimism.
Las pruebas de conocimiento cero permiten a BOB simplificar el mecanismo antifraude a una única transacción en Ethereum, en lugar de múltiples transacciones en un juego de dos partes.
Proceso específico:
Para cada punto de control, el ordenado de BOB (operado por Conduit) propondrá una nueva cadena normativa para una altura específica.
Cualquiera puede usar el archivo binario de Kailua para presentar otra propuesta y objetar la cadena normativa. Presentar una propuesta requiere un depósito en ETH en Layer1. La configuración inicial es de 0.5 ETH, lo que permite a cualquier persona desafiar fácilmente y reduce significativamente la barrera para la verificación sin permisos.
Cuando hay propuestas contradictorias a la misma altura, el retador o el validador (operado por Conduit) generará una prueba de conocimiento cero (usando el algoritmo Boundless) para resolver el problema de la cadena normativa. Dado que la construcción de BOB depende del orden de codificación de transacciones en Layer1, solo puede existir una cadena válida. El depósito del proponente o retador erróneo será confiscado.
Alexei Zamyatin, cofundador de BOB y miembro fundador de BitVM Alliance, comentó: “Con el lanzamiento de un sistema de pruebas completamente funcional, BOB L2 tendrá total seguridad de Ethereum. Esto significa que BOB seguirá estando en la Fase 0 de la capa L2, mientras que la mayoría de las otras capas L2 se trasladarán a otras categorías en L2Beat. La Fase 1 de Rollup depende únicamente del lanzamiento del comité de seguridad, que se anunciará en un futuro cercano. La Fase 2 de Rollup solo requiere abrir el proceso de propuestas a cualquier persona.”
El equipo de RISC Zero cree que Kailua actualizará Optimistic Rollup para utilizar pruebas de conocimiento cero (ZK Fault Proofs) impulsadas por RISC Zero zkVM. Actualmente, el mercado tiene opciones de soluciones Rollup que son Optimistic Rollup o ZK Rollup. Debido a su bajo costo y alto rendimiento, Optimistic Rollup domina el mercado actual, pero requiere un período de ventana de desafío de 7 días, lo que retrasa la determinación final y limita la interoperabilidad. ZK Rollup puede ofrecer una rápida determinación final, pero generar pruebas ZK para cada bloque puede incurrir en altos costos adicionales, y el costo de un Rollup de alto rendimiento puede alcanzar millones de dólares o más.
Ahora se ha lanzado una tercera forma en BOB, que es la solución respaldada por la arquitectura Kailua de RISC Zero, que combina las ventajas de ambos enfoques: Optimistic ZK Rollup tiene tanto el bajo costo operativo del sistema Optimistic Rollup como la rápida determinación final de ZK Rollup.