libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT > Class Template Reference

#include <ram_ppzksnark.hpp>

Collaboration diagram for libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >:

Public Types
typedef ram_ppzksnark_snark_pp< ram_ppzksnark_ppT >	snark_ppT

Public Member Functions
	ram_ppzksnark_verification_key ()=default
	ram_ppzksnark_verification_key (const ram_ppzksnark_verification_key< ram_ppzksnark_ppT > &other)=default
	ram_ppzksnark_verification_key (ram_ppzksnark_verification_key< ram_ppzksnark_ppT > &&other)=default
	ram_ppzksnark_verification_key (const r1cs_ppzksnark_verification_key< snark_ppT > &r1cs_vk, const ram_ppzksnark_architecture_params< ram_ppzksnark_ppT > &ap, const size_t primary_input_size_bound, const size_t time_bound)
ram_ppzksnark_verification_key< ram_ppzksnark_ppT > &	operator= (const ram_ppzksnark_verification_key< ram_ppzksnark_ppT > &other)=default
ram_ppzksnark_verification_key< ram_ppzksnark_ppT >	bind_primary_input (const ram_ppzksnark_primary_input< ram_ppzksnark_ppT > &primary_input) const
bool	operator== (const ram_ppzksnark_verification_key< ram_ppzksnark_ppT > &other) const

Public Attributes
r1cs_ppzksnark_verification_key< snark_ppT >	r1cs_vk
ram_ppzksnark_architecture_params< ram_ppzksnark_ppT >	ap
size_t	primary_input_size_bound
size_t	time_bound
std::set< size_t >	bound_primary_input_locations

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

Detailed Description

template<typename ram_ppzksnark_ppT>
class libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >

A verification key for the RAM ppzkSNARK.

Definition at line 114 of file ram_ppzksnark.hpp.

Member Typedef Documentation

snark_ppT

template<typename ram_ppzksnark_ppT >

typedef ram_ppzksnark_snark_pp<ram_ppzksnark_ppT> libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >::snark_ppT

Definition at line 131 of file ram_ppzksnark.hpp.

Constructor & Destructor Documentation

ram_ppzksnark_verification_key() [1/4]

template<typename ram_ppzksnark_ppT >

libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >::ram_ppzksnark_verification_key ( )

default

ram_ppzksnark_verification_key() [2/4]

template<typename ram_ppzksnark_ppT >

libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >::ram_ppzksnark_verification_key ( const ram_ppzksnark_verification_key< ram_ppzksnark_ppT > &  other )

default

ram_ppzksnark_verification_key() [3/4]

template<typename ram_ppzksnark_ppT >

libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >::ram_ppzksnark_verification_key ( ram_ppzksnark_verification_key< ram_ppzksnark_ppT > &&  other )

default

ram_ppzksnark_verification_key() [4/4]

template<typename ram_ppzksnark_ppT >

libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >::ram_ppzksnark_verification_key ( const r1cs_ppzksnark_verification_key< snark_ppT > &  r1cs_vk, const ram_ppzksnark_architecture_params< ram_ppzksnark_ppT > &  ap, const size_t  primary_input_size_bound, const size_t  time_bound  )

inline

Definition at line 146 of file ram_ppzksnark.hpp.

        : r1cs_vk(r1cs_vk)
        , ap(ap)
        , primary_input_size_bound(primary_input_size_bound)
        , time_bound(time_bound)
    {
    }

Member Function Documentation

bind_primary_input()

template<typename ram_ppzksnark_ppT >

ram_ppzksnark_verification_key<ram_ppzksnark_ppT> libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >::bind_primary_input

(

const ram_ppzksnark_primary_input< ram_ppzksnark_ppT > &

primary_input

)

const

operator=()

template<typename ram_ppzksnark_ppT >

ram_ppzksnark_verification_key<ram_ppzksnark_ppT>& libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >::operator= ( const ram_ppzksnark_verification_key< ram_ppzksnark_ppT > &  other )

default

operator==()

template<typename ram_ppzksnark_ppT >

bool libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >::operator==

(

const ram_ppzksnark_verification_key< ram_ppzksnark_ppT > &

other

)

const

Friends And Related Function Documentation

operator

template<typename ram_ppzksnark_ppT >

std::ostream& operator ( std::ostream &  out, const ram_ppzksnark_verification_key< ram_ppzksnark_ppT > &  vk  )

friend

operator>>

template<typename ram_ppzksnark_ppT >

std::istream& operator>> ( std::istream &  in, ram_ppzksnark_verification_key< ram_ppzksnark_ppT > &  vk  )

friend

Member Data Documentation

ap

template<typename ram_ppzksnark_ppT >

ram_ppzksnark_architecture_params<ram_ppzksnark_ppT> libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >::ap

Definition at line 134 of file ram_ppzksnark.hpp.

bound_primary_input_locations

template<typename ram_ppzksnark_ppT >

std::set<size_t> libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >::bound_primary_input_locations

Definition at line 138 of file ram_ppzksnark.hpp.

primary_input_size_bound

template<typename ram_ppzksnark_ppT >

size_t libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >::primary_input_size_bound

Definition at line 135 of file ram_ppzksnark.hpp.

r1cs_vk

template<typename ram_ppzksnark_ppT >

r1cs_ppzksnark_verification_key<snark_ppT> libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >::r1cs_vk

Definition at line 133 of file ram_ppzksnark.hpp.

time_bound

template<typename ram_ppzksnark_ppT >

size_t libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >::time_bound

Definition at line 136 of file ram_ppzksnark.hpp.

---

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

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