zkEVM

Una zkEVM procesa transacciones de la EVM y después genera una prueba criptográfica compacta de que cada paso respetó las reglas. Cualquiera puede comprobar esa prueba con rapidez sin volver a ejecutar las transacciones. Los rollups ZK lo aprovechan para publicar sus lotes en Ethereum junto con una prueba de validez, de modo que su estado se acepta en cuanto se verifica la prueba, sin la semana de impugnación de los rollups optimistas.

Los diseños varían según lo fielmente que imitan a Ethereum. Las de Tipo 1 prueban los bloques de Ethereum tal cual; las de Tipo 2 y 3 introducen pequeños cambios para facilitar las pruebas, y las de Tipo 4 compilan Solidity a otra máquina virtual. Varios rollups con zkEVM funcionan en producción, y las pruebas se han acelerado tanto que ya hay proyectos que prueban bloques de la red principal casi en tiempo real, lo que alimenta la investigación sobre verificar la propia capa 1 con pruebas zk.

Generar pruebas exige mucho cómputo y suele quedar en manos de pocos probadores, lo que añade coste y centralización. Los circuitos son complejos y un fallo en ellos es tan grave como uno en un contrato.