libsnark::ram_zksnark_verification_key< ram_zksnark_ppT > Class Template Reference

#include <ram_zksnark.hpp>

Collaboration diagram for libsnark::ram_zksnark_verification_key< ram_zksnark_ppT >:

Public Member Functions
	ram_zksnark_verification_key ()=default
	ram_zksnark_verification_key (const ram_zksnark_verification_key< ram_zksnark_ppT > &other)=default
	ram_zksnark_verification_key (ram_zksnark_verification_key< ram_zksnark_ppT > &&other)=default
	ram_zksnark_verification_key (const ram_zksnark_architecture_params< ram_zksnark_ppT > &ap, r1cs_sp_ppzkpcd_verification_key< ram_zksnark_PCD_pp< ram_zksnark_ppT >> &&pcd_vk)
ram_zksnark_verification_key< ram_zksnark_ppT > &	operator= (const ram_zksnark_verification_key< ram_zksnark_ppT > &other)=default
bool	operator== (const ram_zksnark_verification_key< ram_zksnark_ppT > &other) const

Static Public Member Functions
static ram_zksnark_verification_key< ram_zksnark_ppT >	dummy_verification_key (const ram_zksnark_architecture_params< ram_zksnark_ppT > &ap)

Public Attributes
ram_zksnark_architecture_params< ram_zksnark_ppT >	ap
r1cs_sp_ppzkpcd_verification_key< ram_zksnark_PCD_pp< ram_zksnark_ppT > >	pcd_vk

Friends
std::ostream &	operator (std::ostream &out, const ram_zksnark_verification_key< ram_zksnark_ppT > &vk)
std::istream &	operator>> (std::istream &in, ram_zksnark_verification_key< ram_zksnark_ppT > &vk)

Detailed Description

template<typename ram_zksnark_ppT>
class libsnark::ram_zksnark_verification_key< ram_zksnark_ppT >

A verification key for the RAM zkSNARK.

Definition at line 96 of file ram_zksnark.hpp.

Constructor & Destructor Documentation

ram_zksnark_verification_key() [1/4]

template<typename ram_zksnark_ppT >

libsnark::ram_zksnark_verification_key< ram_zksnark_ppT >::ram_zksnark_verification_key ( )

default

ram_zksnark_verification_key() [2/4]

template<typename ram_zksnark_ppT >

libsnark::ram_zksnark_verification_key< ram_zksnark_ppT >::ram_zksnark_verification_key ( const ram_zksnark_verification_key< ram_zksnark_ppT > &  other )

default

ram_zksnark_verification_key() [3/4]

template<typename ram_zksnark_ppT >

libsnark::ram_zksnark_verification_key< ram_zksnark_ppT >::ram_zksnark_verification_key ( ram_zksnark_verification_key< ram_zksnark_ppT > &&  other )

default

ram_zksnark_verification_key() [4/4]

template<typename ram_zksnark_ppT >

libsnark::ram_zksnark_verification_key< ram_zksnark_ppT >::ram_zksnark_verification_key ( const ram_zksnark_architecture_params< ram_zksnark_ppT > &  ap, r1cs_sp_ppzkpcd_verification_key< ram_zksnark_PCD_pp< ram_zksnark_ppT >> &&  pcd_vk  )

inline

Definition at line 121 of file ram_zksnark.hpp.

        : ap(ap), pcd_vk(std::move(pcd_vk)){};

Member Function Documentation

dummy_verification_key()

template<typename ram_zksnark_ppT >

static ram_zksnark_verification_key<ram_zksnark_ppT> libsnark::ram_zksnark_verification_key< ram_zksnark_ppT >::dummy_verification_key ( const ram_zksnark_architecture_params< ram_zksnark_ppT > &  ap )

static

Here is the caller graph for this function:

operator=()

template<typename ram_zksnark_ppT >

ram_zksnark_verification_key<ram_zksnark_ppT>& libsnark::ram_zksnark_verification_key< ram_zksnark_ppT >::operator= ( const ram_zksnark_verification_key< ram_zksnark_ppT > &  other )

default

operator==()

template<typename ram_zksnark_ppT >

bool libsnark::ram_zksnark_verification_key< ram_zksnark_ppT >::operator==

(

const ram_zksnark_verification_key< ram_zksnark_ppT > &

other

)

const

Friends And Related Function Documentation

operator

template<typename ram_zksnark_ppT >

std::ostream& operator ( std::ostream &  out, const ram_zksnark_verification_key< ram_zksnark_ppT > &  vk  )

friend

operator>>

template<typename ram_zksnark_ppT >

std::istream& operator>> ( std::istream &  in, ram_zksnark_verification_key< ram_zksnark_ppT > &  vk  )

friend

Member Data Documentation

ap

template<typename ram_zksnark_ppT >

ram_zksnark_architecture_params<ram_zksnark_ppT> libsnark::ram_zksnark_verification_key< ram_zksnark_ppT >::ap

Definition at line 112 of file ram_zksnark.hpp.

pcd_vk

template<typename ram_zksnark_ppT >

r1cs_sp_ppzkpcd_verification_key<ram_zksnark_PCD_pp<ram_zksnark_ppT> > libsnark::ram_zksnark_verification_key< ram_zksnark_ppT >::pcd_vk

Definition at line 114 of file ram_zksnark.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/zk_proof_systems/zksnark/ram_zksnark/ram_zksnark.hpp