Use correct length of anemoi round keys (#319)

FindoraNetwork · Aug 3, 2023 · 6b6c022 · 6b6c022
1 parent 0cc6d13
commit 6b6c022
Show file tree

Hide file tree

Showing 12 changed files with 18 additions and 22 deletions.
diff --git a/api/parameters/abar-to-ar-vk-ed25519.bin b/api/parameters/abar-to-ar-vk-ed25519.bin
diff --git a/api/parameters/abar-to-ar-vk-secp256k1.bin b/api/parameters/abar-to-ar-vk-secp256k1.bin
diff --git a/api/parameters/abar-to-bar-vk-ed25519.bin b/api/parameters/abar-to-bar-vk-ed25519.bin
diff --git a/api/parameters/abar-to-bar-vk-secp256k1.bin b/api/parameters/abar-to-bar-vk-secp256k1.bin
diff --git a/api/parameters/ar-to-abar-vk.bin b/api/parameters/ar-to-abar-vk.bin
diff --git a/api/parameters/bar-to-abar-vk.bin b/api/parameters/bar-to-abar-vk.bin
diff --git a/api/parameters/transfer-vk-ed25519-specific.bin b/api/parameters/transfer-vk-ed25519-specific.bin
diff --git a/api/parameters/transfer-vk-secp256k1-specific.bin b/api/parameters/transfer-vk-secp256k1-specific.bin
diff --git a/crypto/src/anemoi_jive/tests/bls12_381.rs b/crypto/src/anemoi_jive/tests/bls12_381.rs
@@ -569,8 +569,6 @@ fn test_eval_stream_cipher_flatten() {
             x[i] += &y[i];
         }
 
-        println!("{}", rr);
-
         assert_eq!(x, trace.after_permutation[rr].0);
         assert_eq!(y, trace.after_permutation[rr].1);
     }

diff --git a/crypto/src/anemoi_jive/tests/bn254.rs b/crypto/src/anemoi_jive/tests/bn254.rs
@@ -568,8 +568,6 @@ fn test_eval_stream_cipher_flatten() {
             x[i] += &y[i];
         }
 
-        println!("{}", rr);
-
         assert_eq!(x, trace.after_permutation[rr].0);
         assert_eq!(y, trace.after_permutation[rr].1);
     }

diff --git a/plonk/src/plonk/constraint_system/turbo.rs b/plonk/src/plonk/constraint_system/turbo.rs
@@ -203,7 +203,7 @@ impl<F: Scalar> ConstraintSystem for TurboCS<F> {
             empty_poly,
         ];
         for i in self.anemoi_constraints_indices.iter() {
-            for j in 0..12 {
+            for j in 0..14 {
                 polys[0][*i + j] = self.anemoi_preprocessed_round_keys_x[j][0];
                 polys[1][*i + j] = self.anemoi_preprocessed_round_keys_x[j][1];
                 polys[2][*i + j] = self.anemoi_preprocessed_round_keys_y[j][0];

diff --git a/smoke-tests/src/tests/smoke_axfr_compatibility.rs b/smoke-tests/src/tests/smoke_axfr_compatibility.rs