formosa-crypto
diff --git a/‎.gitmodules
+3 b/‎.gitmodules
+3
diff --git a/‎src/Makefile.common
+1-1 b/‎src/Makefile.common
+1-1
diff --git a/‎src/crypto_kem/xwing/amd64/ref/scalarmult.jinc
+1-1 b/‎src/crypto_kem/xwing/amd64/ref/scalarmult.jinc
+1-1
diff --git a/‎src/crypto_scalarmult/curve25519/amd64/common/51/add5.jinc
-46 b/‎src/crypto_scalarmult/curve25519/amd64/common/51/add5.jinc
-46
diff --git a/‎src/crypto_scalarmult/curve25519/amd64/common/51/cswap5.jinc
-113 b/‎src/crypto_scalarmult/curve25519/amd64/common/51/cswap5.jinc
-113
diff --git a/‎src/crypto_scalarmult/curve25519/amd64/common/51/decode_u5.jinc
-53 b/‎src/crypto_scalarmult/curve25519/amd64/common/51/decode_u5.jinc
-53
diff --git a/‎src/crypto_scalarmult/curve25519/amd64/common/51/init_points5.jinc
-56 b/‎src/crypto_scalarmult/curve25519/amd64/common/51/init_points5.jinc
-56
diff --git a/‎src/crypto_scalarmult/curve25519/amd64/common/51/sub5.jinc
-73 b/‎src/crypto_scalarmult/curve25519/amd64/common/51/sub5.jinc
-73
@@ -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
@@ -33,7 +33,7 @@ endif
 
 # --------------------------------------------------------------------
 JEXT    ?= jazz
-override JFLAGS += -noinsertarraycopy
+override JFLAGS += -noinsertarraycopy $(addprefix -slice ,$(FUNCTIONS))
 JINCLUDE = -I Jade:$(SRC)
 
 JASMIN  ?= jasminc
 
@@ -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)
 {
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-from Jade require "crypto_scalarmult/curve25519/amd64/ref4/curve25519.jinc"`
	`1`	`+from Jade require "crypto_scalarmult/curve25519/amd64/ref4/scalarmult.jazz"`
`2`	`2`
`3`	`3`	`fn xwing_x25519_base_p_rp(#spill_to_mmx reg u64 qp, reg ptr u8[32] _n)`
`4`	`4`	`{`