Abertura
A equipa de zkEVM da Ethereum Foundation propôs incluir o EIP-8025 na bifurcação Hegota, segundo conversas na reunião de All Core Developers (ACD). O EIP-8025 introduz Optional Execution Proofs, permitindo que os nós Ethereum validem provas de conhecimento zero em vez de reexecutar diretamente todas as transações. Atualmente, os nós validam a correcção de blocos reexecutando os resultados das transações; o EIP-8025 acrescenta uma alternativa em que os nós podem verificar uma prova ZK de validade do bloco sem repetir cálculos completos. Nesta fase, a proposta funciona como um mecanismo opt-in completo—apenas os nós que escolhem usar provas são afetados, e as regras de consenso permanecem inalteradas. Isto representa uma mudança formal da Ethereum de uma fase experimental para uma integração a nível de protocolo da tecnologia de conhecimento zero, com potencial para reduzir os custos de operação dos nós e permitir, a longo prazo, blocos maiores com execuções mais complexas.
Desenvolvimentos de Pesquisa
EIP-8025: A Infraestrutura de Conhecimento Zero da Ethereum entra numa fase de atualização de protocolo
O mecanismo central do EIP-8025 assenta em Optional Execution Proofs. Em vez de exigir que todos os nós reexecutem as transações para validar a validade dos blocos, os nós podem, em alternativa, validar uma prova de conhecimento zero que confirma a correção da execução. A proposta não transforma imediatamente a Ethereum numa cadeia baseada em ZK; em vez disso, estabelece a base para a transição de uma “cadeia de reexecução direta” para uma “cadeia de verificação de provas”.
A relevância está em reduzir a sobrecarga operacional dos nós e criar infraestruturas para blocos maiores e execuções mais complexas. Ao permitir que os nós verifiquem provas em vez de replicarem cálculos, a Ethereum pode suportar maior capacidade de transferência e 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 prova matematicamente que os programas funcionam exatamente como pretendido—em contraste com auditorias tradicionais de segurança, em que humanos analisam código à procura de vulnerabilidades.
Buterin propôs que a IA possa gerar código assembly de baixo nível enquanto a verificação formal confirma que este código produz um comportamento idêntico ao de implementações de alto nível legíveis por humanos. Esta abordagem resolve a troca tradicional: o código assembly executa com eficiência mas resiste à revisão humana, enquanto o código de alto nível privilegia a legibilidade em detrimento de otimizações de performance.
Exemplos no ecossistema Ethereum citados incluem Arklib (que procura STARKs verificados formalmente para provar computações complexas corretas) e evm-asm (escrever a EVM em RISC-V e provar equivalência com implementações em Lean, onde Lean é uma ferramenta de verificação formal).
Para protocolos blockchain e smart contracts, métodos de verificação mais fortes são essenciais, já que erros de implementação têm consequências graves.
ZK Summit 14: o foco nos sistemas de provas passa a garantir resultados no mundo real
O ZK Summit 14 reuniu-se a 7 de maio em Roma, com 24 apresentações de equipas relevantes do ecossistema ZK, incluindo 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 de sistemas no mundo real. A tecnologia de conhecimento zero está agora a integrar-se em sistemas de pagamento, verificação de identidade, zkVMs e aplicações de machine learning. Nesses contextos, o desempenho das provas, por si só, não é suficiente:
- Sistemas de pagamento precisam proteger valores das transações e informações dos utilizadores.
- Sistemas de identidade devem permitir que os utilizadores provem credenciais exigidas, ocultando outros dados pessoais.
- zkVMs têm de provar com exatidão a execução de programas complexos.
- Aplicações de machine learning exigem verificação de que os resultados da inferência do modelo não foram manipulados.
A tecnologia ZK expandiu-se para além de “geração rápida de provas” e tornou-se um método para desenhar garantias de segurança e privacidade adaptadas às necessidades de cada sistema. O ZK Summit 14 demonstrou a tecnologia de conhecimento zero a avançar de investigação para integração profunda com infraestruturas e aplicações reais.
Atualizações do Ecossistema
O Kohaku: estrutura de privacidade está prestes a ser lançada; testes de integração em carteira em andamento
A estrutura modular de privacidade da Ethereum, Kohaku, aproxima-se do lançamento com testes de integração com carteiras em progresso. O Kohaku fornece uma interface unificada que permite às carteiras executar transações privadas usando múltiplos backends criptográficos, sem implementar diretamente funcionalidades de privacidade.
Carteiras, incluindo Ambire, estão atualmente a realizar testes de integração do Kohaku. Historicamente, funcionalidades de privacidade enfrentaram barreiras de adoção nas carteiras dos utilizadores, porque protocolos de privacidade individuais utilizam arquiteturas diferentes, exigindo que as carteiras suportem cada tecnologia separadamente.
O Kohaku aborda esta fragmentação permitindo que as carteiras acedam a múltiplos backends de privacidade através de uma única interface. Uma adoção maior pode expandir o uso do Railgun, identificado como o motor base de privacidade do Kohaku. A estrutura pretende transformar a privacidade na Ethereum de “ferramenta especializada para utilizadores avançados” para “uma funcionalidade naturalmente integrada na carteira”.
L2BEAT verifica o Exit Hatch de conhecimento zero do Lighter
A plataforma de análise de Layer 2 L2BEAT verificou os circuitos ZK do Lighter, um DEX de futuros perpétuos na Layer 2. O Lighter permite negociação de derivados perpétuos—contratos sem datas de expiração.
A L2BEAT compilou todos os circuitos ZK do Lighter diretamente a partir do código-fonte e confirmou o alinhamento com contratos verificador implementados (smart contracts que validam provas ZK submetidas). Esta verificação aborda a funcionalidade do exit hatch—o mecanismo de emergência que permite aos utilizadores levantar ativos caso os sequenciadores ou operadores da Layer 2 parem.
Anteriormente, o Lighter retinha algum código-fonte do verificador, impedindo os utilizadores de gerar independentemente provas de saída (dados que provam direitos de levantamento) durante falhas do sequenciador. Após a verificação da L2BEAT, os utilizadores podem agora gerar provas de saída de forma independente, reforçando a capacidade de levantar ativos sem depender da equipa do Lighter durante emergências.
Este caso demonstra que, para a segurança em Layer 2, verificar que o código implementado corresponde ao código publicamente disponível é tão crítico como a própria disponibilidade do código.
ETHGlobal revê o formato do hackathon
A ETHGlobal reestruturou o formato do seu hackathon. Os hackathons tradicionais exigiam que os participantes escolhessem ideias e construíssem produtos mínimos viáveis (MVPs—versões iniciais que demonstram funcionalidades essenciais) dentro de janelas de tempo curtas.
A partir do hackathon de Nova Iorque, novas frentes permitem que os participantes contribuam com funcionalidades para repositórios abertos em que já existe código, ou adicionem funcionalidades a produtos estabelecidos, e depois libertem publicamente melhorias como open source. Esta mudança aumenta a probabilidade de que os resultados do hackathon se traduzam em contribuições genuínas para o ecossistema. Anteriormente, muitos MVPs de curto prazo cessavam o desenvolvimento após o evento. Contribuir para projetos open source ativos beneficia diretamente utilizadores e programadores existentes.
A ETHGlobal está a expandir-se de “mostrar rapidamente novas ideias” para “melhorar de forma significativa infraestruturas existentes do ecossistema”. À medida que a Ethereum amadurece, melhorar bens públicos e ferramentas para programadores já existentes torna-se tão importante como criar aplicações totalmente novas.
Atualizações da Comunidade
Saída de contribuidores sénior da Ethereum Foundation
Dois investigadores séniores da Ethereum Foundation demitiram-se: Carl Bewick e Julian Ma. Isto eleva para sete o total de saídas de contribuidores sénior num período de dois meses.
Carl Bewick contribuiu cerca de sete anos para a Ethereum Foundation, participando em investigação de consenso, design inicial da Beacon Chain e na cerimónia KZG (o procedimento de configuração criptográfica relacionado com a escalabilidade da disponibilidade de dados da Ethereum).
Julian Ma contribuiu cerca de quatro anos, coautorando o EIP-7805 FOCIL e participando no FCR GTM (discussões sobre resistência à censura e garantias de inclusão de transações, e regras de confirmação rápida que permitem uma perceção mais rápida da finalização de transações).
As recentes saídas de pessoal dedicado à investigação do protocolo central e à coordenação de upgrades levantam questões sobre a manutenção da coordenação do desenvolvimento do protocolo e da continuidade da investigação.
Railgun ganha atenção com expectativas de adoção do Kohaku
O protocolo de privacidade Railgun está a receber atenção com base nas perspetivas de adoção do Kohaku. A análise sugere que uma integração maior do Kohaku nas carteiras poderia expandir o uso do Railgun. O Railgun permite interação com Ethereum DeFi mantendo a privacidade—as transações on-chain padrão expõem endereços de carteira, montantes de transação e protocolos interagidos, enquanto o Railgun oculta esta informação.
O Railgun aplica comissões de 0,25% às ações Shield (mover ativos para zonas protegidas por privacidade) e às ações unShield (levantar para áreas públicas). Uma adoção maior em carteiras através do Kohaku e um volume maior de transações privadas expandiriam a receita de comissões do Railgun.
A análise referiu que o Railgun parece subavaliado face a moedas de privacidade como ZEC e DASH, sendo a diferenciação a interação direta com Ethereum DeFi. Enquanto ZEC e DASH funcionam como moedas de privacidade separadas, o Railgun opera como uma ferramenta de privacidade dentro do Ethereum DeFi. Se o Kohaku conseguir uma adoção substancial por parte das carteiras, o Railgun poderá tornar-se 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
- Rácio de staking: 31,50%
- Capitalização de mercado de stablecoins: $163,019 mil milhões
- US Ethereum spot ETF: saídas líquidas de $255,02 milhões
Dados provenientes de Ultrasound Money, DeFi Llama, Dune e Parsec Investors.
