Esta es una traducción del artículo publicado inicialmente en inglés en el Mirror oficial de Optimism.

En la Temporada 4 de la Gobernanza de Optimism, la comunidad se reunió en torno a las Intenciones Colectivas, donde los equipos trabajan en iniciativas específicas y de alcance estricto conocidas como Misiones. Como parte de este proceso, la Optimism Foundation estableció Misiones para áreas críticas de crecimiento y desarrollo dentro del Collective.

Una parte clave de construir hacia la Intención: Descentralización Técnica es implementar una Prueba de Conocimiento Cero (ZKP - Zero Knowledge Proof en inglés) para el OP Stack. Para las OP Chains en la Superchain, este es un ingrediente importante para asegurar y agregar una comunicación de cadena cruzada de baja latencia entre L2 y L1, así como directamente entre las OP Chains. Este sistema admite opciones de latencia alta y baja, lo cual es necesario para lograr una componibilidad completa y desbloquear nuevos casos de uso, y contribuir a la escalabilidad general. Una ZKP para una arquitectura de conjunto de instrucciones (ISA - instruction set architecture en inglés) bien soportada que puede probar el programa a prueba de fallas del OP Stack, actúa como la base de un sistema que puede probar cualquier cadena de bloques basada en OP Stack.

La explosión de actividad en las L2 subraya cuán profundamente los usuarios criptográficos valoran las tarifas bajas y el alto rendimiento, y dos equipos presentaron enfoques que se destacaron para ayudar a lograr esto para los usuarios. Como resultado, se aceptaron propuestas de RISC Zero y O(1) Labs para trabajar en la Misión.

RISC Zero prevé un mundo donde las pruebas ZK son accesibles para todos, y los desarrolladores pueden probar y verificar cualquier cálculo a través de la máquina virtual ZK de propósito general de RISC Zeroocks. Para realizar esta visión, el equipo está comprometido con un stack de código abierto que elimina las barreras que una vez plagaron a ZK y siempre prioriza el compromiso práctico con las ZKP. En el corazón de esto se encuentra RISC-V zkVM, que permite a los desarrolladores escribir sus programas en Rust nativo y abstrae las complejidades criptográficas de las ZKP.

RISC Zero se alineó con el compromiso del OP Stack de un futuro compartido y de código abierto. Las ZKP permitirán el próximo paradigma del OP Stack al crear una Superchain conectada y altamente interoperable. Los retiros, los puentes y la gobernanza de Superchain son áreas en las que RISC Zero ve que sus ZKP mejoran drásticamente la experiencia de los usuarios y desarrolladores.

RISC Zero está construyendo un Sistema de Prueba de Validez ZK basado en Rust para el OP Stack. Para hacer esto, están combinando el RISC-V zkVM con el ecosistema Ethereum/Rust a través de proyectos como reth, revm, alloy y op-reth. Su Sistema de Prueba de Validez ZK se está construyendo sobre Zeth, un marco de código abierto “type 0” zkEVM, que permite a cualquiera demostrar la validez de los bloques de Optimism y Ethereum.

El soporte para OP Mainnet ya se ha agregado a Zeth. Actualmente RISC Zero está extendiendo esto para incluir el proceso “L1 -> L2 derivation”, que permitirá a Zeth demostrar que los nuevos bloques OP son consistentes con el secuenciador de transacciones OP. Una vez que eso esté completo, se agregarán características adicionales para permitir que epochs OP completos se “enrollen” en una sola prueba que se puede verificar en L1 utilizando el soporte existente de RISC Zeroocks para la verificación de prueba en cadena.

O(1) Labs tiene como objetivo catalizar una nueva generación de aplicaciones impulsadas por la criptografía de conocimiento cero mediante la creación de las bases y herramientas para que los desarrolladores construyan aplicaciones ZK. Esto incluye el diseño y la implementación del modelo zkApp para Mina Protocol, la primera cadena de bloques nativa de ZK, o1js, una biblioteca Typescript y DSL integrada para aplicaciones impulsadas por zk, y Kimchi+Pickles, un sistema de pruebas y librería de recursividad.

Ahora, el trabajo en una MIPS zkVM llevará la potencia del conocimiento-cero al OP Stack. Este es el primer paso en el camino hacia la eliminación de la ventana de retiro de siete días, lo que mejora la experiencia de usuario y aumenta la "confiabilidad" de la cadena. Este trabajo también acerca a Mina Protocol y al OP Stack, abriendo una vía para que las aplicaciones construidas sobre el OP Stack interactúen con Mina Protocol.

El sistema de pruebas PLONKish de O(1), Kimchi y la capa de recursividad Pickles, proporcionan la base de la solución, una versión la cual ha asegurado la blockchain Mina desde 2021. La mayor parte del trabajo optimiza algunas primitivas de bajo nivel para Ethereum, añadiendo soporte para kzg-bn128 para una verificación Ethereum eficiente, y luego optimización e integración con el hash de preimagen de las OP Chains.

Tanto RISC Zero como O(1) Labs se han comprometido a proporcionar actualizaciones periódicas de su progreso. La comunidad puede darle seguimiento en la Página GitHub de la Misión y seguir a RISC Zero y O(1) Labs en Twitter. Es emocionante tener dos equipos increíbles con dos enfoques únicos trabajando para lograr una Misión que tendrá un tremendo impacto en el ecosistema de Optimism.

Si estás ansioso por más información, ¡RISC Zero y O(1) Labs dirigirán un taller sobre cómo llevar las pruebas ZK al OP Stack como parte del Onchain Summit de Optimism en Devconnect en Estambul! Síguenos en Twitter para actualizaciones sobre la programación de Optimism en Devconnect.

Esta es una traducción del artículo publicado inicialmente en inglés en el Mirror oficial de Optimism.

En la Temporada 4 de la Gobernanza de Optimism, la comunidad se reunió en torno a las Intenciones Colectivas, donde los equipos trabajan en iniciativas específicas y de alcance estricto conocidas como Misiones. Como parte de este proceso, la Optimism Foundation estableció Misiones para áreas críticas de crecimiento y desarrollo dentro del Collective.

Una parte clave de construir hacia la Intención: Descentralización Técnica es implementar una Prueba de Conocimiento Cero (ZKP - Zero Knowledge Proof en inglés) para el OP Stack. Para las OP Chains en la Superchain, este es un ingrediente importante para asegurar y agregar una comunicación de cadena cruzada de baja latencia entre L2 y L1, así como directamente entre las OP Chains. Este sistema admite opciones de latencia alta y baja, lo cual es necesario para lograr una componibilidad completa y desbloquear nuevos casos de uso, y contribuir a la escalabilidad general. Una ZKP para una arquitectura de conjunto de instrucciones (ISA - instruction set architecture en inglés) bien soportada que puede probar el programa a prueba de fallas del OP Stack, actúa como la base de un sistema que puede probar cualquier cadena de bloques basada en OP Stack.

La explosión de actividad en las L2 subraya cuán profundamente los usuarios criptográficos valoran las tarifas bajas y el alto rendimiento, y dos equipos presentaron enfoques que se destacaron para ayudar a lograr esto para los usuarios. Como resultado, se aceptaron propuestas de RISC Zero y O(1) Labs para trabajar en la Misión.

RISC Zero prevé un mundo donde las pruebas ZK son accesibles para todos, y los desarrolladores pueden probar y verificar cualquier cálculo a través de la máquina virtual ZK de propósito general de RISC Zeroocks. Para realizar esta visión, el equipo está comprometido con un stack de código abierto que elimina las barreras que una vez plagaron a ZK y siempre prioriza el compromiso práctico con las ZKP. En el corazón de esto se encuentra RISC-V zkVM, que permite a los desarrolladores escribir sus programas en Rust nativo y abstrae las complejidades criptográficas de las ZKP.

RISC Zero se alineó con el compromiso del OP Stack de un futuro compartido y de código abierto. Las ZKP permitirán el próximo paradigma del OP Stack al crear una Superchain conectada y altamente interoperable. Los retiros, los puentes y la gobernanza de Superchain son áreas en las que RISC Zero ve que sus ZKP mejoran drásticamente la experiencia de los usuarios y desarrolladores.

RISC Zero está construyendo un Sistema de Prueba de Validez ZK basado en Rust para el OP Stack. Para hacer esto, están combinando el RISC-V zkVM con el ecosistema Ethereum/Rust a través de proyectos como reth, revm, alloy y op-reth. Su Sistema de Prueba de Validez ZK se está construyendo sobre Zeth, un marco de código abierto “type 0” zkEVM, que permite a cualquiera demostrar la validez de los bloques de Optimism y Ethereum.

El soporte para OP Mainnet ya se ha agregado a Zeth. Actualmente RISC Zero está extendiendo esto para incluir el proceso “L1 -> L2 derivation”, que permitirá a Zeth demostrar que los nuevos bloques OP son consistentes con el secuenciador de transacciones OP. Una vez que eso esté completo, se agregarán características adicionales para permitir que epochs OP completos se “enrollen” en una sola prueba que se puede verificar en L1 utilizando el soporte existente de RISC Zeroocks para la verificación de prueba en cadena.

O(1) Labs tiene como objetivo catalizar una nueva generación de aplicaciones impulsadas por la criptografía de conocimiento cero mediante la creación de las bases y herramientas para que los desarrolladores construyan aplicaciones ZK. Esto incluye el diseño y la implementación del modelo zkApp para Mina Protocol, la primera cadena de bloques nativa de ZK, o1js, una biblioteca Typescript y DSL integrada para aplicaciones impulsadas por zk, y Kimchi+Pickles, un sistema de pruebas y librería de recursividad.

Ahora, el trabajo en una MIPS zkVM llevará la potencia del conocimiento-cero al OP Stack. Este es el primer paso en el camino hacia la eliminación de la ventana de retiro de siete días, lo que mejora la experiencia de usuario y aumenta la "confiabilidad" de la cadena. Este trabajo también acerca a Mina Protocol y al OP Stack, abriendo una vía para que las aplicaciones construidas sobre el OP Stack interactúen con Mina Protocol.

El sistema de pruebas PLONKish de O(1), Kimchi y la capa de recursividad Pickles, proporcionan la base de la solución, una versión la cual ha asegurado la blockchain Mina desde 2021. La mayor parte del trabajo optimiza algunas primitivas de bajo nivel para Ethereum, añadiendo soporte para kzg-bn128 para una verificación Ethereum eficiente, y luego optimización e integración con el hash de preimagen de las OP Chains.

Tanto RISC Zero como O(1) Labs se han comprometido a proporcionar actualizaciones periódicas de su progreso. La comunidad puede darle seguimiento en la Página GitHub de la Misión y seguir a RISC Zero y O(1) Labs en Twitter. Es emocionante tener dos equipos increíbles con dos enfoques únicos trabajando para lograr una Misión que tendrá un tremendo impacto en el ecosistema de Optimism.

Si estás ansioso por más información, ¡RISC Zero y O(1) Labs dirigirán un taller sobre cómo llevar las pruebas ZK al OP Stack como parte del Onchain Summit de Optimism en Devconnect en Estambul! Síguenos en Twitter para actualizaciones sobre la programación de Optimism en Devconnect.