Merge pull request #130 from formosa-crypto/multirepo/formosa-25519

multirepo: formosa-25519
formosa-crypto · Aug 5, 2024 · df1f7c5 · df1f7c5
2 parents d4b6b6f + 535b22e
commit df1f7c5
Show file tree

Hide file tree

Showing 36 changed files with 4,089 additions and 3,509 deletions.
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