#include <r1cs_gg_ppzksnark_verifier_gadget.hpp>
Inheritance diagram for libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >:
Collaboration diagram for libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >:
Public Types | |
| typedef libff::Fr< ppT > | FieldT |
Public Member Functions | |
| r1cs_gg_ppzksnark_online_verifier_gadget (protoboard< FieldT > &pb, const r1cs_gg_ppzksnark_preprocessed_verification_key_variable< ppT > &pvk, const pb_variable_array< FieldT > &input, const size_t elt_size, const r1cs_gg_ppzksnark_proof_variable< ppT > &proof, const pb_variable< FieldT > &result_QAP_valid, 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 | |
| r1cs_gg_ppzksnark_preprocessed_verification_key_variable< ppT > | _pvk |
| pb_variable_array< FieldT > | _input |
| size_t | _elt_size |
| r1cs_gg_ppzksnark_proof_variable< ppT > | _proof |
| pb_variable< FieldT > | _result |
| const size_t | _input_len |
| std::shared_ptr< G1_variable< ppT > > | _acc |
| std::shared_ptr< G1_multiscalar_mul_gadget< ppT > > | _accumulate_input |
| std::shared_ptr< G1_precomputation< ppT > > | _proof_g_A_precomp |
| std::shared_ptr< G2_precomputation< ppT > > | _proof_g_B_precomp |
| std::shared_ptr< G1_precomputation< ppT > > | _proof_g_C_precomp |
| std::shared_ptr< G1_precomputation< ppT > > | _acc_precomp |
| std::shared_ptr< precompute_G1_gadget< ppT > > | _compute_proof_g_A_precomp |
| std::shared_ptr< precompute_G2_gadget< ppT > > | _compute_proof_g_B_precomp |
| std::shared_ptr< precompute_G1_gadget< ppT > > | _compute_proof_g_C_precomp |
| std::shared_ptr< precompute_G1_gadget< ppT > > | _compute_acc_precomp |
| std::shared_ptr< check_e_equals_eee_gadget< ppT > > | _check_QAP_valid |
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_gg_ppzksnark_online_verifier_gadget< ppT >
Definition at line 133 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
Member Typedef Documentation
◆ FieldT
template<typename ppT >
| typedef libff::Fr<ppT> libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::FieldT |
Definition at line 136 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
Constructor & Destructor Documentation
◆ r1cs_gg_ppzksnark_online_verifier_gadget()
template<typename ppT >
| libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::r1cs_gg_ppzksnark_online_verifier_gadget | ( | protoboard< FieldT > & | pb, |
| const r1cs_gg_ppzksnark_preprocessed_verification_key_variable< ppT > & | pvk, | ||
| const pb_variable_array< FieldT > & | input, | ||
| const size_t | elt_size, | ||
| const r1cs_gg_ppzksnark_proof_variable< ppT > & | proof, | ||
| const pb_variable< FieldT > & | result_QAP_valid, | ||
| const std::string & | annotation_prefix | ||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename ppT >
| void libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::generate_r1cs_constraints | ( | ) |
◆ generate_r1cs_witness()
template<typename ppT >
| void libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::generate_r1cs_witness | ( | ) |
Member Data Documentation
◆ _acc
template<typename ppT >
| std::shared_ptr<G1_variable<ppT> > libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_acc |
Definition at line 147 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _acc_precomp
template<typename ppT >
| std::shared_ptr<G1_precomputation<ppT> > libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_acc_precomp |
Definition at line 153 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _accumulate_input
template<typename ppT >
| std::shared_ptr<G1_multiscalar_mul_gadget<ppT> > libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_accumulate_input |
Definition at line 148 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _check_QAP_valid
template<typename ppT >
| std::shared_ptr<check_e_equals_eee_gadget<ppT> > libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_check_QAP_valid |
Definition at line 160 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _compute_acc_precomp
template<typename ppT >
| std::shared_ptr<precompute_G1_gadget<ppT> > libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_compute_acc_precomp |
Definition at line 158 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _compute_proof_g_A_precomp
template<typename ppT >
| std::shared_ptr<precompute_G1_gadget<ppT> > libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_compute_proof_g_A_precomp |
Definition at line 155 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _compute_proof_g_B_precomp
template<typename ppT >
| std::shared_ptr<precompute_G2_gadget<ppT> > libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_compute_proof_g_B_precomp |
Definition at line 156 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _compute_proof_g_C_precomp
template<typename ppT >
| std::shared_ptr<precompute_G1_gadget<ppT> > libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_compute_proof_g_C_precomp |
Definition at line 157 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _elt_size
template<typename ppT >
| size_t libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_elt_size |
Definition at line 141 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _input
template<typename ppT >
| pb_variable_array<FieldT> libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_input |
Definition at line 140 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _input_len
template<typename ppT >
| const size_t libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_input_len |
Definition at line 145 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _proof
template<typename ppT >
| r1cs_gg_ppzksnark_proof_variable<ppT> libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_proof |
Definition at line 142 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _proof_g_A_precomp
template<typename ppT >
| std::shared_ptr<G1_precomputation<ppT> > libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_proof_g_A_precomp |
Definition at line 150 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _proof_g_B_precomp
template<typename ppT >
| std::shared_ptr<G2_precomputation<ppT> > libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_proof_g_B_precomp |
Definition at line 151 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _proof_g_C_precomp
template<typename ppT >
| std::shared_ptr<G1_precomputation<ppT> > libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_proof_g_C_precomp |
Definition at line 152 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _pvk
template<typename ppT >
| r1cs_gg_ppzksnark_preprocessed_verification_key_variable<ppT> libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_pvk |
Definition at line 138 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.
◆ _result
template<typename ppT >
| pb_variable<FieldT> libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >::_result |
Definition at line 144 of file r1cs_gg_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_gg_ppzksnark_verifier_gadget.hpp
