Abertura
A equipe zkEVM da Ethereum Foundation propôs incluir o EIP-8025 no fork Hegota, de acordo com discussões na reunião de All Core Developers (ACD). O EIP-8025 introduz Optional Execution Proofs (provas opcionais de execução), permitindo que nós da Ethereum verifiquem provas de conhecimento zero em vez de reexecutar diretamente todas as transações. Atualmente, os nós validam a correção dos blocos reexecutando os resultados das transações; o EIP-8025 adiciona uma alternativa em que os nós podem verificar uma prova ZK de validade do bloco sem repetir cálculos completos. Nesta etapa, a proposta funciona como um mecanismo de opt-in completo—apenas nós que optarem por usar as provas serão afetados, e as regras de consenso permanecem inalteradas. Isso representa a mudança formal da Ethereum de uma fase experimental para a integração em nível de protocolo da tecnologia de conhecimento zero, potencialmente reduzindo custos operacionais dos nós e permitindo blocos maiores com execução mais complexa no longo prazo.
Desenvolvimentos de pesquisa
EIP-8025: a infraestrutura de ZK da Ethereum entra na fase de atualização de protocolo
O mecanismo central do EIP-8025 gira em torno de Optional Execution Proofs. Em vez de exigir que todos os nós reexecutem transações para verificar a validade do bloco, os nós podem, alternativamente, validar uma prova de conhecimento zero confirmando a correção da execução. A proposta não converte imediatamente a Ethereum em uma cadeia baseada em ZK; em vez disso, ela estabelece a base para a transição de uma “cadeia de reexecução direta” para uma “cadeia de verificação de provas”.
A importância está em reduzir a sobrecarga operacional dos nós e estabelecer infraestrutura para blocos maiores e execução mais complexa. Ao permitir que os nós verifiquem provas em vez de replicar cálculos, a Ethereum pode suportar maior rendimento e capacidade de processamento.
Vitalik Buterin sobre IA e verificação formal para cibersegurança
O cofundador da Ethereum Vitalik Buterin publicou uma análise sobre a combinação de IA e verificação formal para transformar a cibersegurança. A verificação formal comprova matematicamente que os programas operam exatamente como pretendido—em contraste com auditorias de segurança tradicionais, nas quais humanos analisam o código em busca de vulnerabilidades.
Buterin propôs que a IA poderia gerar código de assembly em baixo nível, enquanto a verificação formal confirmaria que esse código produz um comportamento idêntico ao de implementações em alto nível legíveis por humanos. Essa abordagem aborda o trade-off tradicional: o código em assembly é eficiente na execução, mas resiste à revisão humana, enquanto o código em alto nível prioriza legibilidade em vez de otimização de desempenho.
Exemplos do ecossistema Ethereum citados incluem Arklib (buscando STARKs verificados formalmente para provar cálculos complexos corretos) e evm-asm (escrevendo a EVM em RISC-V e provando equivalência com implementações em Lean, em que o Lean é uma ferramenta de verificação formal).
Para protocolos de blockchain e contratos inteligentes, métodos de verificação mais fortes são essenciais, já que erros na implantação trazem consequências severas.
ZK Summit 14: foco do sistema de provas muda para garantias no mundo real
O ZK Summit 14 aconteceu em 7 de maio em Roma, com 24 apresentações de equipes importantes do ecossistema ZK, incluindo a Ethereum Foundation, Succinct, Aztec, Nethermind e Miden.
A tendência mais significativa refletiu uma mudança de foco de métricas de desempenho do sistema de provas—velocidade, tamanho da prova, custo de verificação—para garantias do mundo real. A tecnologia de conhecimento zero agora está se integrando a sistemas de pagamento, verificação de identidade, zkVMs e aplicações de machine learning. Nesses contextos, apenas o desempenho da prova não é suficiente:
- Sistemas de pagamento precisam proteger valores de transação e informações dos usuários.
- Sistemas de identidade devem permitir que os usuários provem credenciais necessárias enquanto ocultam outros dados pessoais.
- zkVMs precisam provar com precisão a execução de programas complexos.
- Aplicações de machine learning exigem verificação de que os resultados da inferência do modelo permaneçam não adulterados.
A tecnologia ZK se expandiu além de “geração rápida de provas” para se tornar um método de desenhar garantias de segurança e privacidade adaptadas às exigências de cada sistema. O ZK Summit 14 mostrou a tecnologia de conhecimento zero avançando de pesquisa para integração profunda com infraestrutura e aplicações reais.
Atualizações do ecossistema
Kohaku: framework de privacidade deve ser lançado em breve, com testes de integração de carteira em andamento
O framework modular de privacidade da Ethereum, Kohaku, se aproxima do lançamento com testes de integração com carteiras em andamento. Kohaku oferece uma interface unificada que permite que carteiras executem transações privadas usando múltiplos backends criptográficos, sem implementar funcionalidade de privacidade diretamente.
Carteiras incluindo Ambire estão conduzindo testes de integração do Kohaku. Historicamente, recursos de privacidade enfrentaram barreiras de adoção nas carteiras dos usuários porque protocolos individuais de privacidade empregam arquiteturas diferentes, exigindo que as carteiras suportem cada tecnologia separadamente.
Kohaku trata essa fragmentação permitindo que carteiras acessem múltiplos backends de privacidade por meio de uma única interface. Com maior adoção, pode aumentar o uso do Railgun, identificado como o motor de privacidade fundamental do Kohaku. A estrutura visa transformar a privacidade da Ethereum de “uma ferramenta especializada para usuários avançados” para “um recurso de carteira naturalmente integrado”.
L2BEAT verifica o exit hatch de conhecimento zero mais leve da Lighter
A plataforma de análise de Layer 2, L2BEAT, verificou os circuitos ZK da Lighter, uma DEX de futuros perpétuos no Layer 2. A Lighter permite negociação de derivativos perpétuos—contratos sem datas de expiração.
A L2BEAT compilou todos os circuitos ZK da Lighter diretamente a partir do código-fonte e confirmou alinhamento com contratos verificador implantados (contratos inteligentes que validam provas ZK enviadas). Essa verificação aborda a funcionalidade de exit hatch—o mecanismo de emergência que permite que os usuários retirem ativos caso os sequenciadores ou operadores do Layer 2 parem.
Antes, a Lighter retinha parte do código-fonte do verificador, impedindo que usuários gerassem independentemente provas de saída (dados que comprovam o direito de saque) durante falhas do sequenciador. Após a verificação da L2BEAT, os usuários agora podem gerar provas de saída de forma independente, aumentando a capacidade de sacar ativos sem depender da equipe da Lighter durante emergências.
Esse caso demonstra que, para a segurança de Layer 2, verificar se o código implantado corresponde ao código disponibilizado publicamente é tão crítico quanto a disponibilidade do código em si.
ETHGlobal revisa o formato do hackathon
A ETHGlobal reorganizou o formato de seus hackathons. Hackathons tradicionais exigiam que os participantes escolhessem ideias e construíssem produtos mínimos viáveis (MVPs—versões iniciais que demonstram a funcionalidade central) dentro de prazos curtos.
A partir do hackathon de Nova York, novos trilhos permitem que os participantes contribuam com recursos para repositórios open-source existentes ou adicionem funcionalidade a produtos estabelecidos e, depois, publiquem melhorias publicamente como open source. Essa mudança aumenta a probabilidade de que os resultados do hackathon se traduzam em contribuições reais para o ecossistema. Antes, MVPs de curto prazo frequentemente cessavam o desenvolvimento após o evento. Contribuir para projetos open-source ativos beneficia diretamente usuários e desenvolvedores existentes.
A ETHGlobal está se expandindo de “mostrar rapidamente novas ideias” para “melhorar de forma significativa a infraestrutura existente do ecossistema”. À medida que a Ethereum amadurece, aprimorar bens públicos e ferramentas para desenvolvedores já existentes se torna tão importante quanto criar aplicações totalmente novas.
Atualizações da comunidade
Contribuidores sêniores da Ethereum Foundation deixam o cargo
Dois pesquisadores sêniores da Ethereum Foundation renunciaram: Carl Bewick e Julian Ma. Isso eleva o total de saídas de colaboradores sêniores para sete em dois meses.
Carl Bewick contribuiu com aproximadamente sete anos para a Ethereum Foundation, participando de pesquisa de consenso, design inicial da Beacon Chain e da cerimônia KZG (o procedimento criptográfico relacionado à escalabilidade de disponibilidade de dados da Ethereum).
Julian Ma contribuiu com aproximadamente quatro anos, coautoria do EIP-7805 FOCIL e participação no FCR GTM (discussões sobre resistência à censura e garantias de inclusão de transações, além de regras de confirmação rápida que viabilizam uma percepção de finalização de transação mais veloz).
Saídas recentes de pessoas ligadas à pesquisa central de protocolo e coordenação de upgrades levantam dúvidas sobre a manutenção da coordenação do desenvolvimento de protocolo e da continuidade da pesquisa.
Railgun ganha atenção em meio às expectativas de adoção do Kohaku
O protocolo de privacidade Railgun está recebendo atenção com base nas perspectivas de adoção do Kohaku. A análise sugere que uma maior integração da carteira do Kohaku poderia ampliar o uso do Railgun. O Railgun permite interação com DeFi da Ethereum mantendo privacidade—transações on-chain padrão expõem endereços de carteira, valores de transação e protocolos interagidos, enquanto o Railgun oculta essas informações.
O Railgun aplica taxas de 0,25% em ações de Shield (movendo ativos para zonas protegidas por privacidade) e em ações de unShield (retirando para áreas públicas). A adoção maior de carteiras via Kohaku e um maior volume de transações privadas ampliariam a receita de taxas do Railgun.
A análise observou que o Railgun parece subvalorizado em comparação a moedas de privacidade como ZEC e DASH, com a diferenciação sendo a interação direta com DeFi da Ethereum. Enquanto ZEC e DASH funcionam como moedas de privacidade separadas, o Railgun opera como uma ferramenta de privacidade dentro do DeFi da Ethereum. Se o Kohaku alcançar uma adoção substancial em carteiras, o Railgun pode se tornar o principal beneficiário da infraestrutura de privacidade da Ethereum.
Métricas semanais da Ethereum
- Taxa anual de inflação: 0,833%
- Oferta líquida semanal: 19.422,04 ETH
- Razão de staking: 31,50%
- Capitalização de mercado de stablecoins: US$ 163,019 bilhões
- Saídas líquidas do ETF spot de Ethereum nos EUA: US$ 255,02 milhões
Dados obtidos de Ultrasound Money, DeFi Llama, Dune e Parsec Investors.
