Use Witnesses::default() when possible

QED-it · Nov 21, 2024 · 3543928 · 3543928
1 parent 2f1e211
commit 3543928
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 48 deletions.
diff --git a/src/circuit/circuit_vanilla.rs b/src/circuit/circuit_vanilla.rs
@@ -861,30 +861,7 @@ mod tests {
             .unwrap();
 
         let circuit = OrchardCircuitVanilla {
-            witnesses: Witnesses {
-                path: Value::unknown(),
-                pos: Value::unknown(),
-                g_d_old: Value::unknown(),
-                pk_d_old: Value::unknown(),
-                v_old: Value::unknown(),
-                rho_old: Value::unknown(),
-                psi_old: Value::unknown(),
-                rcm_old: Value::unknown(),
-                cm_old: Value::unknown(),
-                psi_nf: Value::unknown(),
-                alpha: Value::unknown(),
-                ak: Value::unknown(),
-                nk: Value::unknown(),
-                rivk: Value::unknown(),
-                g_d_new: Value::unknown(),
-                pk_d_new: Value::unknown(),
-                v_new: Value::unknown(),
-                psi_new: Value::unknown(),
-                rcm_new: Value::unknown(),
-                rcv: Value::unknown(),
-                asset: Value::unknown(),
-                split_flag: Value::unknown(),
-            },
+            witnesses: Witnesses::default(),
             phantom: std::marker::PhantomData,
         };
         halo2_proofs::dev::CircuitLayout::default()

diff --git a/src/circuit/circuit_zsa.rs b/src/circuit/circuit_zsa.rs
@@ -1087,30 +1087,7 @@ mod tests {
             .unwrap();
 
         let circuit = OrchardCircuitZSA {
-            witnesses: Witnesses {
-                path: Value::unknown(),
-                pos: Value::unknown(),
-                g_d_old: Value::unknown(),
-                pk_d_old: Value::unknown(),
-                v_old: Value::unknown(),
-                rho_old: Value::unknown(),
-                psi_old: Value::unknown(),
-                rcm_old: Value::unknown(),
-                cm_old: Value::unknown(),
-                psi_nf: Value::unknown(),
-                alpha: Value::unknown(),
-                ak: Value::unknown(),
-                nk: Value::unknown(),
-                rivk: Value::unknown(),
-                g_d_new: Value::unknown(),
-                pk_d_new: Value::unknown(),
-                v_new: Value::unknown(),
-                psi_new: Value::unknown(),
-                rcm_new: Value::unknown(),
-                rcv: Value::unknown(),
-                asset: Value::unknown(),
-                split_flag: Value::unknown(),
-            },
+            witnesses: Witnesses::default(),
             phantom: std::marker::PhantomData,
         };
         halo2_proofs::dev::CircuitLayout::default()