nil::crypto3::zk::snark::uscs_ppzksnark_verification_key< CurveType > Class Template Reference

#include <verification_key.hpp>

+ Collaboration diagram for nil::crypto3::zk::snark::uscs_ppzksnark_verification_key< CurveType >:

Public Member Functions

std::size_t G1_size () const
 
std::size_t G2_size () const
 
bool operator== (const uscs_ppzksnark_verification_key &other) const
 
std::size_t size_in_bits () const
 
 uscs_ppzksnark_verification_key ()=default
 
 uscs_ppzksnark_verification_key (const typename g2_type::value_type &tilde_g2, const typename g2_type::value_type &alpha_tilde_g2, const typename g2_type::value_type &Z_g2, const accumulation_vector< g1_type > &eIC)
 

Public Attributes

g2_type::value_type alpha_tilde_g2
 
accumulation_vector< g1_type > encoded_IC_query
 
g2_type::value_type tilde_g2
 
g2_type::value_type Z_g2
 

Detailed Description

template<typename CurveType>
class nil::crypto3::zk::snark::uscs_ppzksnark_verification_key< CurveType >

A verification key for the USCS ppzkSNARK.

Constructor & Destructor Documentation

◆ uscs_ppzksnark_verification_key() [1/2]

template<typename CurveType >
nil::crypto3::zk::snark::uscs_ppzksnark_verification_key< CurveType >::uscs_ppzksnark_verification_key ( )
default

◆ uscs_ppzksnark_verification_key() [2/2]

template<typename CurveType >
nil::crypto3::zk::snark::uscs_ppzksnark_verification_key< CurveType >::uscs_ppzksnark_verification_key ( const typename g2_type::value_type &  tilde_g2,
const typename g2_type::value_type &  alpha_tilde_g2,
const typename g2_type::value_type &  Z_g2,
const accumulation_vector< g1_type > &  eIC 
)
inline

Member Function Documentation

◆ G1_size()

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

◆ G2_size()

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

◆ operator==()

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

◆ size_in_bits()

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

Member Data Documentation

◆ alpha_tilde_g2

template<typename CurveType >
g2_type::value_type nil::crypto3::zk::snark::uscs_ppzksnark_verification_key< CurveType >::alpha_tilde_g2

◆ encoded_IC_query

template<typename CurveType >
accumulation_vector<g1_type> nil::crypto3::zk::snark::uscs_ppzksnark_verification_key< CurveType >::encoded_IC_query

◆ tilde_g2

template<typename CurveType >
g2_type::value_type nil::crypto3::zk::snark::uscs_ppzksnark_verification_key< CurveType >::tilde_g2

◆ Z_g2

template<typename CurveType >
g2_type::value_type nil::crypto3::zk::snark::uscs_ppzksnark_verification_key< CurveType >::Z_g2

The documentation for this class was generated from the following file: