Escrito por: yyy
Hace unos días, Coinbase anunció que ingresaría al mercado y construiría una L2 basada en OP Stack - @BuildOnBase El sentimiento de "optimismo alcista" se encendió una vez más. Aprovechando esta oportunidad, este tweet hablará sobre el período de desafío del Optimismo.
Como todos sabemos, el retiro de los fondos de segunda capa de Optimism a la red principal de Ethereum requiere un período de desafío de 7 días.
Entonces, ¿por qué exactamente 7 días? 3 días? ¿No 5 días?
Antes de responder a esta pregunta, primero comprendamos por qué se requiere un período de desafío.
Los rollups mejoran el rendimiento de la red principal de Ethereum al desacoplar la capa de ejecución de Ethereum. Esto significa que las transacciones se ejecutan en la segunda capa, pero para heredar la seguridad de la red principal de Ethereum, las transacciones que ocurren en la segunda capa deben verificarse en la red principal.
En pocas palabras, la red principal de Ethereum debe confirmar que la transacción enviada por el secuenciador realmente ocurrió en la segunda capa, es decir, la validez de la transacción.
Rollup se divide en zk-Rollup y Optimistic Rollup debido a los diferentes métodos para verificar la validez de las transacciones.
Los métodos de verificación se clasifican principalmente en dos categorías: prueba de conocimiento cero y prueba de fraude. Según el mecanismo de prueba de conocimiento cero, las transacciones tienen una finalidad casi instantánea.
Para las ORU basadas en prueba de fraude, la finalidad de la transacción depende de la duración del período de desafío, lo que explica por qué los fondos de Optimism tardan 7 días en retirarse de la segunda capa a la red principal.
Según el mecanismo ORU, es optimista que todas las transacciones acumuladas enviadas por el secuenciador sean válidas. Luego, durante el período de desafío, el verificador puede iniciar una prueba de fraude si encuentra una transacción no válida.
Si nadie impugna después del período de impugnación, la transacción se considerará válida por defecto y será definitiva en ese momento.
Pero, ¿realmente el período de desafío dura siete días? Primero simplifiquemos todo el proceso de impugnación: el verificador descubre una transacción no válida reconstruyendo la raíz del estado y luego emite una prueba de fraude. Esta serie de acciones lleva tiempo, lo que significa que el período de desafío no puede ser 0.
Suponemos que el proceso de desafío anterior es muy rápido, 10 bloques para completar (aproximadamente 2 minutos).
Por supuesto, es imposible tener una respuesta tan rápida, por lo que si ralentizamos el tiempo 10 veces, hasta 100 bloques (unos 20 minutos), este tiempo será mucho menor que 50.400 bloques (7 días).
La discusión anterior se basa en la situación más ideal. ¿Qué pasa si alguien hace el mal en la red? ¿Cuánto tiempo lleva descubrir las irregularidades?
O, para decirlo de otra manera, ¿cuánto tiempo se debe extender al menos el período de desafío para prevenir comportamientos malignos? El mal comportamiento aquí es evitar que los validadores reciban pruebas fraudulentas publicando una gran cantidad de transacciones para aumentar el gas durante un período de tiempo.
Aquí hacemos otra suposición, suponiendo que hay una exposición al riesgo de 2 mil millones de dólares estadounidenses en Optimism, y que el perpetrador está dispuesto a gastar 1 millón de dólares estadounidenses en propinas de gas (tarifas prioritarias) por bloque para "avanzar" transacciones que contienen pruebas de fraude.
Entonces, el tiempo máximo que se puede "secuestrar" la red es de 2000 bloques (6,67 horas). Por supuesto, los ejemplos anteriores se basan en algunas suposiciones muy simples y crudas.
Parece que no importa cómo se mire, el período de desafío no tiene por qué ser tan largo como 7 días. Es difícil entender la relación no lineal entre la duración del período de impugnación y la seguridad.
Quizás 7 sea un número muy significativo para el fundador de Optimism, al igual que todos suponen que Satoshi Nakamoto es un amante del fútbol durante el ciclo de reducción a la mitad de 4 años de Bitcoin.
Entonces, ¿se puede acortar el período de desafío para las ORU a 3-5 días sin comprometer la seguridad? Sí, pero no está muy optimizado para la experiencia del usuario.
¿Qué tal si acortamos el período del desafío a 1 o 2 días? El argumento de que puede optimizar eficazmente la experiencia del usuario parece tener sentido.
@0xMantle, una ORU incubada por BitDAO, puede acortar el período de desafío a 1 o 2 días. La lógica de optimización del período de desafío se basa en el esquema MPC.
En pocas palabras, el secuenciador no envía directamente el lote de transacciones a Ethereum, sino que primero lo envía a la red MPC, que está firmada conjuntamente por los nodos MPC. Después de confirmar que la transacción es válida, se envía a Ethereum.
Entonces las diferencias principales son:
Optimism envía el lote que contiene la raíz del estado a Ethereum como resultado de la ejecución;
Mantle envía lotes que contienen raíces estatales firmadas conjuntamente por nodos MPC como resultados de ejecución a Ethereum.
El propósito es reducir el riesgo de confianza de los resultados de la ejecución de Rollup.
Pero en el análisis final, la verificación MPC sigue siendo una solución de verificación fuera de la cadena, que es mejor que nada y proporciona una comodidad psicológica adicional a los usuarios.
Para usar una metáfora inapropiada, el esquema de verificación MPC es como un esquema zk descentralizado. La seguridad del primero se basa en suposiciones económicas, mientras que el segundo se basa en la verificación criptográfica.
Lo anterior son algunas ideas y discusiones sobre el período de desafío de las ORU. No son muy lógicas y deben usarse como sugerencias. Por cierto, todavía espero ver ORU (niveles de tiempo compartido) con períodos de desafío significativamente más cortos en el futuro.