CRYSTALS-Kyber: KEM oparty na kratach
Prześledzić enkapsulację klucza Module-LWE i zestawy parametrów
CRYSTALS-Kyber: KEM oparty na kratach to bezpłatna lekcja Cryptology Academy na CoddyKit. To lekcja 2 z 4. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej Cryptology Academy, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs Cryptology Academy zawiera 4 lekcji w sumie.
Dlaczego Kyber?
CRYSTALS-Kyber (przemianowany przez NIST na ML-KEM w dokumencie FIPS 203) to mechanizm enkapsulacji klucza (KEM) oparty na Module-LWE. Zastępuje RSA i ECDH podczas wymiany kluczy, zapewniając odporność na obliczenia kwantowe przy praktycznej wydajności.
KEM a uzgadnianie klucza
KEM enkapsuluje wspólny sekret: nadawca generuje losowy klucz K i szyfruje go kluczem publicznym odbiorcy (enkapsulacja), uzyskując szyfrogram C. Odbiorca dekapsuluje C swoim kluczem prywatnym, aby odzyskać K. Interaktywna wymiana klucza nie jest potrzebna.
Podstawa Module-LWE
Kyber wykorzystuje Module-LWE nad pierścieniem R_q = Z_q[x]/(x^256+1), gdzie q=3329. Wymiar k=2 (Kyber-512), k=3 (Kyber-768), k=4 (Kyber-1024). Poziom bezpieczeństwa wynosi odpowiednio ~128, ~192 i ~256 bitów. k=3 (Kyber-768) jest zalecaną wartością domyślną.
Generowanie kluczy
Należy wygenerować macierz A ∈ R_q^{k×k} na podstawie ziarna ρ (rozwijalnego). Następnie należy wylosować sekret s i szum e z centrowanego rozkładu dwumianowego (małe współczynniki). Klucz publiczny: (ρ, t=As+e). Klucz prywatny: s. Szum e jest mały, ale uniemożliwia odzyskanie s na podstawie klucza publicznego.
Enkapsulacja
Aby wysłać wspólny sekret posiadaczowi klucza publicznego (ρ, t), należy wylosować r, e1, e2 z rozkładu szumu. Następnie należy obliczyć u = A^T r + e1, v = t^T r + e2 + round(q/2)*m, gdzie m jest losową wiadomością 256-bitową. Wspólny sekret K = KDF(m). Szyfrogram = (u, v).
Dekapsulacja
Mając klucz prywatny s, należy obliczyć m' = decompress(v - s^T u) = decompress(t^T r + e2 + round(q/2)*m - s^T(A^T r + e1)). Składniki szumu w przybliżeniu się znoszą, pozostawiając m'≈m. Następnie należy obliczyć K = KDF(m'). Prawdopodobieństwo niepowodzenia dekapsulacji: < 2^{-139}.
Rozmiary klucza i szyfrogramu
Kyber-768: klucz publiczny 1184 bajty, klucz prywatny 2400 bajtów, szyfrogram 1088 bajtów, wspólny sekret 32 bajty. Dla porównania ECDH-P256: klucz publiczny 65 bajtów, szyfrogram 32 bajty. Kyber jest około 15 razy większy, ale odporny na ataki kwantowe. Nadal działa szybko: enkapsulacja i dekapsulacja trwają poniżej 1 ms na nowoczesnych procesorach.
Optymalizacja NTT
Mnożenie wielomianów w R_q = Z_q[x]/(x^256+1) wykorzystuje transformatę teoretyczno-liczbową (NTT) — modularny odpowiednik FFT. NTT zmniejsza złożoność mnożenia wielomianów z O(n^2) do O(n log n). Wartość q=3329 wybrano ze względu na dobre właściwości NTT dla n=256.
Hybrydowa wymiana klucza
Podczas migracji do PQC należy stosować hybrydową wymianę klucza: połączyć ECDH i Kyber. Wspólny sekret = KDF(ECDH_output || Kyber_output). Bezpieczeństwo wymaga złamania obu mechanizmów: przeciwnicy klasyczni nie łamią żadnego z nich, a przeciwnicy kwantowi łamią ECDH, ale nie Kyber. Szkice TLS 1.3 (IETF RFC 8446) obsługują hybrydowe KEM-y.
Aspekty kanałów bocznych
Dekapsulacja Kybera nie ma stałego czasu wykonania w naiwnych implementacjach — etap próbkowania z odrzucaniem ujawnia informacje poprzez czas wykonania. Implementacja referencyjna wykorzystuje stałoczasowe NTT i porównanie skompresowanego szyfrogramu. Należy używać kodu referencyjnego z dokumentu zgłoszeniowego NIST lub poddanych audytowi implementacji bibliotek.
Stan wdrożenia
NIST opublikował FIPS 203 (ML-KEM) w sierpniu 2024 roku. Chrome dodał obsługę Kybera w TLS 1.3 w 2023 roku. Cloudflare, Google i AWS wdrażają hybrydowe ECDH+Kyber. OpenSSL 3.x dodał obsługę ML-KEM. Implementacje LibSSH i WireGuard są w trakcie tworzenia.
Szybki test
Jaki dokument standardu NIST standaryzuje CRYSTALS-Kyber?
Podsumowanie
Kyber (ML-KEM) to KEM oparty na Module-LWE, zastępujący ECDH. Rozmiary kluczy wynoszą około 1 KB; szybka arytmetyka NTT; odporność na obliczenia kwantowe. Podczas migracji należy wdrażać go hybrydowo z ECDH. Standaryzowany jako FIPS 203. Dalej: schematy podpisu CRYSTALS-Dilithium i Falcon.
Ucz się Cryptology Academy dzięki korepetycjom AI — za darmo
Pisz i uruchamiaj kod w przeglądarce, otrzymuj natychmiastową pomoc od korepetytora AI dostępnego 24/7 i kontynuuj naukę w sieci lub w aplikacji.
- Kursy
- 67
- Lekcje
- 261
Często zadawane pytania
Czy lekcja „CRYSTALS-Kyber: KEM oparty na kratach” jest bezpłatna?
Tak — pełny tekst „CRYSTALS-Kyber: KEM oparty na kratach” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu Cryptology Academy, przejdź na CoddyKit PRO. Kurs Cryptology Academy zawiera 4 lekcji w sumie.
Co nauczysz się w „CRYSTALS-Kyber: KEM oparty na kratach”?
Prześledzić enkapsulację klucza Module-LWE i zestawy parametrów Ćwiczysz Cryptology Academy z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.
Czy potrzebuję doświadczenia, aby zacząć Cryptology Academy?
Nie wymagamy żadnego doświadczenia. Cryptology Academy w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 2 z 4.
Ile czasu zajmuje lekcja „CRYSTALS-Kyber: KEM oparty na kratach”?
Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.
Czy mogę pisać i uruchamiać kod w tej lekcji Cryptology Academy?
Tak. Każda lekcja Cryptology Academy zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.
Wszystkie lekcje w tym kursie
- Algorytmy Shora i Grovera — wyjaśnienie
- CRYSTALS-Kyber: KEM oparty na kratach
- Podpisy CRYSTALS-Dilithium i Falcon
- Migracja do PQC: podejścia hybrydowe