Zero-Knowledge: A Obra Perfeita
Visão que só existe se puder ser comprovada
A visão de Sindri encontrava a exigência de Eitri: cada execução precisava deixar uma prova que pudesse ser conferida. Os ferreiros conheciam o valor dessa disciplina e também a necessidade de revisar circuitos e contratos. Sua ambição era imensa; a responsabilidade estava em verificar cada peça antes de confiar-lhe o peso do reino.
Em 27 de março de 2023, Polygon zkEVM lançou sua mainnet beta. A compatibilidade com a EVM buscava facilitar a migração de contratos, mas havia diferenças documentadas e melhorias por vir. Não era uma prova de equivalência perfeita para todo comportamento de Ethereum. O nome beta lembrava aos ferreiros que o artefato ainda exigia testes e refinamento.
O lançamento chegou após mais de dois anos de desenvolvimento intenso, três auditorias externas de segurança, um programa de bug bounty que distribuiu centenas de milhares de dólares em recompensas, e verificação formal de componentes críticos do sistema de provas. Jordi Baylina e sua equipe não lançaram quando estavam prontos para o mercado. Lançaram quando estavam prontos para a responsabilidade de ter valor real de usuários reais dependendo da corretude das provas.
A criptografia de zero-knowledge permite que um provador demonstre conhecimento de uma informação sem revelar a informação em si, ou, no contexto de zkEVMs, que uma computação foi executada corretamente sem que o verificador precise refazer a computação. Isso significa que Midgard pode verificar centenas de transações com uma única prova compacta, em vez de executar cada transação individualmente. A assimetria entre custo de prova e custo de verificação é o que torna o modelo economicamente sustentável em escala.
Verificar a prova poupava o trabalho de repetir toda a execução. Essa era a força do artefato, sustentada pelas hipóteses criptográficas e pela correção de sua implementação. Os ferreiros não abandonavam a vigilância depois de acender a forja: auditorias, correções e cuidado com as chaves de atualização também guardavam os viajantes.