Verificação Nativa de Assinaturas Pós-Quânticas NIST Entra em Funcionamento na Aere Network, uma Estreia numa Layer-1 EVM Pública

A verificação pós-quântica nativa está ativa na mainnet e aberta a inspeção: um registo de investigação público, um segundo cliente independente que reproduz a cadeia byte a byte e endpoints que qualquer pessoa pode verificar.

MÓNACO, 18 de julho de 2026: A Aere Network, uma blockchain pública Layer-1 compatível com a EVM (Chain ID 2800), ativou na sua mainnet a verificação nativa, ao nível do protocolo, de assinaturas pós-quânticas padronizadas pelo NIST, uma capacidade que, tanto quanto é do conhecimento do projeto, nenhuma outra Layer-1 EVM pública oferece. Os verificadores entraram em funcionamento a 12 de julho de 2026, no bloco 9.189.161. Hoje, a rede publica o registo de investigação completo por trás deles, juntamente com um segundo cliente implementado de forma independente que reproduz a cadeia byte a byte em todas as alturas verificadas, e endpoints públicos que qualquer carteira pode verificar por si própria.

O que a Aere lançou

A Aere moveu os verificadores pós-quânticos do NIST para o motor da própria cadeia. Cinco contratos pré-compilados nativos, abrangendo Falcon-512, Falcon-1024, ML-DSA-44 (FIPS 204), SLH-DSA-128s (FIPS 205) e a função de hash SHAKE256 (FIPS 202), correm ao custo do protocolo. Os cinco passam nos Known-Answer Tests oficiais do NIST, e uma verificação Falcon ponta a ponta está registada na mainnet para qualquer pessoa inspecionar. O resultado prático: uma conta ou um contrato inteligente na Aere pode exigir uma assinatura resistente à computação quântica antes de mover valor, de forma nativa e não através de um complemento acoplado.

A restante pilha tecnológica também está ativa. A custódia de limiar pós-quântica coloca as contas sob um comité de signatários resistentes à computação quântica, sem uma chave única e sem administrador. Um registo governado de agilidade criptográfica permite que a rede migre para esquemas mais recentes à medida que os padrões evoluem. As carteiras com passkeys situam-se ao lado destes mecanismos pós-quânticos, substituindo as seed phrases pelo desbloqueio de dispositivo que as pessoas já utilizam; as passkeys funcionam sobre a criptografia padrão atual e estão abrangidas pelo mesmo registo de agilidade.

Porque é que isto importa agora

Todas as grandes blockchains, do Bitcoin ao Ethereum, protegem contas e transações com assinaturas de curva elíptica, e um computador quântico suficientemente poderoso a executar o algoritmo de Shor quebra por completo essa matemática. Como as cadeias são públicas e permanentes, a ameaça é atual: no caso da encriptação, as agências de segurança chamam-lhe "colher agora, decifrar depois" (harvest now, decrypt later), e, no caso das assinaturas, o equivalente é ainda mais grave, porque as chaves públicas registadas hoje tornam-se falsificáveis no dia em que a matemática cair. A exposição de chaves de longa duração, de tesourarias a posições institucionais e a agentes de IA de alta frequência, já começou. O NIST finalizou os padrões de assinatura pós-quântica em 2024, e migrar as blockchains em funcionamento para esses padrões é o trabalho de casa que a indústria ainda tem por resolver. É esse o trabalho de casa que a Aere entregou a 12 de julho e que documenta na íntegra hoje.

Concebida para ser verificada, não para ser acreditada

A posição da Aere é que uma rede de liquidação deve ser verificável em vez de exigir confiança, e aplica esse critério a si própria:

• A investigação é pública. O artigo completo sobre o fork pós-quântico, as Propostas de Melhoria da Aere (Aere Improvement Proposals) e o registo de verificação (49 propriedades de consenso verificadas por máquina, provadas por SMT sobre o modelo do protocolo, e 15 provas de execução simbólica sobre os contratos principais) estão publicados em git.aere.network/aere-network/aere-research: o artigo e o registo de verificação sob a licença MIT, e as Propostas de Melhoria dedicadas ao domínio público através da CC0.
• Um segundo cliente, independente, concorda com a cadeia. Um cliente implementado separadamente, construído sobre uma base de código diferente e numa linguagem de programação diferente, liga-se à rede em funcionamento e reproduziu os blocos e o estado global (world state) da Aere byte a byte em todas as alturas verificadas até agora: uma execução ao vivo verificada até ao bloco 182.777, e um nó seguidor permanente e não validador está agora a repetir todo o histórico da cadeia desde a génese.
• Os dados são verificáveis. Uma camada anterior de apresentação de taxas (shim) foi desativada em julho de 2026; os endpoints públicos servem agora o mercado real de taxas da cadeia, e cada cabeçalho de bloco servido reconstrói o seu próprio hash de bloco, para que carteiras, auditores e light clients possam verificar em vez de confiar. A rede consta do registo público canónico de cadeias usado pelas principais carteiras, com dois endpoints RPC públicos em centros de dados geograficamente separados.
• Os limites são declarados. O conjunto de validadores é atualmente de sete nós operados pela Fundação, todos a executar o cliente da rede derivado do Besu e a tolerar dois nós em falha (quórum de cinco em sete); o segundo cliente independente funciona como seguidor não validador, e o caminho de descentralização está publicado no roadmap e no whitepaper do projeto. A assinatura de consenso na mainnet continua a ser ECDSA clássica; a capacidade pós-quântica situa-se na camada de conta e de aplicação. Trata-se de um faseamento deliberado: as chaves de conta têm longa duração e estão permanentemente expostas na cadeia, pelo que são as primeiras a carregar o risco de "colher agora", enquanto as chaves de validador podem ser rodadas, e a sua migração é o trabalho de consenso híbrido, condicionado a auditoria, descrito mais abaixo. O sistema em produção ainda não concluiu uma auditoria por terceiros; as provas publicadas e os testes de conformidade são trabalho do próprio projeto, disponibilizados para qualquer pessoa voltar a executar.

Rápida ao ponto de parecer instantânea, com uma economia selada por código

A Aere produz um bloco a cada meio segundo, com finalidade determinística: assim que uma transação está num bloco, é final, sem contagens de confirmações e sem reorganizações, e uma transferência típica custa uma fração de cêntimo. O token nativo, AERE, tem um fornecimento fixo de 2,8 mil milhões (2.800.000.000) definido na génese, sem nova emissão e sem calendário de desbloqueio para insiders, e a alocação de génese é visível na cadeia para qualquer pessoa inspecionar. Uma parte das recompensas dos validadores, definida pela Fundação, atualmente de 37,5 por cento e limitada por código a um máximo rígido de metade, é encaminhada para um cofre de queima selado, sem qualquer via de levantamento.

Os parâmetros de bloco admitem um teto de conceção da ordem das 273.000 transações por segundo; trata-se de um teto implícito nos parâmetros, não de um valor medido, e o débito efetivo de hoje está muito abaixo desse valor. Fechar essa lacuna é a tarefa do roadmap de escalabilidade publicado, que inclui um motor de execução paralela já construído no fork do cliente, mas que ainda não serve a mainnet. A rede foi também construída para a economia das máquinas: o Aere402, uma via de pagamento compatível com o x402, permite que agentes de IA paguem por pedido com liquidação em menos de um segundo, e um registo de identidade de agentes na cadeia dá ao software autónomo uma base verificável.

O caminho a seguir

Em redes de teste isoladas, está em curso trabalho rumo a um consenso híbrido pós-quântico: blocos assinados pelos validadores com assinaturas clássicas e Falcon em simultâneo, para que a própria cadeia, e não apenas as suas contas, assente em matemática resistente à computação quântica. O desenho é verificado por máquina e é público, e a atualização só é lançada após uma auditoria externa. A tese do projeto cabe numa frase: final como a matemática, segura quando a matemática muda.

Sobre a Aere Network

A Aere Network é uma rede de liquidação Layer-1 pública e compatível com a EVM (Chain ID 2800), construída para durar mais do que a criptografia atual: finalidade determinística em meio segundo, taxas típicas abaixo de um cêntimo, um fornecimento fixo de tokens e verificação nativa de assinaturas pós-quânticas NIST ativa na camada de conta, na mainnet, com consenso híbrido pós-quântico em desenvolvimento e condicionado a auditoria externa. Tudo aquilo que a rede afirma foi concebido para ser verificado por qualquer pessoa, do explorador de blocos ao registo de investigação publicado.

• Website aere.network
• Explorador explorer.aere.network
• Investigação git.aere.network/aere-network/aere-research (MIT; propostas de melhoria CC0)
• Whitepaper aere.network/whitepaper
• Centro de Imprensa Centro de Imprensa e Media

Contacto para imprensa: Aere Network Foundation, [email protected]. Para o kit de imprensa completo, logótipos e comunicados anteriores, visite o Centro de Imprensa e Media.

FIM