| annotation_prefix | libsnark::gadget< FieldT > | protected |
| consistency_enforcer_gadget(tinyram_protoboard< FieldT > &pb, const pb_variable_array< FieldT > &opcode_indicators, const pb_variable_array< FieldT > &instruction_results, const pb_variable_array< FieldT > &instruction_flags, const pb_variable_array< FieldT > &desidx, const pb_variable< FieldT > &packed_incoming_pc, const pb_variable_array< FieldT > &packed_incoming_registers, const pb_variable< FieldT > &packed_incoming_desval, const pb_variable< FieldT > &incoming_flag, const pb_variable< FieldT > &packed_outgoing_pc, const pb_variable_array< FieldT > &packed_outgoing_registers, const pb_variable< FieldT > &outgoing_flag, const std::string &annotation_prefix="") | libsnark::consistency_enforcer_gadget< FieldT > | |
| desidx | libsnark::consistency_enforcer_gadget< FieldT > | |
| gadget(protoboard< FieldT > &pb, const std::string &annotation_prefix) | libsnark::gadget< FieldT > | |
| generate_r1cs_constraints() | libsnark::consistency_enforcer_gadget< FieldT > | virtual |
| generate_r1cs_witness() | libsnark::consistency_enforcer_gadget< FieldT > | virtual |
| incoming_flag | libsnark::consistency_enforcer_gadget< FieldT > | |
| instruction_flags | libsnark::consistency_enforcer_gadget< FieldT > | |
| instruction_results | libsnark::consistency_enforcer_gadget< FieldT > | |
| opcode_indicators | libsnark::consistency_enforcer_gadget< FieldT > | |
| outgoing_flag | libsnark::consistency_enforcer_gadget< FieldT > | |
| packed_incoming_desval | libsnark::consistency_enforcer_gadget< FieldT > | |
| packed_incoming_pc | libsnark::consistency_enforcer_gadget< FieldT > | |
| packed_incoming_registers | libsnark::consistency_enforcer_gadget< FieldT > | |
| packed_outgoing_desval | libsnark::consistency_enforcer_gadget< FieldT > | |
| packed_outgoing_pc | libsnark::consistency_enforcer_gadget< FieldT > | |
| packed_outgoing_registers | libsnark::consistency_enforcer_gadget< FieldT > | |
| pb | libsnark::tinyram_gadget< FieldT > | protected |
| tinyram_gadget(tinyram_protoboard< FieldT > &pb, const std::string &annotation_prefix="") | libsnark::tinyram_gadget< FieldT > | |
| tinyram_standard_gadget(tinyram_protoboard< FieldT > &pb, const std::string &annotation_prefix="") | libsnark::tinyram_standard_gadget< FieldT > | |
