Struct libspartan::Instance

pub struct Instance { /* fields omitted */ }

Instance holds the description of R1CS matrices

Implementations

impl Instance

pub fn new(
    num_cons: usize,
    num_vars: usize,
    num_inputs: usize,
    A: &Vec<(usize, usize, [u8; 32])>,
    B: &Vec<(usize, usize, [u8; 32])>,
    C: &Vec<(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