#include <prf.hpp>
Inheritance diagram for libzeth::PRF_nf_gadget< FieldT, HashT >:
Collaboration diagram for libzeth::PRF_nf_gadget< FieldT, HashT >:
Public Member Functions | |
| PRF_nf_gadget (libsnark::protoboard< FieldT > &pb, const libsnark::pb_variable< FieldT > &ZERO, const libsnark::pb_variable_array< FieldT > &a_sk, const libsnark::pb_variable_array< FieldT > &rho, std::shared_ptr< libsnark::digest_variable< FieldT >> result, const std::string &annotation_prefix="PRF_nf_gadget") | |
 Public Member Functions inherited from libzeth::PRF_gadget< FieldT, HashT > | |
| PRF_gadget (libsnark::protoboard< FieldT > &pb, const libsnark::pb_variable_array< FieldT > &x, const libsnark::pb_variable_array< FieldT > &y, std::shared_ptr< libsnark::digest_variable< FieldT >> result, const std::string &annotation_prefix="PRF_gadget") | |
| void | generate_r1cs_constraints () |
| void | generate_r1cs_witness () |
Detailed Description
template<typename FieldT, typename HashT>
class libzeth::PRF_nf_gadget< FieldT, HashT >
PRF to generate the nullifier nf = blake2sCompress("1110" || [a_sk]_252 || rho): See ZCash protocol specification paper, page 57
Constructor & Destructor Documentation
◆ PRF_nf_gadget()
template<typename FieldT , typename HashT >
| libzeth::PRF_nf_gadget< FieldT, HashT >::PRF_nf_gadget | ( | libsnark::protoboard< FieldT > & | pb, |
| const libsnark::pb_variable< FieldT > & | ZERO, | ||
| const libsnark::pb_variable_array< FieldT > & | a_sk, | ||
| const libsnark::pb_variable_array< FieldT > & | rho, | ||
| std::shared_ptr< libsnark::digest_variable< FieldT >> | result, | ||
| const std::string & | annotation_prefix = "PRF_nf_gadget< FieldT, HashT >" |
||
| ) |
The documentation for this class was generated from the following file:
- /home/runner/work/zeth/zeth/libzeth/circuits/prfs/prf.hpp
