Em um movimento inovador, Vitalik Buterin, o renomado cofundador da Ethereum, recentemente propôs a integração de uma “Máquina Virtual Ethereum de Conhecimento Zero (ZK-EVM) consagrada” como solução para os desafios enfrentados pela Camada 2 do Ethereum. Esta proposta, detalhada em uma postagem de blog em 13 de dezembro, mira em melhorar significativamente tanto a eficiência quanto a segurança dos protocolos Layer-2, que incluem rollups otimistas e ZK-EVMs.
A principal motivação por trás dessa proposta decorre do desejo de simplificar as atuais soluções de Camada 2 no Ethereum, que são essenciais para a escalabilidade da rede. Estes protocolos dependem da verificação EVM, um processo atualmente apoiado em uma base de código extensa e susceptível a vulnerabilidades.
Shiba Inu (SHIB) aumenta 20% e apaga zero em seu preço após crescimento explosivo do Shibarium
A solução aborda desafios da Camada 2, facilitando a verificação de blocos
O design dos ZK-EVMs, que visam replicar a funcionalidade do EVM de Camada 1, enfrenta o desafio de se manter atualizado com as mudanças no protocolo principal do Ethereum. Isso resulta em esforços duplicados e eleva o risco de falhas de segurança. A proposta de Buterin sugere incorporar um ZK-EVM diretamente na rede Ethereum. Desse modo, permitindo que ele verifique blocos da Camada 1 de forma mais eficiente e segura.
Com o avanço do Ethereum, especialmente no desenvolvimento de clientes leves utilizando ZK-SNARKs, a ideia de um ZK-EVM nativo se torna cada vez mais viável e atraente. Este enfoque proposto foca na verificação de blocos Ethereum processando entradas como uma raiz pré-estado, um bloco, e uma raiz pós-estado, assegurando a integridade da raiz pós-estado como resultado legítimo da execução do bloco.
Ethereum vai superar Bitcoin em 2024? análise JPMorgan
ZK-EVM alinha-se com a filosofia multicliente do Ethereum
A filosofia multicliente da Ethereum é um ponto central nesta proposta. Assim, apoiando o uso de sistemas de comprovação diversificados e destacando a importância da disponibilidade e auditabilidade dos dados. Os desafios e compensações na implementação de um ZK-EVM como descrito por Buterin incluem:
- Compatibilidade e Adaptabilidade: O sistema precisa ser suficientemente flexível para suportar múltiplos sistemas de comprovação, refletindo o compromisso da Ethereum com um ambiente multicliente.
- Garantia de Disponibilidade de Dados: Essencial para permitir a verificação por diferentes clientes.
- Ênfase na Auditabilidade e Atualização: Facilita a inspeção e a resolução rápida de problemas sem a necessidade de hard forks.
- Suporte a Inovações em ‘Quase-EVMs’: Permite que as soluções de Camada 2 expandam e inovem em cima das funcionalidades padrão do EVM.
Buterin também aborda a escolha entre um sistema multicliente aberto, com provas verificadas externamente, e um sistema fechado com sistemas de prova predeterminados. Ele defende um sistema aberto pela sua flexibilidade e alinhamento com os princípios fundamentais do Ethereum, apesar de sua complexidade.
A eficiência é um ponto chave nas implementações do ZK-EVM, com a tecnologia avançando em direção à paralelização e aceleração de hardware. Então, o objetivo é minimizar o tempo de geração de provas para um processamento quase instantâneo.