Îmi puteți oferi o scurtă prezentare a noilor ipoteze importante din lumea PQ (de exemplu, ceva similar cu ipoteza factorizării sau a logaritmului discret)?
Problema factorizării și a logaritmului discret sunt „probleme” matematice care sunt folosite pentru a crea securitatea de bază pentru algoritmii RSA și DH. Ai putea crede că algoritmii care se bazează pe aceste probleme sunt „familii” de algoritmi. În acest caz, DH și ECDH ar face parte din aceeași familie, deoarece folosesc aceeași problemă matematică, chiar dacă folosesc domenii separate pentru a-și atinge scopul.
Familii similare sunt cunoscute pentru Criptografia Post Quantum:
- Pe bază de zăbrele (de exemplu, CRYSTALS-Kyber și CRYSTALS-Dilithium);
- Pe bază de cod (de exemplu, Classic-McEliece);
- Bazat pe izogenie (de exemplu, SIKE);
- Bazat pe mai multe variante (de exemplu, Curcubeu);
- Bazat pe hash (de exemplu, SPHINCS+);
Îmi puteți oferi o prezentare generală despre noile modele/ajustări ale modelelor actuale (de exemplu, oracol aleatoriu vs. oracol aleatoriu cuantic)?
Random Oracle Model (ROM) nu poate reflecta capacitatea de a efectua analize cuantice. Prin urmare, poate fi folosit în schimb un nou model numit Metoda Oracol aleatoriu accesibilă cuantică. Aceasta acoperă ROM-ul cu noile abilități oferite de calculul cuantic, iar algoritmii pot fi dovediți folosind QROM care nu poate fi acoperit de ROM.
Rețineți că niciunul dintre modele nu oferă dovezi în modelul standard, adică algoritmii care s-au dovedit siguri sunt siguri doar în acel model specific. Asta e de așteptat; Nici RSA și ECDSA nu pot fi dovedite sigure în modelul standard, deoarece nu putem demonstra că factorizarea sau rezolvarea problemei logaritmului discret este de fapt dificilă.
Puteți găsi mai multe informații în lucrare „Oracole aleatorii într-o lume cuantică” de ENISA care listă de autori include de ex. Tanja Lange. Lucrarea ENISA face referire la lucrare „Oracole aleatorii într-o lume cuantică” de autorul principal Dan Boneh. Tanja a postat un serie de videoclipuri despre familiile PQC pe YouTube dacă doriți să vă scufundați mai adânc în matematica din spatele diferitelor familii.
