BOB anunció que será el primer proyecto de acumulación en utilizar pruebas ZK como pruebas de fraude mediante la integración de la arquitectura Kailua de RISC Zero

El 25 de julio, BOB (Build on Bitcoin) anunció una cooperación con la infraestructura de prueba de conocimiento cero RISCZero, que se convertirá en el primer proyecto de acumulación en la industria en utilizar pruebas de conocimiento cero como pruebas de fraude mediante la integración de Kailua, un marco de arquitectura híbrida lanzado por RISC Zero. Esto ahorrará significativamente tiempo y costos en las configuraciones existentes y puede reducir los tiempos de retiro de los 7 días habituales a 1 hora. Este es un paso clave para que BOB implemente las fases 1 y 2 de Rollup en L2beat.

Se informa que Kailua es una extensión de pila OP construida por RISC Zero utilizando su red Boundless de capa de computación verificable, que es una arquitectura híbrida (es decir, Hybrid Rollup) que puede actualizar Optimistic Rollups a Hybrid ZK Rollups, que combina las ventajas de Optimistic Rollups y ZK Rollups para lograr una resolución eficiente de blockchain y resolución de disputas. Intenta equilibrar la alta deglución de hojas, el bajo costo y la alta seguridad mediante el empleo de Optimistic Rollups para procesar transacciones rápidamente de forma predeterminada y habilitar pruebas ZK en caso de disputas o la necesidad de una liquidación rápida. En términos simples, tiene la capacidad de integrar los beneficios de ZK rollup para Optimistic Rollups existentes.

Una de las características más importantes es que puede acortar el ciclo de liquidación del período de desafío original de 7 días a un mínimo de 1 hora, y para la red Optimistic Rollup que integra Kailua, no hay necesidad de preocuparse por el costo de generación continua de las pruebas ZK porque se implementa bajo demanda.

BOB es la primera cadena en utilizar pruebas de conocimiento cero (ZK). Este nuevo enfoque ofrece lo mejor de ambos mundos sobre los Optimistic Rollups, que son lentos de retirar y costosos para combatir el fraude, y los ZK Rollups, que son costosos de ejecutar.

BOB combina perfectamente la eficiencia (menos costoso presentar propuestas en comparación con los rollups de validez) y la seguridad (demostrando la corrección del bloque en caso de fraude). Además, las pruebas ZK cuestan mucho menos que los juegos binarios en cadena en las plataformas Optimism o Ink (menos de $ 100, en comparación con aproximadamente $ 1 millón para este último).

Tres ventajas:

• Cualquiera puede impugnar la propuesta del secuenciador BOB con un margen tan bajo como 0,5 ETH, sin requerir cientos de ETH como pruebas de fraude de conocimiento no nulo.

• En caso de un desafío, la liquidación de las pruebas de fraude se puede completar en una sola transacción en Ethereum, por lo que se pueden finalizar en minutos, en comparación con horas o días y múltiples transacciones para versiones de conocimiento no nulo.

• A largo plazo, el tiempo de retiro de BOB se puede reducir significativamente porque las soluciones de fraude en cadena son rápidas y económicas. El tiempo de retiro estimado inicial es de 4 días, pero después de que el sistema se estabilice, se puede acortar a unas pocas horas.

Principio de funcionamiento:

• Kailua presenta su nuevo diseño de juego a prueba de errores de desarrollo propio para proporcionar seguridad de primera clase para el pedido de transacciones acumuladas.

• BOB utilizará pruebas de conocimiento cero (ZK) a prueba de fraude en lugar de múltiples transacciones en el juego binario de Optimism.

• Las pruebas de conocimiento cero permiten a BOB optimizar el mecanismo de detección de errores a una sola transacción en Ethereum en lugar de múltiples transacciones en un juego binario.

• Proceso específico:

1. Para cada punto de control, el secuenciador BOB (ejecutado por Conduit) propondrá una nueva cadena canónica para una altura específica.

2. Cualquiera puede usar el binario Kailua para hacer otra propuesta para disputar la cadena canónica. Hacer una propuesta requiere un depósito de un depósito en ETH en la capa 1. La configuración inicial es de 0,5 ETH, lo que facilita que cualquiera pueda desafiar y reduce significativamente la barrera de entrada para la verificación sin permiso.

3. Cuando hay propuestas contradictorias a la misma altura, el retador o validador (dirigido por Conduit) generará una prueba de conocimiento cero (utilizando el algoritmo Boundless) para resolver el problema de la cadena canónica. Dado que la estructura de BOB depende del orden en que se codifican las transacciones en la capa 1, solo puede existir una cadena válida. Se perderá el depósito de seguridad del proponente o retador equivocado.

Alexei Zamyatin, cofundador de BOB y miembro fundador de BitVM Alliance, dijo: "Con el lanzamiento de un sistema de prueba completamente funcional, BOB L2 tendrá seguridad total de Ethereum. Esto significa que BOB seguirá estando en la capa L2 de la fase 0, mientras que la mayoría de las otras capas L2 se moverán a otras categorías en L2Beat. Los rollups de la Fase 1 solo están sujetos al lanzamiento del Comité de Seguridad, que se anunciará en un futuro próximo. Los resúmenes en la Fase 2 simplemente abren el proceso de propuesta a cualquiera. ”

El equipo de RISC Zero cree que Kailua actualizó Optimistic Rollup para usar pruebas de conocimiento cero (ZK Fault Proofs) impulsadas por RISC Zero zkVM. La opción actual del mercado para las soluciones de rollup es Optimistic Rollup o ZK Rollup. Optimistic Rollup domina el mercado actual debido a su bajo costo y alto rendimiento, pero requiere una ventana de desafío de 7 días, lo que retrasa la finalidad y limita la interoperabilidad. Los rollups de ZK pueden proporcionar una finalidad rápida, pero la generación de pruebas de ZK para cada bloque incurre en costos adicionales significativos, y los rollups de alto rendimiento pueden costar millones de dólares o más.

Ahora que el tercer método está disponible en BOB, esta es la solución impulsada por la arquitectura Kailua de RISC Zero, que combina las ventajas de ambos enfoques: Los Optimistic ZK Rollups tienen tanto los bajos costos operativos del sistema Optimistic Rollup como la rápida finalidad de los ZK Rollups.