nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_proof< PCD_ppT > Class Template Reference
#include <r1cs_mp_ppzkpcd.hpp>
Collaboration diagram for nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_proof< PCD_ppT >:
Public Member Functions | |
bool | operator== (const r1cs_mp_ppzkpcd_proof< PCD_ppT > &other) const |
r1cs_mp_ppzkpcd_proof ()=default | |
r1cs_mp_ppzkpcd_proof (const std::size_t compliance_predicate_idx, const typename r1cs_ppzksnark< typename PCD_ppT::curve_B_pp >::proof_type &r1cs_proof) | |
std::size_t | size_in_bits () const |
Public Attributes | |
std::size_t | compliance_predicate_idx |
r1cs_ppzksnark< typename PCD_ppT::curve_B_pp >::proof_type | r1cs_proof |
Detailed Description
template<typename PCD_ppT>
class nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_proof< PCD_ppT >
A proof for the R1CS (multi-predicate) ppzkPCD.
Constructor & Destructor Documentation
◆ r1cs_mp_ppzkpcd_proof() [1/2]
template<typename PCD_ppT >
|
default |
◆ r1cs_mp_ppzkpcd_proof() [2/2]
template<typename PCD_ppT >
|
inline |
Member Function Documentation
◆ operator==()
template<typename PCD_ppT >
bool nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_proof< PCD_ppT >::operator== | ( | const r1cs_mp_ppzkpcd_proof< PCD_ppT > & | other | ) | const |
◆ size_in_bits()
template<typename PCD_ppT >
std::size_t nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_proof< PCD_ppT >::size_in_bits | ( | ) | const |
Member Data Documentation
◆ compliance_predicate_idx
template<typename PCD_ppT >
std::size_t nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_proof< PCD_ppT >::compliance_predicate_idx |
◆ r1cs_proof
template<typename PCD_ppT >
r1cs_ppzksnark<typename PCD_ppT::curve_B_pp>::proof_type nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_proof< PCD_ppT >::r1cs_proof |
The documentation for this class was generated from the following file: