Cofundador da Ethereum Vitalik Buterin introduziu um novo conceito para a plataforma blockchain chamada “máquina virtual Ethereum de conhecimento zero consagrada (ZK-EVM) em um Postagem no blog de 13 de dezembro.
O principal objetivo da proposta é melhorar substancialmente a eficiência e a segurança dos protocolos Layer-2 do Ethereum, que incluem rollups otimistas e ZK.
Enfrentando desafios em protocolos de Camada 2
A proposta de Buterin surge da necessidade de agilizar as atuais soluções da Camada 2 no Ethereum. Esses protocolos, vitais para Ethereum escalabilidade, dependem fortemente da verificação EVM, que atualmente envolve contar com uma base de código grande e potencialmente vulnerável.
Além disso, os ZK-EVMs, projetados para imitar o EVM da Camada 1, enfrentam o desafio de acompanhar as mudanças no protocolo Ethereum principal, levando a esforços redundantes e aumentando o risco de falhas de segurança.
A solução proposta por Buterin envolve a incorporação de um ZK-EVM diretamente na rede Ethereum. Este ZK-EVM interno assumiria a tarefa de verificar os blocos Ethereum da Camada 1, oferecendo assim uma abordagem mais eficiente e segura.
À medida que o Ethereum avança, particularmente com o desenvolvimento de clientes leves utilizando ZK-SNARKs, o conceito de um ZK-EVM nativo torna-se cada vez mais prático e atraente.
Aspectos centrais do ZK-EVM proposto
Buterin prevê que o ZK-EVM se concentre principalmente na verificação de blocos Ethereum, processando entradas como uma raiz pré-estado, um bloco e uma raiz pós-estado.
Isto garantiria a integridade da raiz pós-estado como um resultado verdadeiro da execução do bloco. A proposta também se alinha com a filosofia multicliente da Ethereum, apoiando o uso de diversos sistemas de prova e enfatizando a importância da disponibilidade e auditabilidade dos dados.
A implementação de um ZK-EVM, conforme descrito por Buterin, apresenta vários desafios de design e compensações. As propriedades essenciais incluem:
- Compatibilidade e Adaptabilidade: O sistema deve ser flexível o suficiente para suportar vários sistemas de prova, refletindo o compromisso da Ethereum com um ambiente multicliente.
- Garantindo a disponibilidade de dados: Vital para possibilitar a verificação por diferentes clientes.
- Enfatizando auditabilidade e capacidade de atualização: Permitindo fácil inspeção e soluções rápidas para quaisquer problemas sem a necessidade de hard forks.
- Apoiando inovações em 'quase EVMs': Permitindo que as soluções da Camada 2 ampliem e inovem nas funcionalidades EVM padrão.
Uma parte crucial da discussão de Buterin gira em torno da escolha entre um sistema aberto multicliente, onde as provas são verificadas externamente, e um sistema fechado com sistemas de provas pré-determinados. Buterin defende um sistema disponível pela sua flexibilidade e compatibilidade com os princípios fundamentais do Ethereum, apesar da sua maior complexidade.
Buterin enfatiza que a velocidade é crítica para implementações ZK-EVM. Com os avanços tecnológicos em paralelização e aceleração de hardware, o objetivo é reduzir o tempo de geração de provas, permitindo um processamento quase instantâneo.
