Una actualización de la descentralización técnica y del primer sistema de pruebas de fallas de OP Stack.

Bedrock fue lanzado, el ecosistema de Superchain está creciendo, y ahora los desarrolladores de OP Labs, Base y en general de todo el Colectivo de Optimism están enfocados al máximo en descentralizar el OP Stack! Estoy emocionado de compartir más sobre el diseño del primer Sistema a Prueba de Fallas de OP Stack, cómo permitirá al Colectivo avanzar significativamente hacia la descentralización técnica, y la capacidad de personalización de siguiente nivel disponible para el Sistema a Prueba de Fallas gracias al OP Stack.

Progreso en la Descentralización Técnica

En febrero, hice una descripción general sobre OP Stack y el camino de Optimism hacia la descentralización técnica. El plan incluye hitos básicos de descentralización, como Propuestas de Salida sin Permisos y la Descentralización del Puente. Estos hitos se incluyeron en el plan para poder avanzar en la descentralización incluso si tomara tiempo de iterar las Pruebas de Fallas.

Ahora que Bedrock ha sido lanzado, estamos realmente emocionados de informar que se ha logrado un progreso significativo en el Sistema a Prueba de Fallas de OP Stack. ¡Esto significa que el lanzamiento de las Pruebas de Fallas es el próximo hito importante al que esperamos en el ecosistema de Optimism!

Aquí un resumen de los componentes del Sistema a Prueba de Fallas:

Programa de Prueba de Fallas (FPP)

El FPP o "op-program" actúa como un programa determinista que se alimenta de datos del L1. Obtiene las comprobaciones de datos requeridas para cualquier fallo. También puede definir el host que precarga la información.

Máquina Virtual a Prueba de Fallas (FPVM)

La FPVM por sus siglas en inglés , también conocida como "Cannon", ejecuta el op-program. Cannon está escrito en Go y emula una máquina MIPS, que ejecuta la Máquina Virtual Ethereum (EVM) en L2 según lo definido por el op-program, mientras que a su vez es demostrable en la EVM de L1. Este nivel de abstracción permite que el sistema mantenga un control preciso y un seguimiento de cada paso de instrucción. Puede obtener los datos necesarios (pre-imágenes) o ejecutarse con datos precargados.

Juego de Disputas

Un Juego de Disputas resuelve desacuerdos sobre la salida del op-program. El objetivo es reducir el desacuerdo al punto exacto en la secuencia de instrucciones. La resolución del juego de disputas se basa en identificar la primera afirmación no impugnada, en función de la cual se puede determinar la validez de la afirmación principal.

El primer Juego de Disputas que se integrará para disputar las secuencias generadas por Cannon y el op-program es un juego de Bisección (¡pero hay muchos otros posibles diseños del Juego de Disputas!)

¡Hacia OP Goerli y más allá!

Estamos ansiosos de traer una versión alfa del Sistema a Prueba de Fallas a la red de prueba, para que los desarrolladores del ecosistema puedan probar, tratar de poner a prueba el MVP y comenzar a pensar en construir pruebas de fallos alternativas u otros componentes modulares. 👀 👀 👀

¡Así es! El Sistema a Prueba de Fallas fue diseñado para mostrar el poder de la modularidad del OP Stack. De esta manera, es fácil para los desarrolladores del ecosistema diseñar componentes personalizados de pruebas de fallas de OP Stack, desde esquemas de pruebas hasta máquinas virtuales e incluso juegos de disputas únicos. Al modularizar el Programa de Prueba de Fallas (FPP) y la Máquina Virtual a Prueba de Fallas (FPVM), se vuelve posible mejorar cada componente en paralelo, mejorando el rendimiento del sistema y la innovación. Esperamos que esto ayude a sentar las bases para un vibrante ecosistema de sistemas de pruebas EVM de código abierto.

Priorizando la descentralización y la escalabilidad

El Sistema a Prueba de Fallas es clave para permitir la descentralización del protocolo. Técnicamente, permitirá un puente seguro sin respaldarse en un sistema centralizado. Vitalmente, su naturaleza de código abierto y su implementación mínima y estándar facilitan múltiples implementaciones del protocolo. Estas múltiples implementaciones garantizan la seguridad y son un requisito antes de alcanzar la descentralización técnica de la Etapa 2.

Pero más allá de esto, tener múltiples implementaciones mantenidas por distintos miembros de la comunidad es fundamental para la descentralización social. La descentralización social es una estrategia subestimada pero vital para cualquier blockchain. Cuantos más clientes, mecanismos de prueba, juegos de disputas y otra infraestructura se construyan y mantengan por diferentes colaboradores, más descentralizado será el protocolo. Al hacer de la modularidad una parte clave del diseño del Sistema a Prueba de Fallas, se crean más oportunidades para que los desarrolladores del Collective participen en la creación y el mantenimiento de OP Mainnet y el Superchain.

Preparando el escenario para pruebas de validez

Otro beneficio del diseño modular de las pruebas es que crea un camino claro para agregar pruebas de conocimiento cero (ZKPs) a OP Stack. La separación entre FPP y FPVM significa que el mismo op-program puede ejecutarse tanto en un FPVM como en un ZKVM. De esta manera, siempre que los desarrolladores de ZKP se dirijan a una especificación de VM compatible, no necesitan comprender el funcionamiento interno del FPP.

De manera similar, los desarrolladores que optimicen el FPP no necesitan comprender el funcionamiento interno del ZKVM. Esta reducción de la complejidad y la separación de responsabilidades son fundamentales para el rápido desarrollo de ZKP en OP Stack. ¡Sigue esta RFP para desarrollar divertidas aplicaciones de ZKP en OP Stack! Estas ZKPs de OP Stack permitirán pruebas de validez basadas en ZK y potenciarán puentes de baja latencia entre cadenas. Estos puentes son fundamentales para desbloquear la componibilidad del Superchain y, por lo tanto, clave para lograr el objetivo de habilitar una Superchain unificada e interconectadas.

Un sistema a prueba de fallas para nuestro futuro Superchain

El OP Stack es clave para garantizar que la infraestructura del Superchain, incluido el Sistema a Prueba de Fallas, sea componible, versátil y a prueba del futuro. El Sistema a Prueba de Fallas representa un gran avance hacia una Superchain más descentralizada y eficiente. Este sistema facilitará que los desarrolladores personalicen su trabajo, y permitirá a los usuarios de todo el ecosistema beneficiarse de una mayor seguridad y rendimiento.

Nunca es demasiado pronto para empezar a pensar en cómo puedes contribuir a lOP Stack y ayudar a asegurar la Superchain. El Optimism Ecosystem’s Contributions Dashboard está lleno de inspiración y guías sobre cómo comenzar a contribuir al Colectivo.