nil::crypto3::zk::snark::r1cs_ppzksnark_verification_key< CurveType > Class Template Reference
#include <verification_key.hpp>
Collaboration diagram for nil::crypto3::zk::snark::r1cs_ppzksnark_verification_key< CurveType >:Public Member Functions | |
| std::size_t | G1_size () const |
| std::size_t | G2_size () const |
| bool | operator== (const r1cs_ppzksnark_verification_key &other) const |
| r1cs_ppzksnark_verification_key ()=default | |
| r1cs_ppzksnark_verification_key (const typename g2_type::value_type &alphaA_g2, const typename g1_type::value_type &alphaB_g1, const typename g2_type::value_type &alphaC_g2, const typename g2_type::value_type &gamma_g2, const typename g1_type::value_type &gamma_beta_g1, const typename g2_type::value_type &gamma_beta_g2, const typename g2_type::value_type &rC_Z_g2, const accumulation_vector< g1_type > &eIC) | |
| std::size_t | size_in_bits () const |
Public Attributes | |
| g2_type::value_type | alphaA_g2 |
| g1_type::value_type | alphaB_g1 |
| g2_type::value_type | alphaC_g2 |
| accumulation_vector< g1_type > | encoded_IC_query |
| g1_type::value_type | gamma_beta_g1 |
| g2_type::value_type | gamma_beta_g2 |
| g2_type::value_type | gamma_g2 |
| g2_type::value_type | rC_Z_g2 |
Detailed Description
template<typename CurveType>
class nil::crypto3::zk::snark::r1cs_ppzksnark_verification_key< CurveType >
A verification key for the R1CS ppzkSNARK.
Constructor & Destructor Documentation
◆ r1cs_ppzksnark_verification_key() [1/2]
template<typename CurveType >
|
default |
◆ r1cs_ppzksnark_verification_key() [2/2]
template<typename CurveType >
|
inline |
Member Function Documentation
◆ G1_size()
template<typename CurveType >
|
inline |
◆ G2_size()
template<typename CurveType >
|
inline |
◆ operator==()
template<typename CurveType >
|
inline |
◆ size_in_bits()
template<typename CurveType >
|
inline |
Member Data Documentation
◆ alphaA_g2
template<typename CurveType >
| g2_type::value_type nil::crypto3::zk::snark::r1cs_ppzksnark_verification_key< CurveType >::alphaA_g2 |
◆ alphaB_g1
template<typename CurveType >
| g1_type::value_type nil::crypto3::zk::snark::r1cs_ppzksnark_verification_key< CurveType >::alphaB_g1 |
◆ alphaC_g2
template<typename CurveType >
| g2_type::value_type nil::crypto3::zk::snark::r1cs_ppzksnark_verification_key< CurveType >::alphaC_g2 |
◆ encoded_IC_query
template<typename CurveType >
| accumulation_vector<g1_type> nil::crypto3::zk::snark::r1cs_ppzksnark_verification_key< CurveType >::encoded_IC_query |
◆ gamma_beta_g1
template<typename CurveType >
| g1_type::value_type nil::crypto3::zk::snark::r1cs_ppzksnark_verification_key< CurveType >::gamma_beta_g1 |
◆ gamma_beta_g2
template<typename CurveType >
| g2_type::value_type nil::crypto3::zk::snark::r1cs_ppzksnark_verification_key< CurveType >::gamma_beta_g2 |
◆ gamma_g2
template<typename CurveType >
| g2_type::value_type nil::crypto3::zk::snark::r1cs_ppzksnark_verification_key< CurveType >::gamma_g2 |
◆ rC_Z_g2
template<typename CurveType >
| g2_type::value_type nil::crypto3::zk::snark::r1cs_ppzksnark_verification_key< CurveType >::rC_Z_g2 |
The documentation for this class was generated from the following file: