#include <tinyram_protoboard.hpp>
Public Member Functions | |
| tinyram_standard_gadget (tinyram_protoboard< FieldT > &pb, const std::string &annotation_prefix="") | |
| virtual void | generate_r1cs_constraints ()=0 |
| virtual void | generate_r1cs_witness ()=0 |
 Public Member Functions inherited from libsnark::tinyram_gadget< FieldT > | |
| tinyram_gadget (tinyram_protoboard< FieldT > &pb, const std::string &annotation_prefix="") | |
| Public Member Functions inherited from libsnark::gadget< FieldT > | |
| gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix) | |
Additional Inherited Members | |
| Protected Attributes inherited from libsnark::tinyram_gadget< FieldT > | |
| tinyram_protoboard< FieldT > & | pb |
| Protected Attributes inherited from libsnark::gadget< FieldT > | |
| protoboard< FieldT > & | pb |
| const std::string | annotation_prefix |
Detailed Description
template<typename FieldT>
class libsnark::tinyram_standard_gadget< FieldT >
Definition at line 45 of file tinyram_protoboard.hpp.
Constructor & Destructor Documentation
◆ tinyram_standard_gadget()
| libsnark::tinyram_standard_gadget< FieldT >::tinyram_standard_gadget | ( | tinyram_protoboard< FieldT > & | pb, |
| const std::string & | annotation_prefix = "" |
||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
|
pure virtual |
Implemented in libsnark::ALU_shr_shl_gadget< FieldT >, libsnark::ALU_divmod_gadget< FieldT >, libsnark::ALU_smul_gadget< FieldT >, libsnark::ALU_umul_gadget< FieldT >, libsnark::ALU_cmps_gadget< FieldT >, libsnark::ALU_cmp_gadget< FieldT >, libsnark::ALU_cmov_gadget< FieldT >, libsnark::ALU_mov_gadget< FieldT >, libsnark::ALU_sub_gadget< FieldT >, libsnark::ALU_add_gadget< FieldT >, libsnark::ALU_not_gadget< FieldT >, libsnark::ALU_gadget< FieldT >, libsnark::ALU_xor_gadget< FieldT >, libsnark::ALU_or_gadget< FieldT >, libsnark::ALU_cnjmp_gadget< FieldT >, libsnark::ALU_and_gadget< FieldT >, libsnark::tinyram_cpu_checker< FieldT >, libsnark::memory_masking_gadget< FieldT >, libsnark::ALU_cjmp_gadget< FieldT >, libsnark::consistency_enforcer_gadget< FieldT >, libsnark::ALU_jmp_gadget< FieldT >, and libsnark::argument_decoder_gadget< FieldT >.
◆ generate_r1cs_witness()
|
pure virtual |
Implemented in libsnark::ALU_shr_shl_gadget< FieldT >, libsnark::ALU_divmod_gadget< FieldT >, libsnark::ALU_smul_gadget< FieldT >, libsnark::ALU_umul_gadget< FieldT >, libsnark::ALU_cmps_gadget< FieldT >, libsnark::ALU_cmp_gadget< FieldT >, libsnark::ALU_cmov_gadget< FieldT >, libsnark::ALU_mov_gadget< FieldT >, libsnark::ALU_sub_gadget< FieldT >, libsnark::ALU_add_gadget< FieldT >, libsnark::ALU_not_gadget< FieldT >, libsnark::ALU_gadget< FieldT >, libsnark::ALU_xor_gadget< FieldT >, libsnark::ALU_or_gadget< FieldT >, libsnark::ALU_cnjmp_gadget< FieldT >, libsnark::ALU_and_gadget< FieldT >, libsnark::tinyram_cpu_checker< FieldT >, libsnark::memory_masking_gadget< FieldT >, libsnark::ALU_cjmp_gadget< FieldT >, libsnark::consistency_enforcer_gadget< FieldT >, libsnark::ALU_jmp_gadget< FieldT >, and libsnark::argument_decoder_gadget< FieldT >.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/tinyram_protoboard.hpp
