mlkem-native

mlkem-native mlkem-native은 ML-KEM1의 안전하고 빠르며 이식 가능한 C902 구현체입니다. 이는 ML-KEM 참조 구현체3의 포크입니다. mlkem/src/ 및 mlkem/src/fips202/의 모든 C 코드는 CBMC4를 사용하여 메모리 안전성메모리 오버플로 없음과 타입 안전성정수 오버플로 없음이 증명되었습니다. 모든 AArch64 및 x8664 어셈블리는 HOL-Light5를 사용하여 기능적 정확성, 메모리 안전성, 비밀 독립적 타이밍상수 시간이 증명되었습니다. mlkem-native는...