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

#include <verification_key.hpp>

Collaboration diagram for nil::crypto3::zk::snark::r1cs_se_ppzksnark_verification_key< CurveType >:

Public Member Functions
std::size_t	G1_size () const
std::size_t	G2_size () const
bool	operator== (const r1cs_se_ppzksnark_verification_key &other) const
	r1cs_se_ppzksnark_verification_key ()=default
	r1cs_se_ppzksnark_verification_key (const typename g2_type::value_type &H, const typename g1_type::value_type &G_alpha, const typename g2_type::value_type &H_beta, const typename g1_type::value_type &G_gamma, const typename g2_type::value_type &H_gamma, std::vector< typename g1_type::value_type > &&query)
std::size_t	size_in_bits () const

Public Attributes
g1_type::value_type	G_alpha
g1_type::value_type	G_gamma
g2_type::value_type	H
g2_type::value_type	H_beta
g2_type::value_type	H_gamma
std::vector< typename g1_type::value_type >	query

Detailed Description

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

A verification key for the R1CS SEppzkSNARK.

Constructor & Destructor Documentation

r1cs_se_ppzksnark_verification_key() [1/2]

template<typename CurveType >

nil::crypto3::zk::snark::r1cs_se_ppzksnark_verification_key< CurveType >::r1cs_se_ppzksnark_verification_key ( )

default

r1cs_se_ppzksnark_verification_key() [2/2]

template<typename CurveType >

nil::crypto3::zk::snark::r1cs_se_ppzksnark_verification_key< CurveType >::r1cs_se_ppzksnark_verification_key ( const typename g2_type::value_type &  H, const typename g1_type::value_type &  G_alpha, const typename g2_type::value_type &  H_beta, const typename g1_type::value_type &  G_gamma, const typename g2_type::value_type &  H_gamma, std::vector< typename g1_type::value_type > &&  query  )

inline

Member Function Documentation

G1_size()

template<typename CurveType >

std::size_t nil::crypto3::zk::snark::r1cs_se_ppzksnark_verification_key< CurveType >::G1_size ( ) const

inline

G2_size()

template<typename CurveType >

std::size_t nil::crypto3::zk::snark::r1cs_se_ppzksnark_verification_key< CurveType >::G2_size ( ) const

inline

operator==()

template<typename CurveType >

bool nil::crypto3::zk::snark::r1cs_se_ppzksnark_verification_key< CurveType >::operator== ( const r1cs_se_ppzksnark_verification_key< CurveType > &  other ) const

inline

size_in_bits()

template<typename CurveType >

std::size_t nil::crypto3::zk::snark::r1cs_se_ppzksnark_verification_key< CurveType >::size_in_bits ( ) const

inline

Member Data Documentation

G_alpha

template<typename CurveType >

g1_type::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_verification_key< CurveType >::G_alpha

G_gamma

template<typename CurveType >

g1_type::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_verification_key< CurveType >::G_gamma

H

template<typename CurveType >

g2_type::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_verification_key< CurveType >::H

H_beta

template<typename CurveType >

g2_type::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_verification_key< CurveType >::H_beta

H_gamma

template<typename CurveType >

g2_type::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_verification_key< CurveType >::H_gamma

query

template<typename CurveType >

std::vector<typename g1_type::value_type> nil::crypto3::zk::snark::r1cs_se_ppzksnark_verification_key< CurveType >::query

---

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

• zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_se_ppzksnark/verification_key.hpp