#include <basic_gadgets.hpp>
Inheritance diagram for libsnark::multipacking_gadget< FieldT >:
Collaboration diagram for libsnark::multipacking_gadget< FieldT >:
Public Member Functions | |
| multipacking_gadget (protoboard< FieldT > &pb, const pb_linear_combination_array< FieldT > &bits, const pb_linear_combination_array< FieldT > &packed_vars, const size_t chunk_size, const std::string &annotation_prefix="") | |
| void | generate_r1cs_constraints (const bool enforce_bitness) |
| void | generate_r1cs_witness_from_packed () |
| void | generate_r1cs_witness_from_bits () |
 Public Member Functions inherited from libsnark::gadget< FieldT > | |
| gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix) | |
Public Attributes | |
| const pb_linear_combination_array< FieldT > | bits |
| const pb_linear_combination_array< FieldT > | packed_vars |
| const size_t | chunk_size |
| const size_t | num_chunks |
Additional Inherited Members | |
| Protected Attributes inherited from libsnark::gadget< FieldT > | |
| protoboard< FieldT > & | pb |
| const std::string | annotation_prefix |
Detailed Description
template<typename FieldT>
class libsnark::multipacking_gadget< FieldT >
Definition at line 60 of file basic_gadgets.hpp.
Constructor & Destructor Documentation
◆ multipacking_gadget()
template<typename FieldT >
| libsnark::multipacking_gadget< FieldT >::multipacking_gadget | ( | protoboard< FieldT > & | pb, |
| const pb_linear_combination_array< FieldT > & | bits, | ||
| const pb_linear_combination_array< FieldT > & | packed_vars, | ||
| const size_t | chunk_size, | ||
| const std::string & | annotation_prefix = "" |
||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename FieldT >
| void libsnark::multipacking_gadget< FieldT >::generate_r1cs_constraints | ( | const bool | enforce_bitness | ) |
◆ generate_r1cs_witness_from_bits()
template<typename FieldT >
| void libsnark::multipacking_gadget< FieldT >::generate_r1cs_witness_from_bits | ( | ) |
◆ generate_r1cs_witness_from_packed()
template<typename FieldT >
| void libsnark::multipacking_gadget< FieldT >::generate_r1cs_witness_from_packed | ( | ) |
Member Data Documentation
◆ bits
template<typename FieldT >
| const pb_linear_combination_array<FieldT> libsnark::multipacking_gadget< FieldT >::bits |
Definition at line 66 of file basic_gadgets.hpp.
◆ chunk_size
template<typename FieldT >
| const size_t libsnark::multipacking_gadget< FieldT >::chunk_size |
Definition at line 69 of file basic_gadgets.hpp.
◆ num_chunks
template<typename FieldT >
| const size_t libsnark::multipacking_gadget< FieldT >::num_chunks |
Definition at line 70 of file basic_gadgets.hpp.
◆ packed_vars
template<typename FieldT >
| const pb_linear_combination_array<FieldT> libsnark::multipacking_gadget< FieldT >::packed_vars |
Definition at line 67 of file basic_gadgets.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/basic_gadgets.hpp
