From 35439281dabf27341afab8fd7467a731c7720c21 Mon Sep 17 00:00:00 2001 From: Constance Beguier Date: Thu, 21 Nov 2024 15:09:00 +0100 Subject: [PATCH] Use Witnesses::default() when possible --- src/circuit/circuit_vanilla.rs | 25 +------------------------ src/circuit/circuit_zsa.rs | 25 +------------------------ 2 files changed, 2 insertions(+), 48 deletions(-) diff --git a/src/circuit/circuit_vanilla.rs b/src/circuit/circuit_vanilla.rs index a2ddc8ab4..4fcb95ce2 100644 --- 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 index bcf1c053f..34f9c120e 100644 --- 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()