Por que o Poseidon foi abandonado

O Poseidon foi construído sob medida para sistemas de prova de conhecimento zero, projetado para ser eficiente dentro de circuitos SNARK, onde hashes tradicionais eram anteriormente muito custosos . O principal motivo para abandoná-lo foi que os designs inovadores de SNARK eliminaram a vantagem de desempenho do Poseidon. Como Drake declarou: "Hashes tradicionais prontos para uso, como SHA2 e BLAKE2s, agora podem igualar o Poseidon em um SNARK. Em retrospecto, a chave não foram hashes amigáveis a SNARKs, mas SNARKs amigáveis a hashes" . A mudança também elimina a necessidade de esperar anos para que o Poseidon sobreviva a criptoanálise suficiente, acelerando o cronograma de implantação .

Como SHA-2 e BLAKE2s fortalecem a segurança quântica

SHA-2 e BLAKE2s pertencem à família de assinaturas baseadas em hash (ex.: SPHINCS+, XMSS), que são amplamente aceitas como resistentes a quantum pelo NIST e pela comunidade criptográfica. O roteiro Lean Ethereum inclui a substituição das assinaturas BLS pelo leanXMSS — um esquema de assinatura baseado em hash stateful, construído sobre hashes tradicionais — como a principal alternativa pós-quântica para os validadores do Ethereum . Usar hashes bem analisados e padronizados, em vez de uma construção artesanal amigável a SNARKs, significa que as suposições de segurança pós-quântica são respaldadas por décadas de escrutínio criptoanalítico, reduzindo a dependência da margem de segurança comparativamente não testada do Poseidon .

O avanço: SNARKs de campo binário do Binius e Flock

A mudança foi possibilitada por dois designs inovadores de SNARK:

• Binius — Um SNARK construído sobre torres de extensão de campos binários (campos GF(2)). Seu design se alinha naturalmente com as operações bit a bit que as funções hash tradicionais (SHA-256, Keccak-256) exigem, eliminando a sobrecarga de incorporação que antes tornava a prova delas custosa. Isso torna o Binius exclusivamente adequado para verificar criptografia simétrica clássica dentro de SNARKs .

• Flock — Um SNARK baseado em hash para prova em lote extremamente rápida de avaliações de hash criptográfico padrão (SHA-256, Keccak, BLAKE3). O Flock prova lotes do mesmo circuito R1CS com ganhos massivos de taxa de transferência, permitindo que os novos designs de SNARK processem 1 milhão de provas por segundo em um único núcleo de laptop .

Juntos, eles eliminam a necessidade de hashes amigáveis a SNARKs: hashes padrão agora podem ser provados com a mesma eficiência que o Poseidon, e a comunidade pode "avançar rapidamente para STARKs" usando primitivas tradicionais e testadas em batalha .

Cronograma: leanVM e implantações em camadas até 2028

O "Strawmap" da Fundação Ethereum (publicado pela equipe de Arquitetura) delineia aproximadamente sete forks até 2029, um a cada seis meses . Os marcos principais dos anúncios mais recentes:

• leanVM (nível de produção): Programado para 2027 — uma máquina virtual de conhecimento zero mínima que verifica e agrega provas da camada de execução .
• Implantações nas camadas de consenso, dados e execução: Previstas para 2028 .
• leanXMSS (assinaturas de validador baseadas em hash): Parte da reconstrução plurianual do Lean Ethereum, a ser implementada em uma janela de 3 a 4 anos, juntamente com as Árvores Verkle e outras primitivas resistentes a quantum .

Essas datas permanecem preliminares; cada alteração de protocolo ainda exigirá implementação, teste e acordo na comunidade Ethereum antes da ativação.

O que isso significa para instituições e validadores

A mudança cria pressões operacionais concretas para bancos, custodiantes e serviços de staking institucionais:

• Assinaturas de validador baseadas em hash stateful (leanXMSS): Bancos que operam infraestrutura de validador Ethereum ou serviços de staking precisarão migrar das assinaturas BLS para o leanXMSS, um esquema baseado em hash stateful . Esquemas de assinatura stateful exigem gerenciamento cuidadoso de chaves — um único reúso de chave pode quebrar a segurança — criando riscos operacionais para custodiantes institucionais que as assinaturas tradicionais (stateless) não apresentam.
• Prazos de inventário criptográfico: O cronograma de implantação de 2027-2028 significa que os bancos devem começar os inventários de ativos criptográficos e o planejamento de migração agora. Quaisquer contratos inteligentes, sistemas de custódia ou operações on-chain que dependem de Poseidon ou BLS precisarão ser reengenheirados para provas baseadas em SHA-2/BLAKE2s.
• Impulso regulatório geral: Reguladores globais (ex.: BIS, BCE, NIST dos EUA) estão cada vez mais pressionando as instituições financeiras para planos de transição para a criptografia pós-quântica (PQC). O cronograma de hard fork do Ethereum cria um prazo concreto e de curto prazo para as operações de tesouraria bancária e DeFi se alinharem com assinaturas e hashes resistentes a quantum, em vez dos cronogramas mais distantes frequentemente assumidos nos roteiros de PQC da banca tradicional.

O programa de criptoanálise de US$ 1 milhão da Fundação Ethereum para o Poseidon foi pausado em 1º de agosto de 2026 , sinalizando que a atenção da comunidade criptográfica já mudou para as novas primitivas baseadas em hash. Para desenvolvedores e instituições que constroem no Ethereum, a mensagem é clara: o futuro pós-quântico roda em SHA-2, BLAKE2s e nos designs de SNARK que os tornaram viáveis.

Por que o Poseidon foi abandonado

O Poseidon foi construído sob medida para sistemas de prova de conhecimento zero, projetado para ser eficiente dentro de circuitos SNARK, onde hashes tradicionais eram anteriormente muito custosos . O principal motivo para abandoná-lo foi que os designs inovadores de SNARK eliminaram a vantagem de desempenho do Poseidon. Como Drake declarou: "Hashes tradicionais prontos para uso, como SHA2 e BLAKE2s, agora podem igualar o Poseidon em um SNARK. Em retrospecto, a chave não foram hashes amigáveis a SNARKs, mas SNARKs amigáveis a hashes" . A mudança também elimina a necessidade de esperar anos para que o Poseidon sobreviva a criptoanálise suficiente, acelerando o cronograma de implantação .

Como SHA-2 e BLAKE2s fortalecem a segurança quântica

SHA-2 e BLAKE2s pertencem à família de assinaturas baseadas em hash (ex.: SPHINCS+, XMSS), que são amplamente aceitas como resistentes a quantum pelo NIST e pela comunidade criptográfica. O roteiro Lean Ethereum inclui a substituição das assinaturas BLS pelo leanXMSS — um esquema de assinatura baseado em hash stateful, construído sobre hashes tradicionais — como a principal alternativa pós-quântica para os validadores do Ethereum . Usar hashes bem analisados e padronizados, em vez de uma construção artesanal amigável a SNARKs, significa que as suposições de segurança pós-quântica são respaldadas por décadas de escrutínio criptoanalítico, reduzindo a dependência da margem de segurança comparativamente não testada do Poseidon .

O avanço: SNARKs de campo binário do Binius e Flock

A mudança foi possibilitada por dois designs inovadores de SNARK:

• Binius — Um SNARK construído sobre torres de extensão de campos binários (campos GF(2)). Seu design se alinha naturalmente com as operações bit a bit que as funções hash tradicionais (SHA-256, Keccak-256) exigem, eliminando a sobrecarga de incorporação que antes tornava a prova delas custosa. Isso torna o Binius exclusivamente adequado para verificar criptografia simétrica clássica dentro de SNARKs .

• Flock — Um SNARK baseado em hash para prova em lote extremamente rápida de avaliações de hash criptográfico padrão (SHA-256, Keccak, BLAKE3). O Flock prova lotes do mesmo circuito R1CS com ganhos massivos de taxa de transferência, permitindo que os novos designs de SNARK processem 1 milhão de provas por segundo em um único núcleo de laptop .

Juntos, eles eliminam a necessidade de hashes amigáveis a SNARKs: hashes padrão agora podem ser provados com a mesma eficiência que o Poseidon, e a comunidade pode "avançar rapidamente para STARKs" usando primitivas tradicionais e testadas em batalha .

Cronograma: leanVM e implantações em camadas até 2028

O "Strawmap" da Fundação Ethereum (publicado pela equipe de Arquitetura) delineia aproximadamente sete forks até 2029, um a cada seis meses . Os marcos principais dos anúncios mais recentes:

• leanVM (nível de produção): Programado para 2027 — uma máquina virtual de conhecimento zero mínima que verifica e agrega provas da camada de execução .
• Implantações nas camadas de consenso, dados e execução: Previstas para 2028 .
• leanXMSS (assinaturas de validador baseadas em hash): Parte da reconstrução plurianual do Lean Ethereum, a ser implementada em uma janela de 3 a 4 anos, juntamente com as Árvores Verkle e outras primitivas resistentes a quantum .

Essas datas permanecem preliminares; cada alteração de protocolo ainda exigirá implementação, teste e acordo na comunidade Ethereum antes da ativação.

O que isso significa para instituições e validadores

A mudança cria pressões operacionais concretas para bancos, custodiantes e serviços de staking institucionais:

• Assinaturas de validador baseadas em hash stateful (leanXMSS): Bancos que operam infraestrutura de validador Ethereum ou serviços de staking precisarão migrar das assinaturas BLS para o leanXMSS, um esquema baseado em hash stateful . Esquemas de assinatura stateful exigem gerenciamento cuidadoso de chaves — um único reúso de chave pode quebrar a segurança — criando riscos operacionais para custodiantes institucionais que as assinaturas tradicionais (stateless) não apresentam.
• Prazos de inventário criptográfico: O cronograma de implantação de 2027-2028 significa que os bancos devem começar os inventários de ativos criptográficos e o planejamento de migração agora. Quaisquer contratos inteligentes, sistemas de custódia ou operações on-chain que dependem de Poseidon ou BLS precisarão ser reengenheirados para provas baseadas em SHA-2/BLAKE2s.
• Impulso regulatório geral: Reguladores globais (ex.: BIS, BCE, NIST dos EUA) estão cada vez mais pressionando as instituições financeiras para planos de transição para a criptografia pós-quântica (PQC). O cronograma de hard fork do Ethereum cria um prazo concreto e de curto prazo para as operações de tesouraria bancária e DeFi se alinharem com assinaturas e hashes resistentes a quantum, em vez dos cronogramas mais distantes frequentemente assumidos nos roteiros de PQC da banca tradicional.

O programa de criptoanálise de US$ 1 milhão da Fundação Ethereum para o Poseidon foi pausado em 1º de agosto de 2026 , sinalizando que a atenção da comunidade criptográfica já mudou para as novas primitivas baseadas em hash. Para desenvolvedores e instituições que constroem no Ethereum, a mensagem é clara: o futuro pós-quântico roda em SHA-2, BLAKE2s e nos designs de SNARK que os tornaram viáveis.