ZK-EVM
Segurança · Profundo
Uma máquina virtual de conhecimento zero que gera provas criptográficas de validade para execução de contratos inteligentes compatíveis com Ethereum, permitindo ZK rollups que executam código Solidity existente. A classificação Tipo 1-4 de Vitalik Buterin captura o trade-off entre equivalência total com Ethereum (Tipo 1, prova mais lenta) e execução modificada (Tipo 4, prova mais rápida). Implementações importantes incluem Polygon zkEVM, zkSync Era, Scroll e Linea.