ML-KEM: modulių gardelės, CCA modelis ir nesėkmės
Tyrimų kontekstas
postgraduate concept · conditional · Patikros data 2026-10-10
FIPS 203 ML-KEM naudoja modulių LWE pagrįstą viešojo rakto struktūrą ir rakto inkapsuliavimo transformaciją, kuria siekiama IND-CCA2 saugumo.
Esminės žinios
FIPS 203 ML-KEM naudoja modulių LWE pagrįstą viešojo rakto struktūrą ir rakto inkapsuliavimo transformaciją, kuria siekiama IND-CCA2 saugumo. ML-KEM-512/768/1024 priskirtos kategorijos 1/3/5; polinomo laipsnis yra 256, o modulis – 3329. Šie pavadinimai nėra paprastos saugumo stiprumo bitais žymos. Inkapsuliavimo ir dekapsuliavimo rezultatai gali nesutapti su maža, nuo parametrų priklausančia nesėkmės tikimybe. Vidinis K-PKE komponentas nėra patvirtintas savarankiškam šifravimui; numanomas atmetimas ir įvesties patikros yra konstrukcijos dalis.
Sąlygos ir taikymo ribos
- Saugumas priklauso nuo skaičiavimo prielaidų, maišos modelio analizės, tinkamo parametrų ir įvesties tvarkymo bei atsitiktinumo generavimo.
- Patikrintas galutinis standartas ir dabartinis klaidų atitaisymų sąrašas; hibridiniam deriniui reikia atskiros komponavimo analizės.
Šaltiniai · 2
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
National Institute of Standards and Technology (NIST)2 šaltiniai
Pagrindimas ir peržiūra
Autorius patikrino šį anglišką teiginį, pateiktą lygtį, jei ji yra, ir nurodytas prielaidas pagal šias šaltinių vietas: §§3.2–3.3: IND-CCA2 ir nesėkmių modelis bei įgyvendinimo apribojimai; §§7–8: parametrai, lentelės 1–3; galutinė redakcija – 2024 m. rugpjūčio 13 d.; 2025 m. lapkričio 17 d. planavimo pastaboje nurodytas būsimas pataisymas. Patikra apsiriboja užrašytais teiginiais; neteigiama, kad visiškai atkurtas įrodymas, pakartotinai atlikta programinė įrodymo patikra ar aprėpta visa literatūra.
2026-10-10 · Autoriaus atlikta šaltinio teksto, teiginio, lygties ir taikymo srities patikra; grafo sąsajų aprėptis nurodyta atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir inventoriaus peržiūra.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- research-info-module-lwe-kem
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas