pub type SatisfyingAssignment<E> = WitnessCS<<E as Engine>::Scalar>;Expand description
A ConstraintSystem which calculates witness values for a concrete instance of an R1CS circuit.
Aliased Type§
pub struct SatisfyingAssignment<E> { /* private fields */ }Trait Implementations§
Source§impl<E: Engine> NovaWitness<E> for SatisfyingAssignment<E>
impl<E: Engine> NovaWitness<E> for SatisfyingAssignment<E>
Source§fn r1cs_instance_and_witness(
&self,
shape: &R1CSShape<E>,
ck: &<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey,
) -> Result<(R1CSInstance<E>, R1CSWitness<E>), NovaError>
fn r1cs_instance_and_witness( &self, shape: &R1CSShape<E>, ck: &<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey, ) -> Result<(R1CSInstance<E>, R1CSWitness<E>), NovaError>
Return an instance and witness, given a shape and ck.