#include <r1cs_ppzkadsnark.hpp>

Public Member Functions
	r1cs_ppzkadsnark_verification_key ()=default

	r1cs_ppzkadsnark_verification_key (const libff::G2< snark_pp< ppT >> &alphaA_g2, const libff::G1< snark_pp< ppT >> &alphaB_g1, const libff::G2< snark_pp< ppT >> &alphaC_g2, const libff::G2< snark_pp< ppT >> &gamma_g2, const libff::G1< snark_pp< ppT >> &gamma_beta_g1, const libff::G2< snark_pp< ppT >> &gamma_beta_g2, const libff::G2< snark_pp< ppT >> &rC_Z_g2, const libff::G1< snark_pp< ppT >> A0, const libff::G1_vector< snark_pp< ppT >> Ain)

size_t	G1_size () const

size_t	G2_size () const

size_t	size_in_bits () const

void	print_size () const

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

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

Public Attributes
libff::G2< snark_pp< ppT > >	alphaA_g2

libff::G1< snark_pp< ppT > >	alphaB_g1

libff::G2< snark_pp< ppT > >	alphaC_g2

libff::G2< snark_pp< ppT > >	gamma_g2

libff::G1< snark_pp< ppT > >	gamma_beta_g1

libff::G2< snark_pp< ppT > >	gamma_beta_g2

libff::G2< snark_pp< ppT > >	rC_Z_g2

libff::G1< snark_pp< ppT > >	A0

libff::G1_vector< snark_pp< ppT > >	Ain

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

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

Detailed Description

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

A verification key for the R1CS ppzkADSNARK.

Definition at line 360 of file r1cs_ppzkadsnark.hpp.

Constructor & Destructor Documentation

◆ r1cs_ppzkadsnark_verification_key() [1/2]

template<typename ppT >

libsnark::r1cs_ppzkadsnark_verification_key< ppT >::r1cs_ppzkadsnark_verification_key ( )

default

◆ r1cs_ppzkadsnark_verification_key() [2/2]

template<typename ppT >

libsnark::r1cs_ppzkadsnark_verification_key< ppT >::r1cs_ppzkadsnark_verification_key	(	const libff::G2< snark_pp< ppT >> &	alphaA_g2,
		const libff::G1< snark_pp< ppT >> &	alphaB_g1,
		const libff::G2< snark_pp< ppT >> &	alphaC_g2,
		const libff::G2< snark_pp< ppT >> &	gamma_g2,
		const libff::G1< snark_pp< ppT >> &	gamma_beta_g1,
		const libff::G2< snark_pp< ppT >> &	gamma_beta_g2,
		const libff::G2< snark_pp< ppT >> &	rC_Z_g2,
		const libff::G1< snark_pp< ppT >>	A0,
		const libff::G1_vector< snark_pp< ppT >>	Ain
	)

inline

Definition at line 388 of file r1cs_ppzkadsnark.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)
         , A0(A0)
         , Ain(Ain){};

Member Function Documentation

◆ dummy_verification_key()

template<typename ppT >

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

static

◆ G1_size()

template<typename ppT >

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

inline

Definition at line 408 of file r1cs_ppzkadsnark.hpp.

408 { return 3 + Ain.size(); }

Here is the caller graph for this function:

◆ G2_size()

template<typename ppT >

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

inline

Definition at line 410 of file r1cs_ppzkadsnark.hpp.

410 { return 5; }

Here is the caller graph for this function:

◆ operator==()

template<typename ppT >

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

◆ print_size()

template<typename ppT >

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

inline

Definition at line 420 of file r1cs_ppzkadsnark.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());
     }

Here is the call graph for this function:

◆ size_in_bits()

template<typename ppT >

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

inline

Definition at line 412 of file r1cs_ppzkadsnark.hpp.

     {
         return G1_size() * libff::G1<snark_pp<ppT>>::size_in_bits() +
                G2_size() *
                    libff::G2<snark_pp<ppT>>::size_in_bits(); // possible zksnark
                                                              // bug
     }