Skip to main content

nova_snark/frontend/
solver.rs

1//! Support for generating R1CS witness using bellpepper.
2
3use crate::traits::Engine;
4
5use crate::frontend::util_cs::witness_cs::WitnessCS;
6
7/// A `ConstraintSystem` which calculates witness values for a concrete instance of an R1CS circuit.
8pub type SatisfyingAssignment<E> = WitnessCS<<E as Engine>::Scalar>;