Merge branch 'main' into feature/hakyber_mlkem

Author: tfaoliveira-sb

.github/workflows/amd64-linux-main-build-instructions.yml .github/workflows/amd64-linux-main-build-instructions.yml.0

@@ -3,4 +3,4 @@
 	url = https://github.com/tyhicks/ssbd-tools.git
 [submodule "submodules/crypto-specs"]
 	path = submodules/crypto-specs
-	url = git@github.com:formosa-crypto/crypto-specs.git
+	url = https://github.com/formosa-crypto/crypto-specs.git

.gitmodules

@@ -86,7 +86,6 @@ fn __barrett_reduce(reg u16 a) -> reg u16
   //t = #SAR_32(t, 26);
   t >>s= 26;
   t *= KYBER_Q;
-  r = t;
   r = a;
   r -= t;
   return r;

src/crypto_kem/kyber/common/amd64/avx2/reduce.jinc

@@ -39,7 +39,6 @@ fn __barrett_reduce(reg u16 a) -> reg u16
   //t = #SAR_32(t, 26);
   t >>s= 26;
   t *= KYBER_Q;
-  r = t;
   r = a;
   r -= t;
   return r;