O cofundador do Ethereum, Vitalik Buterin, explicou em 9 de setembro a EIP-8288, uma proposta para agregar provas STARK e assinaturas criptográficas no nível do mempool.

Buterin afirmou que o modelo poderia reduzir o custo de assinaturas pós-quânticas, transações privadas e novos esquemas criptográficos sem alterar a Máquina Virtual do Ethereum.

A proposta transferiria parte da computação e dos dados para fora do principal caminho de execução do Ethereum, enquanto armazenaria uma prova compacta de correção onchain.

O cofundador do Ethereum, Vitalik Buterin, explicou em 9 de setembro a EIP-8288, uma proposta para introduzir agregação recursiva de provas STARK e assinaturas criptográficas no nível do mempool. Ele afirmou que a abordagem poderia tornar assinaturas pós-quânticas, transações privadas e novos esquemas criptográficos significativamente mais baratos sem exigir alterações na Máquina Virtual do Ethereum.

Buterin espera que a proposta possa ser incluída na atualização I-star, prevista para depois de Hegota. Ele a descreveu como o próximo passo após Frames em uma nota sobre mempools STARK recursivos.

Como funcionaria o mempool STARK recursivo

A EIP-8288, de autoria de Buterin e Tomas Koratje, foi criada em 3 de junho de 2026. Ela estende a EIP-8141 com um novo tipo de frame que permitiria que assinaturas criptográficas e provas STARK fossem agregadas offchain e verificadas por meio de uma única STARK recursiva, sem armazenar diretamente em um bloco todos os dados originais.

A EIP-8141 e o mempool STARK recursivo fazem parte de pesquisas sobre abandonar a execução sequencial por meio da divisão de transações em ações e dependências. O mecanismo proposto usaria frames de dependência, que contêm alegações sobre as dependências de uma transação. Um frame poderia, por exemplo, atestar que um determinado hash de mensagem foi assinado por uma chave pública especificada ou que determinados dados atendiam a uma condição definida por uma chave de verificação.

Quando as transações entrassem no mempool, os nós da rede agregariam suas dependências. A cada 500 milissegundos nominais, um nó coletaria novas transações, removeria as expiradas, geraria uma STARK recursiva que atestaria todas as dependências e encaminharia um novo envelope cobrindo múltiplas transações.

Buterin afirmou que esse desenho poderia limitar as demandas de largura de banda. O tráfego de saída de cada nó consistiria em uma STARK de cerca de 100-300 KB por ciclo, além da habitual transmissão única das transações pela rede.

Um construtor de blocos operaria efetivamente como outro nó do mempool. Ele receberia transações, geraria sua própria STARK para as dependências que planejasse incluir e anexaria a prova ao bloco. A blockchain então armazenaria uma STARK de 100-300 KB, além de 96 bytes para cada alegação coberta pela prova.

Buterin chamou o conceito de “Singularidade da Prova” e afirmou que ele já poderia ser implementado com a tecnologia existente.

Assinaturas pós-quânticas e privacidade

Buterin afirmou que um benefício central da EIP-8288 seria a redução de custos para a criptografia pós-quântica. Assinaturas pós-quânticas com hash podem atualmente ter cerca de 2-3 KB e exigir aproximadamente 150.000-200.000 de gas para verificação, enquanto o modelo proposto evitaria colocar os próprios dados da assinatura onchain.

Ele afirmou que a abordagem poderia tornar assinaturas pós-quânticas, como SPHINCS-, “ultrabaratas”. Buterin também propôs aplicar o mesmo princípio a protocolos de privacidade. Uma transação privada bem otimizada atualmente custa cerca de 300.000 de gas, enquanto soluções pós-quânticas podem exigir aproximadamente 10 milhões de gas. Ele estimou que a EIP-8288 poderia reduzir esse custo para algumas dezenas de milhares de gas.

A proposta também poderia permitir que desenvolvedores usassem novos esquemas criptográficos sem modificar a EVM. Buterin citou Falcon, ML-DSA e outros algoritmos e esquemas baseados em reticulados, códigos e isogenias, que poderiam ser encapsulados em uma STARK no lado do cliente, mantendo os custos onchain em algumas dezenas de milhares de gas.

“Esperançosamente, o Ethereum nunca mais precisará de política de ‘por favor, deem suporte ao meu algoritmo criptográfico favorito’”, escreveu Buterin.

Buterin destacou separadamente a abstração privada de contas. Ele afirmou que ela poderia ocultar a lógica das contas e permitir que a propriedade de todo um estado onchain — incluindo contas, posições de finanças descentralizadas e registros de protocolos privados — fosse transferida em uma única transação sem revelar quais objetos específicos mudaram de mãos.

Requisitos de implementação

Segundo a EIP-8288, computações e dados fora da lógica central de negócios da execução de transações seriam transferidos para fora do principal caminho de execução do Ethereum. Nós do mempool processariam e paralelizariam essas operações, enquanto a blockchain reteria uma prova compacta de sua correção.

Os desenvolvedores também mudariam a forma como lidam com assinaturas e STARKs. Em vez de verificar diretamente uma prova criptográfica, a lógica central da transação verificaria se há um frame contendo a alegação relevante como dependência.

A implementação exigiria que o Ethereum selecionasse uma linguagem, ou arquitetura de conjunto de instruções, para STARKs recursivas. Buterin identificou o RISC-V como o principal candidato, mas afirmou que a decisão exigia consideração cuidadosa porque poderia estabelecer o RISC-V, ou outra ISA, como o padrão canônico do Ethereum.

A EIP-8288 também prevê compatibilidade com FOCIL e usa ferramentas Lean Ethereum para assinaturas e STARKs.

Fonte: HODL Press