Is this closure supposed to be called during setup when not all data may be available? FpVar for example does not call it during setup, only for proof generation.
let a = EdwardsVar::new_witness(cs.clone(), || {
Ok(EdwardsAffine::new(dbg!(self.ax), self.ay))
})?;https://github.com/arkworks-rs/r1cs-std/blob/master/src/groups/curves/twisted_edwards/mod.rs#L271
Is this closure supposed to be called during setup when not all data may be available?
FpVarfor example does not call it during setup, only for proof generation.https://github.com/arkworks-rs/r1cs-std/blob/master/src/groups/curves/twisted_edwards/mod.rs#L271