ECCFROG522PP: An Enhanced 522 bit Weierstrass Elliptic Curve

Titolo

ECCFROG522PP: Una curva ellittica di Weierstrass potenziata a 522 bit

1. Il Problema

La crittografia a curve ellittiche (ECC) è ampiamente adottata, ma la fiducia nei parametri delle curve più diffuse (come NIST P-256, secp256k1 e NIST P-521) è spesso minata da preoccupazioni riguardo alla loro generazione. In molti casi, la procedura di generazione dei parametri non è completamente trasparente o riproducibile, lasciando spazio a dubbi su possibili "backdoor" o scelte arbitrarie non documentate.
Sebbene curve come NIST P-521 offrano un livello di sicurezza classica di circa 256 bit, la mancanza di una derivazione deterministica e pubblicamente verificabile dai parametri di base riduce la fiducia degli implementatori e dei revisori indipendenti. Esiste quindi un bisogno di curve crittografiche di alto livello di sicurezza (intorno ai 522 bit) la cui origine sia completamente trasparente, auditabile e riproducibile da chiunque, senza dipendere dall'autorità del creatore originale.

2. Metodologia

L'autore propone ECCFROG522PP, una nuova curva ellittica definita su un campo primo in forma breve di Weierstrass ($y^2 = x^3 - 9x + b \pmod p$). La metodologia si basa su un principio fondamentale: ogni parametro critico deve essere riproducibile pubblicamente da un seme fisso tramite una procedura deterministica.

I pilastri metodologici includono:

• Seme Pubblico: L'intera generazione parte dal seme fisso ECCFrog522PP|v1.
• Pipeline Deterministica BLAKE3: I parametri non sono scelti a caso, ma derivati usando l'algoritmo di hashing BLAKE3.
  • Il coefficiente $b$ è calcolato come: $b = (\text{BLAKE3}(\text{seed} \parallel b \parallel i) \pmod{p-3}) + 2$, dove $i$ è un indice di ricerca pubblicato ($1.294.798$).
  • Il punto base $G$ è derivato da un indice $j=0$ applicando $\text{BLAKE3}(\text{seed} \parallel G \parallel j) \pmod p$.
• Indici Pubblicati: Gli indici di ricerca utilizzati per trovare i parametri validi sono resi pubblici, permettendo a chiunque di rieseguire la ricerca.
• Validazione Automatica: È fornito uno script (basato su SageMath) che permette di verificare l'intera catena di generazione, dal seme ai parametri finali.

3. Contributi Chiave

Il contributo principale del lavoro non è una nuova famiglia matematica o un miglioramento delle prestazioni, ma un cambio di paradigma nella trasparenza dei parametri:

1. Riproducibilità Completa: La curva è definita da un seme e regole fisse. Chiunque può rigenerare i parametri $p$, $a$, $b$, $G$ e l'ordine del gruppo $N$ senza ambiguità.
2. Parametri Specifici:
   • Dimensione: Campo primo a 522 bit (ordine del sottogruppo a 521 bit).
   • Ordine e Co-fattore: L'ordine del gruppo è un numero primo, quindi il co-fattore è 1.
   • Sicurezza Strutturale: La curva supera controlli di sanità (sanity checks) contro anomalie CM (Complex Multiplication), ha un grado di immersione (embedding degree) inferiore limitato a 14 (con verifica anti-MOV fino a $k \le 200$) e possiede una torsione quadratica con un grande fattore primo provato di circa 505 bit.
3. Integrazione Pratica: La curva non è solo teorica; è integrata in uno strumento di crittografia open source chiamato HippoFrog (licenza MIT), dimostrando la fattibilità operativa.

4. Risultati

• Generazione dei Parametri: È stato possibile generare una curva valida con ordine primo e punto base di ordine pieno utilizzando l'indice $j=0$ per il punto base e l'indice $i=1.294.798$ per il coefficiente $b$.
• Verifica di Sicurezza:
  • L'ordine del gruppo è un numero primo (nessun co-fattore > 1).
  • La torsione quadratica offre resistenza contro attacchi che sfruttano curve deboli.
  • Non sono state trovate riduzioni di tipo MOV per $k \le 200$.
• Prestazioni: I benchmark mostrano che le prestazioni di ECCFROG522PP sono comparabili ad altre curve della stessa classe dimensionale (come NIST P-521). Il documento non rivendica superiorità in velocità, ma conferma che la trasparenza non comporta un degrado inaccettabile delle prestazioni.
• Ambiente di Ricerca: La ricerca originale è stata condotta su un sistema Linux con CPU Ryzen 9 5950X, richiedendo circa 60 ore di tempo di calcolo, ma la verifica finale richiede solo pochi secondi.

5. Significato e Implicazioni

ECCFROG522PP rappresenta un'alternativa pratica alla classe di sicurezza di NIST P-521, spostando il focus dalla "fiducia nell'autorità" alla "fiducia nel processo verificabile".

• Trasparenza come Sicurezza: Dimostra che è possibile costruire curve crittografiche robuste dove l'origine dei parametri è aperta all'ispezione, riducendo il rischio di backdoor intenzionali o accidentali.
• Utilizzo in Contesti Specifici: È particolarmente adatta per prototipi di ricerca, software crittografici sperimentali e sistemi che richiedono un alto livello di auditabilità e fiducia decentralizzata.
• Modello per il Futuro: Il lavoro stabilisce un modello per la generazione di parametri crittografici che può essere adottato da altri ricercatori per creare curve "verificabili per costruzione", promuovendo una cultura della crittografia più aperta e meno dipendente da standard chiusi.

In sintesi, ECCFROG522PP non cerca di essere la curva più veloce, ma la curva più trasparente e verificabile nella sua classe di sicurezza, offrendo una soluzione concreta al problema della fiducia nella generazione dei parametri crittografici.