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

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

add_constraint(const uscs_constraint< FieldT > &constraint)libsnark::uscs_constraint_system< FieldT >
add_constraint(const uscs_constraint< FieldT > &constraint, const std::string &annotation)libsnark::uscs_constraint_system< FieldT >
auxiliary_input_sizelibsnark::uscs_constraint_system< FieldT >
constraintslibsnark::uscs_constraint_system< FieldT >
is_satisfied(const uscs_primary_input< FieldT > &primary_input, const uscs_auxiliary_input< FieldT > &auxiliary_input) constlibsnark::uscs_constraint_system< FieldT >
is_valid() constlibsnark::uscs_constraint_system< FieldT >
num_constraints() constlibsnark::uscs_constraint_system< FieldT >
num_inputs() constlibsnark::uscs_constraint_system< FieldT >
num_variables() constlibsnark::uscs_constraint_system< FieldT >
operator(std::ostream &out, const uscs_constraint_system< FieldT > &cs)libsnark::uscs_constraint_system< FieldT >friend
operator==(const uscs_constraint_system< FieldT > &other) constlibsnark::uscs_constraint_system< FieldT >
operator>>(std::istream &in, uscs_constraint_system< FieldT > &cs)libsnark::uscs_constraint_system< FieldT >friend
primary_input_sizelibsnark::uscs_constraint_system< FieldT >
report_linear_constraint_statistics() constlibsnark::uscs_constraint_system< FieldT >
uscs_constraint_system()libsnark::uscs_constraint_system< FieldT >inline