formosa-crypto · tfaoliveira-sb · Aug 5, 2024 · Aug 5, 2024 · Aug 5, 2024 · Aug 5, 2024
diff --git a/.gitmodules b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "submodules/crypto-specs"]
 	path = submodules/crypto-specs
 	url = https://github.com/formosa-crypto/crypto-specs.git
+[submodule "submodules/formosa-25519"]
+	path = submodules/formosa-25519
+	url = https://github.com/formosa-crypto/formosa-25519.git
diff --git a/src/Makefile.common b/src/Makefile.common
@@ -33,7 +33,7 @@ endif
 
 # --------------------------------------------------------------------
 JEXT    ?= jazz
-override JFLAGS += -noinsertarraycopy
+override JFLAGS += -noinsertarraycopy $(addprefix -slice ,$(FUNCTIONS))
 JINCLUDE = -I Jade:$(SRC)
 
 JASMIN  ?= jasminc

diff --git a/src/crypto_kem/xwing/amd64/ref/scalarmult.jinc b/src/crypto_kem/xwing/amd64/ref/scalarmult.jinc
@@ -1,4 +1,4 @@
-from Jade require "crypto_scalarmult/curve25519/amd64/ref4/curve25519.jinc"
+from Jade require "crypto_scalarmult/curve25519/amd64/ref4/scalarmult.jazz"
 
 fn xwing_x25519_base_p_rp(#spill_to_mmx reg u64 qp, reg ptr u8[32] _n)
 {

diff --git a/src/crypto_scalarmult/curve25519/amd64/common/51/add5.jinc b/src/crypto_scalarmult/curve25519/amd64/common/51/add5.jinc
diff --git a/src/crypto_scalarmult/curve25519/amd64/common/51/cswap5.jinc b/src/crypto_scalarmult/curve25519/amd64/common/51/cswap5.jinc
diff --git a/src/crypto_scalarmult/curve25519/amd64/common/51/decode_u5.jinc b/src/crypto_scalarmult/curve25519/amd64/common/51/decode_u5.jinc
diff --git a/src/crypto_scalarmult/curve25519/amd64/common/51/init_points5.jinc b/src/crypto_scalarmult/curve25519/amd64/common/51/init_points5.jinc
diff --git a/src/crypto_scalarmult/curve25519/amd64/common/51/sub5.jinc b/src/crypto_scalarmult/curve25519/amd64/common/51/sub5.jinc