Clearmatics Libsnark  0.1
C++ library for zkSNARK proofs
Public Member Functions | Public Attributes | Friends | List of all members
libsnark::ram_zksnark_proof< ram_zksnark_ppT > Class Template Reference

#include <ram_zksnark.hpp>

Collaboration diagram for libsnark::ram_zksnark_proof< ram_zksnark_ppT >:
Collaboration graph
[legend]

Public Member Functions

 ram_zksnark_proof ()=default
 
 ram_zksnark_proof (r1cs_sp_ppzkpcd_proof< ram_zksnark_PCD_pp< ram_zksnark_ppT >> &&PCD_proof)
 
 ram_zksnark_proof (const r1cs_sp_ppzkpcd_proof< ram_zksnark_PCD_pp< ram_zksnark_ppT >> &PCD_proof)
 
size_t size_in_bits () const
 
bool operator== (const ram_zksnark_proof< ram_zksnark_ppT > &other) const
 

Public Attributes

r1cs_sp_ppzkpcd_proof< ram_zksnark_PCD_pp< ram_zksnark_ppT > > PCD_proof
 

Friends

std::ostream & operator (std::ostream &out, const ram_zksnark_proof< ram_zksnark_ppT > &proof)
 
std::istream & operator>> (std::istream &in, ram_zksnark_proof< ram_zksnark_ppT > &proof)
 

Detailed Description

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

A proof for the RAM zkSNARK.

Definition at line 163 of file ram_zksnark.hpp.

Constructor & Destructor Documentation

◆ ram_zksnark_proof() [1/3]

template<typename ram_zksnark_ppT >
libsnark::ram_zksnark_proof< ram_zksnark_ppT >::ram_zksnark_proof ( )
default

◆ ram_zksnark_proof() [2/3]

template<typename ram_zksnark_ppT >
libsnark::ram_zksnark_proof< ram_zksnark_ppT >::ram_zksnark_proof ( r1cs_sp_ppzkpcd_proof< ram_zksnark_PCD_pp< ram_zksnark_ppT >> &&  PCD_proof)
inline

Definition at line 182 of file ram_zksnark.hpp.

184  : PCD_proof(std::move(PCD_proof)){};

◆ ram_zksnark_proof() [3/3]

template<typename ram_zksnark_ppT >
libsnark::ram_zksnark_proof< ram_zksnark_ppT >::ram_zksnark_proof ( const r1cs_sp_ppzkpcd_proof< ram_zksnark_PCD_pp< ram_zksnark_ppT >> &  PCD_proof)
inline

Definition at line 185 of file ram_zksnark.hpp.

188  : PCD_proof(PCD_proof){};

Member Function Documentation

◆ operator==()

template<typename ram_zksnark_ppT >
bool libsnark::ram_zksnark_proof< ram_zksnark_ppT >::operator== ( const ram_zksnark_proof< ram_zksnark_ppT > &  other) const

◆ size_in_bits()

template<typename ram_zksnark_ppT >
size_t libsnark::ram_zksnark_proof< ram_zksnark_ppT >::size_in_bits ( ) const
inline

Definition at line 190 of file ram_zksnark.hpp.

190 { return PCD_proof.size_in_bits(); }

Friends And Related Function Documentation

◆ operator

template<typename ram_zksnark_ppT >
std::ostream& operator ( std::ostream &  out,
const ram_zksnark_proof< ram_zksnark_ppT > &  proof 
)
friend

◆ operator>>

template<typename ram_zksnark_ppT >
std::istream& operator>> ( std::istream &  in,
ram_zksnark_proof< ram_zksnark_ppT > &  proof 
)
friend

Member Data Documentation

◆ PCD_proof

template<typename ram_zksnark_ppT >
r1cs_sp_ppzkpcd_proof<ram_zksnark_PCD_pp<ram_zksnark_ppT> > libsnark::ram_zksnark_proof< ram_zksnark_ppT >::PCD_proof

Definition at line 179 of file ram_zksnark.hpp.


The documentation for this class was generated from the following file:
libsnark::ram_zksnark_proof::PCD_proof
r1cs_sp_ppzkpcd_proof< ram_zksnark_PCD_pp< ram_zksnark_ppT > > PCD_proof
Definition: ram_zksnark.hpp:179