diff --git a/u32/src/witness.rs b/u32/src/witness.rs index 38aa2238..ddc3432f 100644 --- a/u32/src/witness.rs +++ b/u32/src/witness.rs @@ -13,6 +13,7 @@ impl, F: PrimeField64> WitnessU32 for T { fn set_u32_target(&mut self, target: U32Target, value: u32) { self.set_target(target.0, F::from_canonical_u32(value)); } + fn get_u32_target(&self, target: U32Target) -> (u32, u32) { let x_u64 = self.get_target(target.0).to_canonical_u64(); let low = x_u64 as u32;