libsnark::ram_ppzksnark_proving_key< ram_ppzksnark_ppT > Class Template Reference

#include <ram_ppzksnark.hpp>

Collaboration diagram for libsnark::ram_ppzksnark_proving_key< ram_ppzksnark_ppT >:

Public Types
typedef ram_ppzksnark_snark_pp< ram_ppzksnark_ppT >	snark_ppT

Public Member Functions
	ram_ppzksnark_proving_key ()
	ram_ppzksnark_proving_key (const ram_ppzksnark_proving_key< ram_ppzksnark_ppT > &other)=default
	ram_ppzksnark_proving_key (ram_ppzksnark_proving_key< ram_ppzksnark_ppT > &&other)=default
	ram_ppzksnark_proving_key (r1cs_ppzksnark_proving_key< snark_ppT > &&r1cs_pk, const ram_ppzksnark_architecture_params< ram_ppzksnark_ppT > &ap, const size_t primary_input_size_bound, const size_t time_bound)
ram_ppzksnark_proving_key< ram_ppzksnark_ppT > &	operator= (const ram_ppzksnark_proving_key< ram_ppzksnark_ppT > &other)=default
bool	operator== (const ram_ppzksnark_proving_key< ram_ppzksnark_ppT > &other) const

Public Attributes
r1cs_ppzksnark_proving_key< snark_ppT >	r1cs_pk
ram_ppzksnark_architecture_params< ram_ppzksnark_ppT >	ap
size_t	primary_input_size_bound
size_t	time_bound

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

Detailed Description

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

A proving key for the RAM ppzkSNARK.

Definition at line 60 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_proving_key< ram_ppzksnark_ppT >::snark_ppT

Definition at line 76 of file ram_ppzksnark.hpp.

Constructor & Destructor Documentation

ram_ppzksnark_proving_key() [1/4]

template<typename ram_ppzksnark_ppT >

libsnark::ram_ppzksnark_proving_key< ram_ppzksnark_ppT >::ram_ppzksnark_proving_key ( )

inline

Definition at line 83 of file ram_ppzksnark.hpp.

{}

ram_ppzksnark_proving_key() [2/4]

template<typename ram_ppzksnark_ppT >

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

default

ram_ppzksnark_proving_key() [3/4]

template<typename ram_ppzksnark_ppT >

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

default

ram_ppzksnark_proving_key() [4/4]

template<typename ram_ppzksnark_ppT >

libsnark::ram_ppzksnark_proving_key< ram_ppzksnark_ppT >::ram_ppzksnark_proving_key ( r1cs_ppzksnark_proving_key< snark_ppT > &&  r1cs_pk, 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 88 of file ram_ppzksnark.hpp.

        : r1cs_pk(std::move(r1cs_pk))
        , ap(ap)
        , primary_input_size_bound(primary_input_size_bound)
        , time_bound(time_bound)
    {
    }

Member Function Documentation

operator=()

template<typename ram_ppzksnark_ppT >

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

default

operator==()

template<typename ram_ppzksnark_ppT >

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

(

const ram_ppzksnark_proving_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_proving_key< ram_ppzksnark_ppT > &  pk  )

friend

operator>>

template<typename ram_ppzksnark_ppT >

std::istream& operator>> ( std::istream &  in, ram_ppzksnark_proving_key< ram_ppzksnark_ppT > &  pk  )

friend

Member Data Documentation

ap

template<typename ram_ppzksnark_ppT >

ram_ppzksnark_architecture_params<ram_ppzksnark_ppT> libsnark::ram_ppzksnark_proving_key< ram_ppzksnark_ppT >::ap

Definition at line 79 of file ram_ppzksnark.hpp.

primary_input_size_bound

template<typename ram_ppzksnark_ppT >

size_t libsnark::ram_ppzksnark_proving_key< ram_ppzksnark_ppT >::primary_input_size_bound

Definition at line 80 of file ram_ppzksnark.hpp.

r1cs_pk

template<typename ram_ppzksnark_ppT >

r1cs_ppzksnark_proving_key<snark_ppT> libsnark::ram_ppzksnark_proving_key< ram_ppzksnark_ppT >::r1cs_pk

Definition at line 78 of file ram_ppzksnark.hpp.

time_bound

template<typename ram_ppzksnark_ppT >

size_t libsnark::ram_ppzksnark_proving_key< ram_ppzksnark_ppT >::time_bound

Definition at line 81 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