Kryptografia
NIST-tarkistus: tarkista ML-DSA-87, SLH-DSA ja Ed25519 itse
Yhdysvaltain standardointi-instituutti NIST julkaisee viralliset testivektorit ML-DSA:lle (FIPS 204) ja SLH-DSA:lle (FIPS 205): syötteet ja tulokset, jotka oikean toteutuksen on tuotettava, mukaan lukien tahallisesti manipuloidut allekirjoitukset. Tässä selaimesi laskee nämä tapaukset uudelleen täsmälleen samalla moduulilla, joka tarkistaa myös arvostelumme.
Käynnistä testi
Testitiedostot ladataan suoraan NIST:ltä GitHubista, ei palvelimiltamme. SLH-DSA-testitiedosto on noin 30 MB, joten lataaminen voi kestää hetken.
Tai: lataa tiedostot itse ja valitse ne
- Avaa kansiot
ML-DSA-keyGen-FIPS204,ML-DSA-sigVer-FIPS204,SLH-DSA-keyGen-FIPS205,SLH-DSA-sigVer-FIPS205,EDDSA-SigGen-1.0jaEDDSA-SigVer-1.0NIST:n GitHubissa. - Lataa kummastakin
internalProjection.json. - Valitse tiedostot tästä (kaikki tai yksittäisiä):
Mitä testi osoittaa ja mitä ei
- Avainten luonti (keyGen): moduulimme luo jokaisesta NIST:n lähtöarvosta (siemen) allekirjoituksen. Se on kelvollinen NIST:n antamalla julkisella avaimella vain, jos moduulimme on laskenut täsmälleen saman avaimen.
- Allekirjoituksen tarkistus (sigVer): moduulimme on päädyttävä jokaisessa tapauksessa samaan tulokseen kuin NIST, myös tahallisesti muutetuilla allekirjoituksilla, viesteillä ja konteksteilla.
- SLH-DSA-SHA2-256f: NIST:n kolmesta lähtöarvosta (skSeed, skPrf, pkSeed) moduulimme on tuotettava täsmälleen sama yksityinen ja julkinen avain kuin NIST — tavu tavulta verrattuna. Allekirjoituksen tarkistuksessa pätee sama kuin yllä. Arvioidaan vain parametrijoukko SHA2-256f, jota McGesund käyttää.
- Ed25519: tässä ei testata omaa koodiamme, vaan selaimeen sisäänrakennettua kryptografiaa ja varakirjastoamme noblea, joka tarkistaa arvostelut selaimissa, joissa ei ole Ed25519:ää. Testataan puhdasta Ed25519:ää ilman esitiivistystä ja kontekstia, kuten mekin allekirjoitamme. NIST tarjoaa tähän vain muutaman manipuloidun tapauksen; loput ovat kelvollisia allekirjoituksia, jotka on hyväksyttävä.
- Ei kata: avainten hallintaa, palvelimia eikä allekirjoituksen ympärillä olevia prosesseja. Testi osoittaa, että matematiikka vastaa standardia, ei enempää.
- FN-DSA (Falcon): FIPS 206 -standardi ei ole vielä lopullinen, joten NIST ei ole vielä julkaissut virallisia testivektoreita. Lisäämme ne tähän heti, kun ne ilmestyvät.