diff --git a/src/iop/witness.rs b/src/iop/witness.rs index 339f8cfb..1c2f2e3d 100644 --- a/src/iop/witness.rs +++ b/src/iop/witness.rs @@ -57,6 +57,18 @@ impl PartialWitness { ) } + pub fn get_extension_targets( + &self, + ets: &[ExtensionTarget], + ) -> Vec + where + F: Extendable, + { + ets.iter() + .map(|&et| self.get_extension_target(et)) + .collect() + } + pub fn get_hash_target(&self, ht: HashOutTarget) -> HashOut { HashOut { elements: self.get_targets(&ht.elements).try_into().unwrap(),