Clearmatics Libsnark  0.1
C++ library for zkSNARK proofs
libsnark::r1cs_constraint_system< FieldT > Member List

This is the complete list of members for libsnark::r1cs_constraint_system< FieldT >, including all inherited members.

add_constraint(const r1cs_constraint< FieldT > &c)libsnark::r1cs_constraint_system< FieldT >
add_constraint(const r1cs_constraint< FieldT > &c, const std::string &annotation)libsnark::r1cs_constraint_system< FieldT >
auxiliary_input_sizelibsnark::r1cs_constraint_system< FieldT >
constraintslibsnark::r1cs_constraint_system< FieldT >
is_satisfied(const r1cs_primary_input< FieldT > &primary_input, const r1cs_auxiliary_input< FieldT > &auxiliary_input) constlibsnark::r1cs_constraint_system< FieldT >
is_valid() constlibsnark::r1cs_constraint_system< FieldT >
num_constraints() constlibsnark::r1cs_constraint_system< FieldT >
num_inputs() constlibsnark::r1cs_constraint_system< FieldT >
num_variables() constlibsnark::r1cs_constraint_system< FieldT >
operator(std::ostream &out, const r1cs_constraint_system< FieldT > &cs)libsnark::r1cs_constraint_system< FieldT >friend
operator==(const r1cs_constraint_system< FieldT > &other) constlibsnark::r1cs_constraint_system< FieldT >
operator>>(std::istream &in, r1cs_constraint_system< FieldT > &cs)libsnark::r1cs_constraint_system< FieldT >friend
primary_input_sizelibsnark::r1cs_constraint_system< FieldT >
r1cs_constraint_system()libsnark::r1cs_constraint_system< FieldT >inline
report_linear_constraint_statistics() constlibsnark::r1cs_constraint_system< FieldT >
swap_AB_if_beneficial()libsnark::r1cs_constraint_system< FieldT >