accepted_input_types | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | |
arity | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | protected |
bp | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | protected |
compliance_predicate_handler(const BlueprintType &bp, const std::size_t name, const std::size_t type, const std::size_t max_arity, const bool relies_on_same_type_inputs, const std::set< std::size_t > &accepted_input_types=std::set< std::size_t >()) | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | |
generate_r1cs_constraints()=0 | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | pure virtual |
generate_r1cs_witness(const std::vector< std::shared_ptr< r1cs_pcd_message< FieldType >>> &incoming_message_values, const std::shared_ptr< r1cs_pcd_local_data< FieldType >> &local_data_value) | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | virtual |
get_arity() const | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | |
get_compliance_predicate() const | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | |
get_full_variable_assignment() const | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | |
get_incoming_message(const std::size_t message_idx) const | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | |
get_local_data() const | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | |
get_outgoing_message() const | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | |
get_witness() const | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | |
incoming_messages | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | protected |
local_data | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | protected |
max_arity | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | |
name | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | |
outgoing_message | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | protected |
relies_on_same_type_inputs | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | |
type | nil::crypto3::zk::snark::compliance_predicate_handler< FieldType, BlueprintType > | |