#include <r1cs_ppzksnark_verifier_gadget.hpp>
Inheritance diagram for libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >:
Collaboration diagram for libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >:
Public Types | |
| typedef libff::Fr< ppT > | FieldT |
Public Member Functions | |
| r1cs_ppzksnark_verifier_process_vk_gadget (protoboard< FieldT > &pb, const r1cs_ppzksnark_verification_key_variable< ppT > &vk, r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT > &pvk, const std::string &annotation_prefix) | |
| void | generate_r1cs_constraints () |
| void | generate_r1cs_witness () |
 Public Member Functions inherited from libsnark::gadget< libff::Fr< ppT > > | |
| gadget (protoboard< libff::Fr< ppT > > &pb, const std::string &annotation_prefix) | |
Public Attributes | |
| std::shared_ptr< precompute_G1_gadget< ppT > > | compute_vk_alphaB_g1_precomp |
| std::shared_ptr< precompute_G1_gadget< ppT > > | compute_vk_gamma_beta_g1_precomp |
| std::shared_ptr< precompute_G2_gadget< ppT > > | compute_vk_alphaA_g2_precomp |
| std::shared_ptr< precompute_G2_gadget< ppT > > | compute_vk_alphaC_g2_precomp |
| std::shared_ptr< precompute_G2_gadget< ppT > > | compute_vk_gamma_beta_g2_precomp |
| std::shared_ptr< precompute_G2_gadget< ppT > > | compute_vk_gamma_g2_precomp |
| std::shared_ptr< precompute_G2_gadget< ppT > > | compute_vk_rC_Z_g2_precomp |
| r1cs_ppzksnark_verification_key_variable< ppT > | vk |
| r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT > & | pvk |
Additional Inherited Members | |
| Protected Attributes inherited from libsnark::gadget< libff::Fr< ppT > > | |
| protoboard< libff::Fr< ppT > > & | pb |
| const std::string | annotation_prefix |
Detailed Description
template<typename ppT>
class libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >
Definition at line 138 of file r1cs_ppzksnark_verifier_gadget.hpp.
Member Typedef Documentation
◆ FieldT
template<typename ppT >
| typedef libff::Fr<ppT> libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >::FieldT |
Definition at line 141 of file r1cs_ppzksnark_verifier_gadget.hpp.
Constructor & Destructor Documentation
◆ r1cs_ppzksnark_verifier_process_vk_gadget()
template<typename ppT >
| libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >::r1cs_ppzksnark_verifier_process_vk_gadget | ( | protoboard< FieldT > & | pb, |
| const r1cs_ppzksnark_verification_key_variable< ppT > & | vk, | ||
| r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT > & | pvk, | ||
| const std::string & | annotation_prefix | ||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename ppT >
| void libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >::generate_r1cs_constraints | ( | ) |
◆ generate_r1cs_witness()
template<typename ppT >
| void libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >::generate_r1cs_witness | ( | ) |
Member Data Documentation
◆ compute_vk_alphaA_g2_precomp
template<typename ppT >
| std::shared_ptr<precompute_G2_gadget<ppT> > libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >::compute_vk_alphaA_g2_precomp |
Definition at line 146 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ compute_vk_alphaB_g1_precomp
template<typename ppT >
| std::shared_ptr<precompute_G1_gadget<ppT> > libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >::compute_vk_alphaB_g1_precomp |
Definition at line 143 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ compute_vk_alphaC_g2_precomp
template<typename ppT >
| std::shared_ptr<precompute_G2_gadget<ppT> > libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >::compute_vk_alphaC_g2_precomp |
Definition at line 147 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ compute_vk_gamma_beta_g1_precomp
template<typename ppT >
| std::shared_ptr<precompute_G1_gadget<ppT> > libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >::compute_vk_gamma_beta_g1_precomp |
Definition at line 144 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ compute_vk_gamma_beta_g2_precomp
template<typename ppT >
| std::shared_ptr<precompute_G2_gadget<ppT> > libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >::compute_vk_gamma_beta_g2_precomp |
Definition at line 148 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ compute_vk_gamma_g2_precomp
template<typename ppT >
| std::shared_ptr<precompute_G2_gadget<ppT> > libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >::compute_vk_gamma_g2_precomp |
Definition at line 149 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ compute_vk_rC_Z_g2_precomp
template<typename ppT >
| std::shared_ptr<precompute_G2_gadget<ppT> > libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >::compute_vk_rC_Z_g2_precomp |
Definition at line 150 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ pvk
template<typename ppT >
| r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable<ppT>& libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >::pvk |
Definition at line 155 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ vk
template<typename ppT >
| r1cs_ppzksnark_verification_key_variable<ppT> libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >::vk |
Definition at line 152 of file r1cs_ppzksnark_verifier_gadget.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/verifiers/r1cs_ppzksnark_verifier_gadget.hpp
