Kriptografija

Verifika NIST: iċċekkja ML-DSA-87, SLH-DSA u Ed25519 int stess

L-istitut tal-istandardizzazzjoni Amerikan NIST jippubblika vetturi tat-test uffiċjali għal ML-DSA (FIPS 204) u SLH-DSA (FIPS 205): input flimkien mar-riżultati li implimentazzjoni korretta trid tagħti, inklużi firem immanipulati apposta. Hawn il-browser tiegħek jerġa’ jikkalkula dawn il-każijiet bl-istess modulu eżatt li jiċċekkja wkoll ir-reviżjonijiet tagħna.

Ibda t-test

Il-fajls tat-test jitniżżlu direttament min-NIST fuq GitHub, mhux mis-servers tagħna. Il-fajl tat-test ta’ SLH-DSA huwa ta’ madwar 30 MB, għalhekk it-tniżżil jista’ jieħu ftit ħin.

Jew: niżżel il-fajls int stess u agħżilhom
  1. Iftaħ il-folders ML-DSA-keyGen-FIPS204, ML-DSA-sigVer-FIPS204, SLH-DSA-keyGen-FIPS205, SLH-DSA-sigVer-FIPS205, EDDSA-SigGen-1.0 u EDDSA-SigVer-1.0 fuq il-GitHub tan-NIST.
  2. Niżżel internalProjection.json minn kull wieħed.
  3. Agħżel il-fajls hawn (kollha jew uħud):

X’juri t-test u x’ma jurix

  • Ġenerazzjoni taċ-ċwievet (keyGen): minn kull valur tal-bidu tan-NIST (żerriegħa) il-modulu tagħna joħloq firma. Din hija valida taħt iċ-ċavetta pubblika speċifikata min-NIST biss jekk il-modulu tagħna kkalkula eżattament l-istess ċavetta.
  • Verifika tal-firma (sigVer): il-modulu tagħna jrid jasal għall-istess deċiżjoni bħan-NIST f’kull każ, anke b’firem, messaġġi u kuntesti mibdula apposta.
  • SLH-DSA-SHA2-256f: mit-tliet valuri tal-bidu tan-NIST (skSeed, skPrf, pkSeed), il-modulu tagħna jrid jiġġenera eżatt l-istess ċavetta privata u pubblika bħan-NIST — imqabbla byte b’byte. Għall-verifika tal-firma japplika l-istess bħal hawn fuq. Jiġi evalwat biss is-sett ta’ parametri SHA2-256f, li juża McGesund.
  • Ed25519: hawn mhux il-kodiċi tagħna stess li qed jiġi ttestjat, iżda l-kriptografija integrata fil-browser u l-librerija ta’ riżerva tagħna noble, li tiċċekkja r-reviżjonijiet f’browsers mingħajr Ed25519. Jiġi ttestjat Ed25519 pur mingħajr pre-hash u kuntest, kif niffirmaw aħna. In-NIST jipprovdi biss ftit każijiet immanipulati għal dan; il-bqija huma firem validi li għandhom jiġu aċċettati.
  • Mhux kopert: il-ġestjoni taċ-ċwievet, is-servers u l-proċessi madwar il-firma. It-test juri li l-matematika taqbel mal-istandard, xejn aktar.
  • FN-DSA (Falcon): l-istandard FIPS 206 għadu mhux finali, għalhekk in-NIST għadu ma ppubblikax vetturi tat-test uffiċjali. Hekk kif joħorġu, inżidu hawn.

← Lura għall-ħarsa ġenerali tal-kriptografija