pub trait ToInputs {
// Required method
fn to_inputs(&self, inputs: &mut Inputs);
// Provided methods
fn to_inputs_owned(&self) -> Inputs { ... }
fn hash_with_param(&self, param: &LazyParam) -> Fp { ... }
fn checked_hash_with_param(
&self,
param: &LazyParam,
w: &mut Witness<Fp>,
) -> Fp { ... }
}