Struct Instance 

pub struct Instance { /* private fields */ }

Instance holds the description of R1CS matrices and a hash of the matrices

Implementations

impl Instance

pub fn new( num_cons: usize, num_vars: usize, num_inputs: usize, A: &[(usize, usize, [u8; 32])], B: &[(usize, usize, [u8; 32])], C: &[(usize, usize, [u8; 32])], ) -> Result<Instance, R1CSError>

Constructs a new Instance and an associated satisfying assignment

pub fn is_sat( &self, vars: &VarsAssignment, inputs: &InputsAssignment, ) -> Result<bool, R1CSError>

Checks if a given R1CSInstance is satisfiable with a given variables and inputs assignments

pub fn produce_synthetic_r1cs( num_cons: usize, num_vars: usize, num_inputs: usize, ) -> (Instance, VarsAssignment, InputsAssignment)

Constructs a new synthetic R1CS Instance and an associated satisfying assignment