libsnark::r1cs_ppzkadsnark_processed_verification_key< ppT > Class Template Reference

#include <r1cs_ppzkadsnark.hpp>

Public Member Functions
bool	operator== (const r1cs_ppzkadsnark_processed_verification_key &other) const

Public Attributes
libff::G2_precomp< snark_pp< ppT > >	pp_G2_one_precomp
libff::G2_precomp< snark_pp< ppT > >	vk_alphaA_g2_precomp
libff::G1_precomp< snark_pp< ppT > >	vk_alphaB_g1_precomp
libff::G2_precomp< snark_pp< ppT > >	vk_alphaC_g2_precomp
libff::G2_precomp< snark_pp< ppT > >	vk_rC_Z_g2_precomp
libff::G2_precomp< snark_pp< ppT > >	vk_gamma_g2_precomp
libff::G1_precomp< snark_pp< ppT > >	vk_gamma_beta_g1_precomp
libff::G2_precomp< snark_pp< ppT > >	vk_gamma_beta_g2_precomp
libff::G2_precomp< snark_pp< ppT > >	vk_rC_i_g2_precomp
libff::G1< snark_pp< ppT > >	A0
libff::G1_vector< snark_pp< ppT > >	Ain
std::vector< libff::G1_precomp< snark_pp< ppT > > >	proof_g_vki_precomp

Friends
std::ostream &	operator (std::ostream &out, const r1cs_ppzkadsnark_processed_verification_key< ppT > &pvk)
std::istream &	operator>> (std::istream &in, r1cs_ppzkadsnark_processed_verification_key< ppT > &pvk)

Detailed Description

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

A processed verification key for the R1CS ppzkADSNARK.

Compared to a (non-processed) verification key, a processed verification key contains a small constant amount of additional pre-computed information that enables a faster verification time.

Definition at line 442 of file r1cs_ppzkadsnark.hpp.

Member Function Documentation

operator==()

template<typename ppT >

bool libsnark::r1cs_ppzkadsnark_processed_verification_key< ppT >::operator==

(

const r1cs_ppzkadsnark_processed_verification_key< ppT > &

other

)

const

Friends And Related Function Documentation

operator

template<typename ppT >

std::ostream& operator ( std::ostream &  out, const r1cs_ppzkadsnark_processed_verification_key< ppT > &  pvk  )

friend

operator>>

template<typename ppT >

std::istream& operator>> ( std::istream &  in, r1cs_ppzkadsnark_processed_verification_key< ppT > &  pvk  )

friend

Member Data Documentation

A0

template<typename ppT >

libff::G1<snark_pp<ppT> > libsnark::r1cs_ppzkadsnark_processed_verification_key< ppT >::A0

Definition at line 473 of file r1cs_ppzkadsnark.hpp.

Ain

template<typename ppT >

libff::G1_vector<snark_pp<ppT> > libsnark::r1cs_ppzkadsnark_processed_verification_key< ppT >::Ain

Definition at line 474 of file r1cs_ppzkadsnark.hpp.

pp_G2_one_precomp

template<typename ppT >

libff::G2_precomp<snark_pp<ppT> > libsnark::r1cs_ppzkadsnark_processed_verification_key< ppT >::pp_G2_one_precomp

Definition at line 463 of file r1cs_ppzkadsnark.hpp.

proof_g_vki_precomp

template<typename ppT >

std::vector<libff::G1_precomp<snark_pp<ppT> > > libsnark::r1cs_ppzkadsnark_processed_verification_key< ppT >::proof_g_vki_precomp

Definition at line 476 of file r1cs_ppzkadsnark.hpp.

vk_alphaA_g2_precomp

template<typename ppT >

libff::G2_precomp<snark_pp<ppT> > libsnark::r1cs_ppzkadsnark_processed_verification_key< ppT >::vk_alphaA_g2_precomp

Definition at line 464 of file r1cs_ppzkadsnark.hpp.

vk_alphaB_g1_precomp

template<typename ppT >

libff::G1_precomp<snark_pp<ppT> > libsnark::r1cs_ppzkadsnark_processed_verification_key< ppT >::vk_alphaB_g1_precomp

Definition at line 465 of file r1cs_ppzkadsnark.hpp.

vk_alphaC_g2_precomp

template<typename ppT >

libff::G2_precomp<snark_pp<ppT> > libsnark::r1cs_ppzkadsnark_processed_verification_key< ppT >::vk_alphaC_g2_precomp

Definition at line 466 of file r1cs_ppzkadsnark.hpp.

vk_gamma_beta_g1_precomp

template<typename ppT >

libff::G1_precomp<snark_pp<ppT> > libsnark::r1cs_ppzkadsnark_processed_verification_key< ppT >::vk_gamma_beta_g1_precomp

Definition at line 469 of file r1cs_ppzkadsnark.hpp.

vk_gamma_beta_g2_precomp

template<typename ppT >

libff::G2_precomp<snark_pp<ppT> > libsnark::r1cs_ppzkadsnark_processed_verification_key< ppT >::vk_gamma_beta_g2_precomp

Definition at line 470 of file r1cs_ppzkadsnark.hpp.

vk_gamma_g2_precomp

template<typename ppT >

libff::G2_precomp<snark_pp<ppT> > libsnark::r1cs_ppzkadsnark_processed_verification_key< ppT >::vk_gamma_g2_precomp

Definition at line 468 of file r1cs_ppzkadsnark.hpp.

vk_rC_i_g2_precomp

template<typename ppT >

libff::G2_precomp<snark_pp<ppT> > libsnark::r1cs_ppzkadsnark_processed_verification_key< ppT >::vk_rC_i_g2_precomp

Definition at line 471 of file r1cs_ppzkadsnark.hpp.

vk_rC_Z_g2_precomp

template<typename ppT >

libff::G2_precomp<snark_pp<ppT> > libsnark::r1cs_ppzkadsnark_processed_verification_key< ppT >::vk_rC_Z_g2_precomp

Definition at line 467 of file r1cs_ppzkadsnark.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/zk_proof_systems/ppzkadsnark/r1cs_ppzkadsnark/r1cs_ppzkadsnark.hpp