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

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

accepted_input_typeslibsnark::compliance_predicate_handler< FieldT, protoboardT >
aritylibsnark::compliance_predicate_handler< FieldT, protoboardT >protected
compliance_predicate_handler(const protoboardT &pb, const size_t name, const size_t type, const size_t max_arity, const bool relies_on_same_type_inputs, const std::set< size_t > accepted_input_types=std::set< size_t >())libsnark::compliance_predicate_handler< FieldT, protoboardT >
generate_r1cs_constraints()=0libsnark::compliance_predicate_handler< FieldT, protoboardT >pure virtual
generate_r1cs_witness(const std::vector< std::shared_ptr< r1cs_pcd_message< FieldT >>> &incoming_message_values, const std::shared_ptr< r1cs_pcd_local_data< FieldT >> &local_data_value)libsnark::compliance_predicate_handler< FieldT, protoboardT >virtual
get_arity() constlibsnark::compliance_predicate_handler< FieldT, protoboardT >
get_compliance_predicate() constlibsnark::compliance_predicate_handler< FieldT, protoboardT >
get_full_variable_assignment() constlibsnark::compliance_predicate_handler< FieldT, protoboardT >
get_incoming_message(const size_t message_idx) constlibsnark::compliance_predicate_handler< FieldT, protoboardT >
get_local_data() constlibsnark::compliance_predicate_handler< FieldT, protoboardT >
get_outgoing_message() constlibsnark::compliance_predicate_handler< FieldT, protoboardT >
get_witness() constlibsnark::compliance_predicate_handler< FieldT, protoboardT >
incoming_messageslibsnark::compliance_predicate_handler< FieldT, protoboardT >protected
local_datalibsnark::compliance_predicate_handler< FieldT, protoboardT >protected
max_aritylibsnark::compliance_predicate_handler< FieldT, protoboardT >
namelibsnark::compliance_predicate_handler< FieldT, protoboardT >
outgoing_messagelibsnark::compliance_predicate_handler< FieldT, protoboardT >protected
pblibsnark::compliance_predicate_handler< FieldT, protoboardT >protected
relies_on_same_type_inputslibsnark::compliance_predicate_handler< FieldT, protoboardT >
typelibsnark::compliance_predicate_handler< FieldT, protoboardT >