M feistel/src/circuit.rs → feistel/src/circuit.rs

@@ -89,7 +89,6 @@ use plonky2::{
         field::goldilocks_field::GoldilocksField as F,
         hash::{
             hashing::hash_n_to_hash_no_pad,
-            keccak::KeccakHash,
             poseidon::{PoseidonHash, PoseidonPermutation},
         },
         iop::witness::{PartialWitness, WitnessWrite},
@@ -130,7 +129,7 @@ let out_state_target = builder.feistel_cipher(state_target, &key_schedule_target, &f);
 
         let data = builder.build::<PoseidonGoldilocksConfig>();
         (0..10).try_for_each(|_| {
-            let state: [_; { 2 * STATE_HALF_LEN }] = random_fields();
+            let state: [_; 2 * STATE_HALF_LEN] = random_fields();
             let key_schedule: [[_; KEY_LEN]; NR] = std::array::from_fn(|_| random_fields());
             let eff = |fields: Vec<_>| {
                 hash_n_to_hash_no_pad::<F, PoseidonPermutation<_>>(&fields).elements

M feistel/src/lib.rs → feistel/src/lib.rs

@@ -100,7 +100,7 @@ |fields: Vec<_>| hash_n_to_hash_no_pad::<F, PoseidonPermutation<_>>(&fields).elements;
 
         [f_keccak, f_poseidon].into_iter().for_each(|f| {
             (0..10).for_each(|_| {
-                let state: [_; { 2 * STATE_HALF_LEN }] = random_fields();
+                let state: [_; 2 * STATE_HALF_LEN] = random_fields();
                 let key_schedule: [[_; KEY_LEN]; NR] = std::array::from_fn(|_| random_fields());
 
                 let out_state = feistel_cipher(state, &key_schedule, &f);