Public Member Functions | Public Attributes | List of all members
nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key Struct Reference

#include <basic_policy.hpp>

+ Collaboration diagram for nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key:

Public Member Functions

std::size_t G1_size () const
 
std::size_t G2_size () const
 
bool operator== (const verification_key< CurveType > &other) const
 
std::size_t size_in_bits () const
 
 verification_key ()=default
 
 verification_key (const typename CurveType::template g2_type<>::value_type &alphaA_g2, const typename CurveType::template g1_type<>::value_type &alphaB_g1, const typename CurveType::template g2_type<>::value_type &alphaC_g2, const typename CurveType::template g2_type<>::value_type &gamma_g2, const typename CurveType::template g1_type<>::value_type &gamma_beta_g1, const typename CurveType::template g2_type<>::value_type &gamma_beta_g2, const typename CurveType::template g2_type<>::value_type &rC_Z_g2, const typename CurveType::template g1_type<>::value_type A0, const typename std::vector< typename CurveType::template g1_type<>::value_type > Ain)
 

Public Attributes

CurveType::template g1_type ::value_type A0
 
std::vector< typename CurveType::template g1_type<>::value_type > Ain
 
CurveType::template g2_type ::value_type alphaA_g2
 
CurveType::template g1_type ::value_type alphaB_g1
 
CurveType::template g2_type ::value_type alphaC_g2
 
CurveType::template g1_type ::value_type gamma_beta_g1
 
CurveType::template g2_type ::value_type gamma_beta_g2
 
CurveType::template g2_type ::value_type gamma_g2
 
CurveType::template g2_type ::value_type rC_Z_g2
 

Detailed Description

template<typename CurveType>
struct nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key

A verification key for the R1CS ppzkADSNARK.

Constructor & Destructor Documentation

◆ verification_key() [1/2]

template<typename CurveType >
nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::verification_key ( )
default

◆ verification_key() [2/2]

template<typename CurveType >
nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::verification_key ( const typename CurveType::template g2_type<>::value_type &  alphaA_g2,
const typename CurveType::template g1_type<>::value_type &  alphaB_g1,
const typename CurveType::template g2_type<>::value_type &  alphaC_g2,
const typename CurveType::template g2_type<>::value_type &  gamma_g2,
const typename CurveType::template g1_type<>::value_type &  gamma_beta_g1,
const typename CurveType::template g2_type<>::value_type &  gamma_beta_g2,
const typename CurveType::template g2_type<>::value_type &  rC_Z_g2,
const typename CurveType::template g1_type<>::value_type  A0,
const typename std::vector< typename CurveType::template g1_type<>::value_type >  Ain 
)
inline

Member Function Documentation

◆ G1_size()

template<typename CurveType >
std::size_t nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::G1_size ( ) const
inline

◆ G2_size()

template<typename CurveType >
std::size_t nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::G2_size ( ) const
inline

◆ operator==()

template<typename CurveType >
bool nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::operator== ( const verification_key< CurveType > &  other) const
inline

◆ size_in_bits()

template<typename CurveType >
std::size_t nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::size_in_bits ( ) const
inline

Member Data Documentation

◆ A0

template<typename CurveType >
CurveType::template g1_type ::value_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::A0

◆ Ain

template<typename CurveType >
std::vector<typename CurveType::template g1_type<>::value_type> nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::Ain

◆ alphaA_g2

template<typename CurveType >
CurveType::template g2_type ::value_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::alphaA_g2

◆ alphaB_g1

template<typename CurveType >
CurveType::template g1_type ::value_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::alphaB_g1

◆ alphaC_g2

template<typename CurveType >
CurveType::template g2_type ::value_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::alphaC_g2

◆ gamma_beta_g1

template<typename CurveType >
CurveType::template g1_type ::value_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::gamma_beta_g1

◆ gamma_beta_g2

template<typename CurveType >
CurveType::template g2_type ::value_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::gamma_beta_g2

◆ gamma_g2

template<typename CurveType >
CurveType::template g2_type ::value_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::gamma_g2

◆ rC_Z_g2

template<typename CurveType >
CurveType::template g2_type ::value_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::verification_key::rC_Z_g2
The documentation for this struct was generated from the following file: