#include <digest_selector_gadget.hpp>
Inheritance diagram for libsnark::digest_selector_gadget< FieldT >:
Collaboration diagram for libsnark::digest_selector_gadget< FieldT >:
Public Member Functions | |
| digest_selector_gadget (protoboard< FieldT > &pb, const size_t digest_size, const digest_variable< FieldT > &input, const pb_linear_combination< FieldT > &is_right, const digest_variable< FieldT > &left, const digest_variable< FieldT > &right, const std::string &annotation_prefix) | |
| void | generate_r1cs_constraints () |
| void | generate_r1cs_witness () |
 Public Member Functions inherited from libsnark::gadget< FieldT > | |
| gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix) | |
Public Attributes | |
| size_t | digest_size |
| digest_variable< FieldT > | input |
| pb_linear_combination< FieldT > | is_right |
| digest_variable< FieldT > | left |
| digest_variable< FieldT > | right |
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::digest_selector_gadget< FieldT >
Definition at line 17 of file digest_selector_gadget.hpp.
Constructor & Destructor Documentation
◆ digest_selector_gadget()
template<typename FieldT >
| libsnark::digest_selector_gadget< FieldT >::digest_selector_gadget | ( | protoboard< FieldT > & | pb, |
| const size_t | digest_size, | ||
| const digest_variable< FieldT > & | input, | ||
| const pb_linear_combination< FieldT > & | is_right, | ||
| const digest_variable< FieldT > & | left, | ||
| const digest_variable< FieldT > & | right, | ||
| const std::string & | annotation_prefix | ||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename FieldT >
| void libsnark::digest_selector_gadget< FieldT >::generate_r1cs_constraints | ( | ) |
◆ generate_r1cs_witness()
template<typename FieldT >
| void libsnark::digest_selector_gadget< FieldT >::generate_r1cs_witness | ( | ) |
Member Data Documentation
◆ digest_size
template<typename FieldT >
| size_t libsnark::digest_selector_gadget< FieldT >::digest_size |
Definition at line 20 of file digest_selector_gadget.hpp.
◆ input
template<typename FieldT >
| digest_variable<FieldT> libsnark::digest_selector_gadget< FieldT >::input |
Definition at line 21 of file digest_selector_gadget.hpp.
◆ is_right
template<typename FieldT >
| pb_linear_combination<FieldT> libsnark::digest_selector_gadget< FieldT >::is_right |
Definition at line 22 of file digest_selector_gadget.hpp.
◆ left
template<typename FieldT >
| digest_variable<FieldT> libsnark::digest_selector_gadget< FieldT >::left |
Definition at line 23 of file digest_selector_gadget.hpp.
◆ right
template<typename FieldT >
| digest_variable<FieldT> libsnark::digest_selector_gadget< FieldT >::right |
Definition at line 24 of file digest_selector_gadget.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/hashes/digest_selector_gadget.hpp
