Na Ethereum DevConnect na Argentina, em novembro de 2025, o pesquisador da Ethereum Foundation, Justin Drake, demonstrou um novo processo de validação de blocos usando provas de conhecimento zero. O cliente zkLighthouse, aproveitando o Pico zkVM da Brevis, validou blocos sem reexecutar os cálculos, sugerindo um futuro escalável para o Ethereum. Essa abordagem permite que blockchains verifiquem provas geradas externamente, reduzindo a redundância computacional. A Brevis, uma camada de computação verificável, possibilita a execução off-chain de cálculos complexos, retornando os resultados para a blockchain por meio de provas de conhecimento zero. Esse método transforma o modelo de segurança do Ethereum, que tradicionalmente depende da recomputação em toda a rede, permitindo que os nós verifiquem as provas em vez disso. A tecnologia da Brevis, incluindo o ZK Data Coprocessor e o Pico zkVM, facilita a geração eficiente e escalável de provas, aumentando a capacidade e a eficiência de custos do Ethereum. Em 2025, a Brevis lançou o ProverNet, um modelo de mercado para geração de provas, permitindo que aplicações submetam tarefas de prova que são combinadas com nós provadores. Essa infraestrutura apoia aplicações descentralizadas ao fornecer computação verificável sob demanda, estendendo seu impacto além do Ethereum para o ecossistema Web3 mais amplo e indústrias como IA e jogos.