libsnark::r1cs_mp_ppzkpcd_proof< PCD_ppT > Class Template Reference

#include <r1cs_mp_ppzkpcd.hpp>

Collaboration diagram for libsnark::r1cs_mp_ppzkpcd_proof< PCD_ppT >:

Public Member Functions
	r1cs_mp_ppzkpcd_proof ()=default
	r1cs_mp_ppzkpcd_proof (const size_t compliance_predicate_idx, const r1cs_ppzksnark_proof< typename PCD_ppT::curve_B_pp > &r1cs_proof)
size_t	size_in_bits () const
bool	operator== (const r1cs_mp_ppzkpcd_proof< PCD_ppT > &other) const

Public Attributes
size_t	compliance_predicate_idx
r1cs_ppzksnark_proof< typename PCD_ppT::curve_B_pp >	r1cs_proof

Friends
std::ostream &	operator (std::ostream &out, const r1cs_mp_ppzkpcd_proof< PCD_ppT > &proof)
std::istream &	operator>> (std::istream &in, r1cs_mp_ppzkpcd_proof< PCD_ppT > &proof)

Detailed Description

template<typename PCD_ppT>
class libsnark::r1cs_mp_ppzkpcd_proof< PCD_ppT >

A proof for the R1CS (multi-predicate) ppzkPCD.

Definition at line 279 of file r1cs_mp_ppzkpcd.hpp.

Constructor & Destructor Documentation

r1cs_mp_ppzkpcd_proof() [1/2]

template<typename PCD_ppT >

libsnark::r1cs_mp_ppzkpcd_proof< PCD_ppT >::r1cs_mp_ppzkpcd_proof ( )

default

r1cs_mp_ppzkpcd_proof() [2/2]

template<typename PCD_ppT >

libsnark::r1cs_mp_ppzkpcd_proof< PCD_ppT >::r1cs_mp_ppzkpcd_proof ( const size_t  compliance_predicate_idx, const r1cs_ppzksnark_proof< typename PCD_ppT::curve_B_pp > &  r1cs_proof  )

inline

Definition at line 298 of file r1cs_mp_ppzkpcd.hpp.

        : compliance_predicate_idx(compliance_predicate_idx)
        , r1cs_proof(r1cs_proof)
    {
    }

Member Function Documentation

operator==()

template<typename PCD_ppT >

bool libsnark::r1cs_mp_ppzkpcd_proof< PCD_ppT >::operator==

(

const r1cs_mp_ppzkpcd_proof< PCD_ppT > &

other

)

const

size_in_bits()

template<typename PCD_ppT >

size_t libsnark::r1cs_mp_ppzkpcd_proof< PCD_ppT >::size_in_bits

(

)

const

Friends And Related Function Documentation

operator

template<typename PCD_ppT >

std::ostream& operator ( std::ostream &  out, const r1cs_mp_ppzkpcd_proof< PCD_ppT > &  proof  )

friend

operator>>

template<typename PCD_ppT >

std::istream& operator>> ( std::istream &  in, r1cs_mp_ppzkpcd_proof< PCD_ppT > &  proof  )

friend

Member Data Documentation

compliance_predicate_idx

template<typename PCD_ppT >

size_t libsnark::r1cs_mp_ppzkpcd_proof< PCD_ppT >::compliance_predicate_idx

Definition at line 294 of file r1cs_mp_ppzkpcd.hpp.

r1cs_proof

template<typename PCD_ppT >

r1cs_ppzksnark_proof<typename PCD_ppT::curve_B_pp> libsnark::r1cs_mp_ppzkpcd_proof< PCD_ppT >::r1cs_proof

Definition at line 295 of file r1cs_mp_ppzkpcd.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/zk_proof_systems/pcd/r1cs_pcd/r1cs_mp_ppzkpcd/r1cs_mp_ppzkpcd.hpp