Most recent jasmin and jasmin2ec extraction

formosa-crypto · Feb 11, 2025 · 600dfe3 · 600dfe3
1 parent 81f4a36
commit 600dfe3
Show file tree

Hide file tree

Showing 19 changed files with 482 additions and 530 deletions.
diff --git a/code/Makefile.conf b/code/Makefile.conf
@@ -6,3 +6,6 @@ current_dir := $(dir $(realpath $(lastword $(MAKEFILE_LIST))))
 # --------------------------------------------------------------------
 JASMIN ?= $(current_dir)/../jasmin/compiler/
 JASMINC ?=  $(JASMIN)/jasminc -I Keccak:$(current_dir)/../formosa-keccak/src/amd64
+JASMIN2EC ?=  JASMINPATH="Keccak=$(current_dir)/../formosa-keccak/src/amd64" $(JASMIN)/jasmin2ec 
+
+
diff --git a/code/jasmin/mlkem_avx2/extraction/Makefile b/code/jasmin/mlkem_avx2/extraction/Makefile
@@ -9,11 +9,12 @@
 # --------------------------------------------------------------------
 all: ec
 
-ec:
-	$(JASMINC) ../jkem.jazz -oec jkem_avx2.ec \
-	  -ec jade_kem_mlkem_mlkem768_amd64_avx2_keypair \
-	  -ec jade_kem_mlkem_mlkem768_amd64_avx2_enc \
-	  -ec jade_kem_mlkem_mlkem768_amd64_avx2_dec
+
+ec: 
+	$(JASMIN2EC) ../jkem.jazz --array-model=old -o jkem_avx2.ec \
+	  -f jade_kem_mlkem_mlkem768_amd64_avx2_keypair \
+	  -f jade_kem_mlkem_mlkem768_amd64_avx2_enc \
+	  -f jade_kem_mlkem_mlkem768_amd64_avx2_dec
 
 clean:
 	rm -f *.ec