#include <r1cs_ppzksnark_verifier_gadget.hpp>
Inheritance diagram for libsnark::r1cs_ppzksnark_proof_variable< ppT >:
Collaboration diagram for libsnark::r1cs_ppzksnark_proof_variable< ppT >:
Public Types | |
| typedef libff::Fr< ppT > | FieldT |
Public Member Functions | |
| r1cs_ppzksnark_proof_variable (protoboard< FieldT > &pb, const std::string &annotation_prefix) | |
| void | generate_r1cs_constraints () |
| void | generate_r1cs_witness (const r1cs_ppzksnark_proof< other_curve< ppT >> &proof) |
 Public Member Functions inherited from libsnark::gadget< libff::Fr< ppT > > | |
| gadget (protoboard< libff::Fr< ppT > > &pb, const std::string &annotation_prefix) | |
Static Public Member Functions | |
| static size_t | size () |
Public Attributes | |
| std::shared_ptr< G1_variable< ppT > > | g_A_g |
| std::shared_ptr< G1_variable< ppT > > | g_A_h |
| std::shared_ptr< G2_variable< ppT > > | g_B_g |
| std::shared_ptr< G1_variable< ppT > > | g_B_h |
| std::shared_ptr< G1_variable< ppT > > | g_C_g |
| std::shared_ptr< G1_variable< ppT > > | g_C_h |
| std::shared_ptr< G1_variable< ppT > > | g_H |
| std::shared_ptr< G1_variable< ppT > > | g_K |
| std::vector< std::shared_ptr< G1_variable< ppT > > > | all_G1_vars |
| std::vector< std::shared_ptr< G2_variable< ppT > > > | all_G2_vars |
| std::vector< std::shared_ptr< G1_checker_gadget< ppT > > > | all_G1_checkers |
| std::shared_ptr< G2_checker_gadget< ppT > > | G2_checker |
| pb_variable_array< FieldT > | proof_contents |
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_proof_variable< ppT >
Definition at line 35 of file r1cs_ppzksnark_verifier_gadget.hpp.
Member Typedef Documentation
◆ FieldT
template<typename ppT >
| typedef libff::Fr<ppT> libsnark::r1cs_ppzksnark_proof_variable< ppT >::FieldT |
Definition at line 38 of file r1cs_ppzksnark_verifier_gadget.hpp.
Constructor & Destructor Documentation
◆ r1cs_ppzksnark_proof_variable()
template<typename ppT >
| libsnark::r1cs_ppzksnark_proof_variable< ppT >::r1cs_ppzksnark_proof_variable | ( | protoboard< FieldT > & | pb, |
| const std::string & | annotation_prefix | ||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename ppT >
| void libsnark::r1cs_ppzksnark_proof_variable< ppT >::generate_r1cs_constraints | ( | ) |
◆ generate_r1cs_witness()
template<typename ppT >
| void libsnark::r1cs_ppzksnark_proof_variable< ppT >::generate_r1cs_witness | ( | const r1cs_ppzksnark_proof< other_curve< ppT >> & | proof | ) |
◆ size()
template<typename ppT >
|
static |
Member Data Documentation
◆ all_G1_checkers
template<typename ppT >
| std::vector<std::shared_ptr<G1_checker_gadget<ppT> > > libsnark::r1cs_ppzksnark_proof_variable< ppT >::all_G1_checkers |
Definition at line 52 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ all_G1_vars
template<typename ppT >
| std::vector<std::shared_ptr<G1_variable<ppT> > > libsnark::r1cs_ppzksnark_proof_variable< ppT >::all_G1_vars |
Definition at line 49 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ all_G2_vars
template<typename ppT >
| std::vector<std::shared_ptr<G2_variable<ppT> > > libsnark::r1cs_ppzksnark_proof_variable< ppT >::all_G2_vars |
Definition at line 50 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ G2_checker
template<typename ppT >
| std::shared_ptr<G2_checker_gadget<ppT> > libsnark::r1cs_ppzksnark_proof_variable< ppT >::G2_checker |
Definition at line 53 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ g_A_g
template<typename ppT >
| std::shared_ptr<G1_variable<ppT> > libsnark::r1cs_ppzksnark_proof_variable< ppT >::g_A_g |
Definition at line 40 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ g_A_h
template<typename ppT >
| std::shared_ptr<G1_variable<ppT> > libsnark::r1cs_ppzksnark_proof_variable< ppT >::g_A_h |
Definition at line 41 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ g_B_g
template<typename ppT >
| std::shared_ptr<G2_variable<ppT> > libsnark::r1cs_ppzksnark_proof_variable< ppT >::g_B_g |
Definition at line 42 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ g_B_h
template<typename ppT >
| std::shared_ptr<G1_variable<ppT> > libsnark::r1cs_ppzksnark_proof_variable< ppT >::g_B_h |
Definition at line 43 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ g_C_g
template<typename ppT >
| std::shared_ptr<G1_variable<ppT> > libsnark::r1cs_ppzksnark_proof_variable< ppT >::g_C_g |
Definition at line 44 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ g_C_h
template<typename ppT >
| std::shared_ptr<G1_variable<ppT> > libsnark::r1cs_ppzksnark_proof_variable< ppT >::g_C_h |
Definition at line 45 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ g_H
template<typename ppT >
| std::shared_ptr<G1_variable<ppT> > libsnark::r1cs_ppzksnark_proof_variable< ppT >::g_H |
Definition at line 46 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ g_K
template<typename ppT >
| std::shared_ptr<G1_variable<ppT> > libsnark::r1cs_ppzksnark_proof_variable< ppT >::g_K |
Definition at line 47 of file r1cs_ppzksnark_verifier_gadget.hpp.
◆ proof_contents
template<typename ppT >
| pb_variable_array<FieldT> libsnark::r1cs_ppzksnark_proof_variable< ppT >::proof_contents |
Definition at line 55 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
