libsnark::r1cs_se_ppzksnark_processed_verification_key< ppT > Class Template Reference

#include <r1cs_se_ppzksnark.hpp>

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

Public Attributes
libff::G1< ppT >	G_alpha
libff::G2< ppT >	H_beta
libff::Fqk< ppT >	G_alpha_H_beta_ml
libff::G1_precomp< ppT >	G_gamma_pc
libff::G2_precomp< ppT >	H_gamma_pc
libff::G2_precomp< ppT >	H_pc
libff::G1_vector< ppT >	query

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

Detailed Description

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

A processed verification key for the R1CS SEppzkSNARK.

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 254 of file r1cs_se_ppzksnark.hpp.

Member Function Documentation

operator==()

template<typename ppT >

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

(

const r1cs_se_ppzksnark_processed_verification_key< ppT > &

other

)

const

Friends And Related Function Documentation

operator

template<typename ppT >

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

friend

operator>>

template<typename ppT >

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

friend

Member Data Documentation

G_alpha

template<typename ppT >

libff::G1<ppT> libsnark::r1cs_se_ppzksnark_processed_verification_key< ppT >::G_alpha

Definition at line 275 of file r1cs_se_ppzksnark.hpp.

G_alpha_H_beta_ml

template<typename ppT >

libff::Fqk<ppT> libsnark::r1cs_se_ppzksnark_processed_verification_key< ppT >::G_alpha_H_beta_ml

Definition at line 277 of file r1cs_se_ppzksnark.hpp.

G_gamma_pc

template<typename ppT >

libff::G1_precomp<ppT> libsnark::r1cs_se_ppzksnark_processed_verification_key< ppT >::G_gamma_pc

Definition at line 278 of file r1cs_se_ppzksnark.hpp.

H_beta

template<typename ppT >

libff::G2<ppT> libsnark::r1cs_se_ppzksnark_processed_verification_key< ppT >::H_beta

Definition at line 276 of file r1cs_se_ppzksnark.hpp.

H_gamma_pc

template<typename ppT >

libff::G2_precomp<ppT> libsnark::r1cs_se_ppzksnark_processed_verification_key< ppT >::H_gamma_pc

Definition at line 279 of file r1cs_se_ppzksnark.hpp.

H_pc

template<typename ppT >

libff::G2_precomp<ppT> libsnark::r1cs_se_ppzksnark_processed_verification_key< ppT >::H_pc

Definition at line 280 of file r1cs_se_ppzksnark.hpp.

query

template<typename ppT >

libff::G1_vector<ppT> libsnark::r1cs_se_ppzksnark_processed_verification_key< ppT >::query

Definition at line 282 of file r1cs_se_ppzksnark.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/zk_proof_systems/ppzksnark/r1cs_se_ppzksnark/r1cs_se_ppzksnark.hpp