Glossary
zkEVM
Una máquina virtual de conocimiento cero que ejecuta bytecode de Ethereum y emite una prueba de validez, dejando a un ZK rollup correr contratos EVM y probar cada transición de estado.
Una zkEVM es una máquina virtual que ejecuta la ejecución EVM de Ethereum dentro de un circuito de conocimiento cero, emitiendo una prueba sucinta de que un lote de transacciones se ejecutó correctamente. Esto permite que un ZK rollup herede las herramientas de Ethereum — contratos Solidity, wallets e infraestructura — mientras liquida en la L1 con pruebas de validez en lugar de una ventana de disputa optimista.
Las zkEVM se clasifican según cuánto se aproximan a Ethereum. El Tipo 1 es totalmente equivalente al consenso, el Tipo 2 coincide con la EVM pero ajusta el estado interno, y los Tipos 3 y 4 sacrifican algo de equivalencia por un proving más rápido y barato. Los diseños de mayor fidelidad son el reto de ingeniería más difícil, pero evitan incompatibilidades sutiles en los contratos.