nil::crypto3::zk::snark::r1cs_gg_ppzksnark_aggregate_verification_srs< CurveType > Struct Template Reference
#include <srs.hpp>
Collaboration diagram for nil::crypto3::zk::snark::r1cs_gg_ppzksnark_aggregate_verification_srs< CurveType >:
Public Types | |
typedef CurveType | curve_type |
Public Attributes | |
CurveType::template g1_type ::value_type | g |
CurveType::template g1_type ::value_type | g_alpha |
CurveType::template g1_type ::value_type | g_beta |
CurveType::template g2_type ::value_type | h |
CurveType::template g2_type ::value_type | h_alpha |
CurveType::template g2_type ::value_type | h_beta |
std::size_t | n |
Detailed Description
template<typename CurveType>
struct nil::crypto3::zk::snark::r1cs_gg_ppzksnark_aggregate_verification_srs< CurveType >
Contains the necessary elements to verify an aggregated Groth16 proof; it is of fixed size regardless of the number of proofs aggregated. However, a verifier SRS will be determined by the number of proofs being aggregated.
Member Typedef Documentation
◆ curve_type
template<typename CurveType >
typedef CurveType nil::crypto3::zk::snark::r1cs_gg_ppzksnark_aggregate_verification_srs< CurveType >::curve_type |
Member Data Documentation
◆ g
template<typename CurveType >
CurveType::template g1_type ::value_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_aggregate_verification_srs< CurveType >::g |
◆ g_alpha
template<typename CurveType >
CurveType::template g1_type ::value_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_aggregate_verification_srs< CurveType >::g_alpha |
◆ g_beta
template<typename CurveType >
CurveType::template g1_type ::value_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_aggregate_verification_srs< CurveType >::g_beta |
◆ h
template<typename CurveType >
CurveType::template g2_type ::value_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_aggregate_verification_srs< CurveType >::h |
◆ h_alpha
template<typename CurveType >
CurveType::template g2_type ::value_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_aggregate_verification_srs< CurveType >::h_alpha |
◆ h_beta
template<typename CurveType >
CurveType::template g2_type ::value_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_aggregate_verification_srs< CurveType >::h_beta |
◆ n
template<typename CurveType >
std::size_t nil::crypto3::zk::snark::r1cs_gg_ppzksnark_aggregate_verification_srs< CurveType >::n |
The documentation for this struct was generated from the following file: