Unidad 3 · Nivel 2 · Capas 2
Optimistas vs ZK
¿Cómo sabe Ethereum que el lote de un rollup es honesto? Dos escuelas. Los rollups optimistas (Arbitrum, Optimism) asumen que los lotes son válidos, pero dejan una ventana de disputa (unos siete días) durante la cual cualquiera puede presentar una prueba de fraude que demuestre que un lote estaba mal. Los rollups ZK se saltan la espera: cada lote viaja con una prueba de validez, una pieza de matemática criptográfica que demuestra su corrección por adelantado. Inocente hasta que alguien lo impugne, contra probado inocente al llegar.
Gratis. Sin anuncios, sin token y sin cuenta para empezar.
Lo que te preguntamos
Une cada término con su significado
Dos maneras distintas de responder una misma pregunta: ¿por qué debería la L1 creer lo que la L2 le cuenta?
¿Por qué los rollups optimistas mantienen una ventana de disputa de unos 7 días?
'Optimista' significa no verificado por defecto; la ventana es la red de seguridad. Un solo vigilante honesto con una prueba de fraude basta para frenar un lote malo.
¿Cuál es la gran ventaja de los rollups ZK?
La matemática llega con el lote, así que la L1 puede aceptarlo de inmediato, sin el suspenso de siete días. ('ZK' viene de zero-knowledge, o conocimiento cero, la familia de pruebas que se usa.)
Los rollups optimistas asumen que los lotes son válidos salvo que alguien presente una prueba de ___.
Las pruebas de fraude castigan las mentiras después del hecho; las pruebas de validez las previenen por adelantado. Mismo objetivo, timing opuesto.
Pregunta honesta: si ZK se salta la espera, ¿por qué alguien opera rollups optimistas?
Generar pruebas de validez exige computación e ingeniería serias; los diseños optimistas llegaron antes y siguen siendo más simples. Son intercambios hasta el fondo, como siempre. 🐜
El resto de esta unidad
Rollups: hacer el trabajo arriba y liquidar la cuenta en Ethereum.