#include <r1cs_ppzksnark.hpp>

Collaboration diagram for libsnark::r1cs_ppzksnark_verification_key< ppT >:

Public Member Functions
	r1cs_ppzksnark_verification_key ()=default

	r1cs_ppzksnark_verification_key (const libff::G2< ppT > &alphaA_g2, const libff::G1< ppT > &alphaB_g1, const libff::G2< ppT > &alphaC_g2, const libff::G2< ppT > &gamma_g2, const libff::G1< ppT > &gamma_beta_g1, const libff::G2< ppT > &gamma_beta_g2, const libff::G2< ppT > &rC_Z_g2, const accumulation_vector< libff::G1< ppT >> &eIC)

size_t	G1_size () const

size_t	G2_size () const

size_t	size_in_bits () const

void	print_size () const

bool	operator== (const r1cs_ppzksnark_verification_key< ppT > &other) const

Static Public Member Functions
static r1cs_ppzksnark_verification_key< ppT >	dummy_verification_key (const size_t input_size)

Public Attributes
libff::G2< ppT >	alphaA_g2

libff::G1< ppT >	alphaB_g1

libff::G2< ppT >	alphaC_g2

libff::G2< ppT >	gamma_g2

libff::G1< ppT >	gamma_beta_g1

libff::G2< ppT >	gamma_beta_g2

libff::G2< ppT >	rC_Z_g2

accumulation_vector< libff::G1< ppT > >	encoded_IC_query

Friends
std::ostream &	operator (std::ostream &out, const r1cs_ppzksnark_verification_key< ppT > &vk)

std::istream &	operator>> (std::istream &in, r1cs_ppzksnark_verification_key< ppT > &vk)

Detailed Description

template<typename ppT>
class libsnark::r1cs_ppzksnark_verification_key< ppT >

A verification key for the R1CS ppzkSNARK.

Definition at line 152 of file r1cs_ppzksnark.hpp.

Constructor & Destructor Documentation

◆ r1cs_ppzksnark_verification_key() [1/2]

template<typename ppT >

libsnark::r1cs_ppzksnark_verification_key< ppT >::r1cs_ppzksnark_verification_key ( )

default

◆ r1cs_ppzksnark_verification_key() [2/2]

template<typename ppT >

libsnark::r1cs_ppzksnark_verification_key< ppT >::r1cs_ppzksnark_verification_key	(	const libff::G2< ppT > &	alphaA_g2,
		const libff::G1< ppT > &	alphaB_g1,
		const libff::G2< ppT > &	alphaC_g2,
		const libff::G2< ppT > &	gamma_g2,
		const libff::G1< ppT > &	gamma_beta_g1,
		const libff::G2< ppT > &	gamma_beta_g2,
		const libff::G2< ppT > &	rC_Z_g2,
		const accumulation_vector< libff::G1< ppT >> &	eIC
	)

inline

Definition at line 179 of file r1cs_ppzksnark.hpp.

         : alphaA_g2(alphaA_g2)
         , alphaB_g1(alphaB_g1)
         , alphaC_g2(alphaC_g2)
         , gamma_g2(gamma_g2)
         , gamma_beta_g1(gamma_beta_g1)
         , gamma_beta_g2(gamma_beta_g2)
         , rC_Z_g2(rC_Z_g2)
         , encoded_IC_query(eIC){};

Member Function Documentation

◆ dummy_verification_key()

template<typename ppT >

static r1cs_ppzksnark_verification_key<ppT> libsnark::r1cs_ppzksnark_verification_key< ppT >::dummy_verification_key ( const size_t input_size )

static

◆ G1_size()

template<typename ppT >

size_t libsnark::r1cs_ppzksnark_verification_key< ppT >::G1_size ( ) const

inline

Definition at line 197 of file r1cs_ppzksnark.hpp.

197 { return 2 + encoded_IC_query.size(); }

Here is the caller graph for this function:

◆ G2_size()

template<typename ppT >

size_t libsnark::r1cs_ppzksnark_verification_key< ppT >::G2_size ( ) const

inline

Definition at line 199 of file r1cs_ppzksnark.hpp.

199 { return 5; }

Here is the caller graph for this function:

◆ operator==()

template<typename ppT >

bool libsnark::r1cs_ppzksnark_verification_key< ppT >::operator== ( const r1cs_ppzksnark_verification_key< ppT > & other ) const

◆ print_size()

template<typename ppT >

void libsnark::r1cs_ppzksnark_verification_key< ppT >::print_size ( ) const

inline

Definition at line 209 of file r1cs_ppzksnark.hpp.

     {
         libff::print_indent();
         printf("* G1 elements in VK: %zu\n", this->G1_size());
         libff::print_indent();
         printf("* G2 elements in VK: %zu\n", this->G2_size());
         libff::print_indent();
         printf("* VK size in bits: %zu\n", this->size_in_bits());
     }

◆ size_in_bits()

template<typename ppT >

size_t libsnark::r1cs_ppzksnark_verification_key< ppT >::size_in_bits ( ) const

inline

Definition at line 201 of file r1cs_ppzksnark.hpp.

     {
         return (
             2 * libff::G1<ppT>::size_in_bits() +
             encoded_IC_query.size_in_bits() +
             5 * libff::G2<ppT>::size_in_bits());
     }

Here is the caller graph for this function:

Friends And Related Function Documentation

◆ operator

template<typename ppT >

std::ostream& operator	(	std::ostream &	out,
		const r1cs_ppzksnark_verification_key< ppT > &	vk
	)

friend

◆ operator>>

template<typename ppT >

std::istream& operator>>	(	std::istream &	in,
		r1cs_ppzksnark_verification_key< ppT > &	vk
	)

friend

Member Data Documentation

◆ alphaA_g2

template<typename ppT >

libff::G2<ppT> libsnark::r1cs_ppzksnark_verification_key< ppT >::alphaA_g2

Definition at line 168 of file r1cs_ppzksnark.hpp.

◆ alphaB_g1

template<typename ppT >

libff::G1<ppT> libsnark::r1cs_ppzksnark_verification_key< ppT >::alphaB_g1

Definition at line 169 of file r1cs_ppzksnark.hpp.

◆ alphaC_g2

template<typename ppT >

libff::G2<ppT> libsnark::r1cs_ppzksnark_verification_key< ppT >::alphaC_g2

Definition at line 170 of file r1cs_ppzksnark.hpp.

◆ encoded_IC_query

template<typename ppT >

accumulation_vector<libff::G1<ppT> > libsnark::r1cs_ppzksnark_verification_key< ppT >::encoded_IC_query

Definition at line 176 of file r1cs_ppzksnark.hpp.

◆ gamma_beta_g1

template<typename ppT >

libff::G1<ppT> libsnark::r1cs_ppzksnark_verification_key< ppT >::gamma_beta_g1

Definition at line 172 of file r1cs_ppzksnark.hpp.

◆ gamma_beta_g2

template<typename ppT >

libff::G2<ppT> libsnark::r1cs_ppzksnark_verification_key< ppT >::gamma_beta_g2

Definition at line 173 of file r1cs_ppzksnark.hpp.

◆ gamma_g2

template<typename ppT >

libff::G2<ppT> libsnark::r1cs_ppzksnark_verification_key< ppT >::gamma_g2

Definition at line 171 of file r1cs_ppzksnark.hpp.

◆ rC_Z_g2

template<typename ppT >

libff::G2<ppT> libsnark::r1cs_ppzksnark_verification_key< ppT >::rC_Z_g2

Definition at line 174 of file r1cs_ppzksnark.hpp.

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

/home/runner/work/libsnark/libsnark/libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp

Public Member Functions

Static Public Member Functions

Public Attributes

Friends

Detailed Description

template<typename ppT> class libsnark::r1cs_ppzksnark_verification_key< ppT >

Constructor & Destructor Documentation

◆ r1cs_ppzksnark_verification_key() [1/2]

◆ r1cs_ppzksnark_verification_key() [2/2]

Member Function Documentation

◆ dummy_verification_key()

◆ G1_size()

◆ G2_size()

◆ operator==()

◆ print_size()

◆ size_in_bits()

Friends And Related Function Documentation

◆ operator

◆ operator>>

Member Data Documentation

◆ alphaA_g2

◆ alphaB_g1

◆ alphaC_g2

◆ encoded_IC_query

◆ gamma_beta_g1

◆ gamma_beta_g2

◆ gamma_g2

◆ rC_Z_g2

template<typename ppT>
class libsnark::r1cs_ppzksnark_verification_key< ppT >