ECCFROG522PP: An Enhanced 522 bit Weierstrass Elliptic Curve

1. Problema e Contexto

A criptografia de curvas elípticas (ECC) é amplamente utilizada, mas a origem e a geração dos parâmetros de curvas padrão (como NIST P-256, secp256k1 e NIST P-521) frequentemente geram preocupações sobre transparência e "caixas-pretas". Muitos sistemas dependem de parâmetros cujos métodos de geração históricos deixam margem para desconfiança sobre a existência de "portas traseiras" ou escolhas discricionárias não documentadas.

O problema central abordado pelo artigo é a necessidade de uma curva elíptica de alto nível de segurança (equivalente a 521 bits) que seja totalmente transparente, auditável e reprodutível, onde cada parâmetro crítico possa ser derivado de uma semente pública fixa através de um procedimento determinístico, eliminando a necessidade de confiar cegamente na autoridade que publicou os parâmetros.

2. Metodologia

A curva ECCFROG522PP foi projetada seguindo princípios rigorosos de transparência:

• Forma e Campo: É uma curva de Weierstrass curta definida sobre um campo primo ($\mathbb{F}_p$) com 522 bits. A equação é $y^2 = x^3 - 9x + b \pmod p$.
• Geração Determinística: Todos os parâmetros críticos são derivados de uma semente pública fixa: ECCFrog522PP|v1.
  • Coeficiente $b$: Gerado usando o algoritmo de hash BLAKE3 com um índice de busca publicado ($i = 1.294.798$). A fórmula é $b = (\text{BLAKE3}(\text{seed} \parallel b \parallel i) \pmod{p-3}) + 2$.
  • Ponto Base ($G$): As coordenadas são derivadas da mesma semente usando um índice de ponto base ($j = 0$), onde o primeiro índice verificado já resultou em um ponto de ordem completa.
• Validação Estrutural: O processo de geração inclui verificações automáticas para garantir:
  • Ordem do grupo prima (fator de cofator = 1).
  • Ausência de anomalias de discriminante CM (verificado até 100k).
  • Grau de incorporação (embedding degree) com limite inferior de 14 e verificação anti-MOV para $k \le 200$.
  • Torção quadrática com um grande fator primo provado (~505 bits) para resistir a falhas de curvas inválidas.

3. Principais Contribuições

O artigo não propõe uma nova família algébrica de curvas, mas sim uma nova ênfase de design dentro da família de Weierstrass:

1. Reprodutibilidade Total: A curva pode ser regenerada end-to-end por qualquer terceiro, utilizando apenas a semente pública, os índices publicados e scripts de implementação (disponíveis em SageMath).
2. Transparência de Origem: Elimina a ambiguidade sobre a origem dos parâmetros, transferindo a confiança da autoridade do publicador para o processo verificável.
3. Integração Prática: A curva não é apenas teórica; foi integrada na ferramenta de criptografia de arquivos de código aberto HippoFrog, demonstrando sua viabilidade em sistemas reais (usando ECDH efêmero, HKDF-SHA256 e AES-256-GCM).
4. Documentação Completa: O artigo fornece todos os números grandes (módulo, coeficiente, ordem, ponto base) e os scripts de validação necessários para auditoria independente.

4. Resultados

• Parâmetros da Curva:
  • Campo Primo ($p$): 522 bits.
  • Ordem do Subgrupo ($N$): 521 bits (primo).
  • Fator de Cofator: 1.
  • Segurança: Projetada para o mesmo nível de segurança clássica (~256 bits) que a curva NIST P-521.
• Verificações de Segurança:
  • A torção quadrática possui um fator primo provado de ~505 bits, mitigando riscos de ataques de curvas inválidas.
  • Nenhuma redução de grau de incorporação foi encontrada para $k \le 200$.
• Desempenho:
  • O artigo não afirma superioridade de velocidade. Os benchmarks mostram que o desempenho é comparável ao da classe de tamanho geral (similar ao P-521), mas o foco é a transparência, não a otimização de velocidade.
  • O tempo de busca original para encontrar os parâmetros foi de aproximadamente 60 horas em um processador Ryzen 9 5950X.

5. Significância e Conclusão

O ECCFROG522PP representa um passo importante na filosofia de "segurança por transparência". Sua principal contribuição é demonstrar que é possível criar uma curva de criptografia de alto nível de segurança onde a confiança não é baseada em autoridade, mas na capacidade de qualquer pessoa de verificar matematicamente a origem de cada constante.

• Público-Alvo: É ideal para sistemas experimentais, protótipos de pesquisa, ferramentas de auditoria e cenários onde a origem dos parâmetros é um critério de seleção crítico.
• Limitações: O artigo reconhece que a adoção generalizada exigiria revisão independente extensa e que a curva não é projetada para substituir curvas altamente otimizadas em termos de desempenho (como as curvas de Montgomery ou Edwards em implementações específicas).

Em suma, o ECCFROG522PP oferece uma alternativa prática e verificável ao P-521, priorizando a auditabilidade e a eliminação de escolhas discricionárias obscuras no processo de geração de parâmetros.