Preguntas y respuestas de prueba en tiempo real :) ¿Qué es? ELI12. R: Un ejército de nerds acaba de resolver un problema de ciencia ficción: probar cada bloque de la red principal de Ethereum en tiempo real. Estas pruebas zk son exponencialmente más baratas de verificar que volver a ejecutar transacciones, solo unos pocos milisegundos, sin importar el gas utilizado. Bloques Thicc, validadores diminutos. La descentralización se regocija. ¿No estaba el tiempo real demostrando que las matemáticas lunares eran imposibles? R: Lo fue. Hace cinco años estábamos a cinco órdenes de magnitud de distancia. Pero la tecnología siguió aumentando 10 veces al año, y ahora estamos aquí. No desvanezcas los exponenciales. Además, en exponenciales: → no desvanecen los ordenadores cuánticos que rompen la ECDSA → no se desvanecen rompiendo la seguridad de Bitcoin ¿Cómo se convierte Ethereum L1 en un "rollup nativo y basado en él"? R: Vamos a desglosarlo. Basado en →: L1 los proponentes ordenan transacciones. Ethereum L1 es la capa base, tiene una base tautológica. → nativo: L1 ejecuta transacciones a través de la función de transición de estado EVM consagrada. Por definición, Ethereum L1 es nativo. Siempre lo será. → rollup: Un rollup tiene datos en la cadena y ejecución fuera de la cadena. Al snarking los bloques EVM de la red principal, Ethereum L1 se convierte en un zk rollup. Los rollups desbloquean grandes límites de gasolina. La base ya está en 35 megagas/seg, 20x Ethereum L1. La base apunta a 1 gigagas/seg, Ethereum L1 también puede llegar allí. Wen gigagas L1? R: La llamada #3 de Ethproofs estará dedicada a gigagas L1, sintonicen. Con EIP-9698, Dankrad propone ~3 veces al año topes de gas, o ~10 veces cada 2 años. Es decir, 1.000 veces en 6 años. Números respetables, pero aún así de novatos. ¿Mi opinión optimista? Ahora que las zkVM coinciden con los límites de rendimiento de EVM, el gas puede realizar un seguimiento de las mejoras de zkVM. Si seguimos llegando a 10 veces al año, es 1 gigagas/seg en 3 años. Trabajé con Dankrad durante más de una década, la realidad suele interponerse entre su cautela y mi esperanza. ¿No son zkVM buggy? ¿Qué pasa con la verificación formal? R: La verificación formal es el objetivo final, no el primer paso. La estrategia a corto plazo: la diversidad de zkVM. A finales del segundo trimestre, un puñado de zkVMs llegarán a la prueba en tiempo real. Al igual que los clientes CL y EL, se supone que cualquier cliente individual tiene errores. La seguridad proviene de la diversidad. ¿Puede la prueba de baja latencia escalar a gigagas? R: Sí. La demostración de SNARK es masivamente paralelizable. Solo la ejecución y fragmentación inicial de x86 es secuencial. EIP-7825 propone limitar la cantidad máxima de gas utilizada por transacción. Esto permite una fácil fragmentación en los límites de las transacciones. Escalas de paralelismo. La latencia se mantiene baja. ¿Cuál es el próximo cuello de botella de zkVM? Poder. La vida creíble de la prueba 1 de n significa que la prueba en el hogar debe ser accesible para los entusiastas. Un objetivo razonable puede ser de 10 kW o menos por grupo de pruebas. ¿Cómo aumentamos el límite de gas 1.000 veces con un presupuesto de 10 kW? → software: sistemas de prueba, circuitos, algoritmos siguen componiendo → hardware: Ley de Moore + ASICs SNARK → Distributed Proving: reparta la carga, sin confianza