luxfi/crypto
1
0
Fork 0
mirror of https://github.com/luxfi/crypto.git synced 2026-07-27 01:54:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

mlkem/jasmin: correct stale libjade require paths

Browse Source 
encaps/decaps/keygen.jazz did `from Jade require ".../enc.jinc|dec.jinc|
keygen.jinc"` — filenames that never existed in libjade. libjade's ML-KEM-768
ref exposes keypair/enc/dec via a single kem.jinc; corrected the requires to
crypto_kem/mlkem/mlkem768/amd64/ref/kem.jinc. Typecheck clean against libjade
(fetched via pulsar/jasmin/ml-dsa-65/fetch.sh, `-I Jade=<libjade>`).

Co-authored-by: Hanzo Dev <dev@hanzo.ai>
This commit is contained in:
Antje Worring
2026-06-02 10:25:19 -07:00
co-authored by Hanzo Dev
parent 5806c2e02e
commit 0770209513
3 changed files with 15 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
mlkem/jasmin/decaps.jazz
+5 -1
View File
@@ -20,7 +20,11 @@
require "lib/mlkem_params.jinc"
from Jade require "crypto_kem/mlkem/mlkem768/amd64/ref/dec.jinc"
// libjade's ML-KEM-768 ref tree exposes keypair/enc/dec through a single
// `kem.jinc` (functions __crypto_kem_keypair_jazz / __crypto_kem_enc_jazz /
// __crypto_kem_dec_jazz); there is no separate enc.jinc/dec.jinc/keygen.jinc
// in libjade. Resolve the decaps kernel via the canonical kem.jinc.
from Jade require "crypto_kem/mlkem/mlkem768/amd64/ref/kem.jinc"
// Lux ML-KEM-768 decaps wrapper.
//
mlkem/jasmin/encaps.jazz
+5 -1
View File
@@ -19,7 +19,11 @@
require "lib/mlkem_params.jinc"
from Jade require "crypto_kem/mlkem/mlkem768/amd64/ref/enc.jinc"
// libjade's ML-KEM-768 ref tree exposes keypair/enc/dec through a single
// `kem.jinc` (functions __crypto_kem_keypair_jazz / __crypto_kem_enc_jazz /
// __crypto_kem_dec_jazz); there is no separate enc.jinc/dec.jinc/keygen.jinc
// in libjade. Resolve the encaps kernel via the canonical kem.jinc.
from Jade require "crypto_kem/mlkem/mlkem768/amd64/ref/kem.jinc"
// Lux ML-KEM-768 encaps wrapper.
//
mlkem/jasmin/keygen.jazz
+5 -1
View File
@@ -26,7 +26,11 @@
require "lib/mlkem_params.jinc"
from Jade require "crypto_kem/mlkem/mlkem768/amd64/ref/keygen.jinc"
// libjade's ML-KEM-768 ref tree exposes keypair/enc/dec through a single
// `kem.jinc` (functions __crypto_kem_keypair_jazz / __crypto_kem_enc_jazz /
// __crypto_kem_dec_jazz); there is no separate enc.jinc/dec.jinc/keygen.jinc
// in libjade. Resolve the keygen kernel via the canonical kem.jinc.
from Jade require "crypto_kem/mlkem/mlkem768/amd64/ref/kem.jinc"
// Lux ML-KEM-768 keygen wrapper.
//