libsnark::r1cs_sp_ppzkpcd_keypair< PCD_ppT > Class Template Reference

#include <r1cs_sp_ppzkpcd.hpp>

Public Types
typedef PCD_ppT::curve_A_pp	A_pp
typedef PCD_ppT::curve_B_pp	B_pp

Public Member Functions
	r1cs_sp_ppzkpcd_keypair ()
	r1cs_sp_ppzkpcd_keypair (r1cs_sp_ppzkpcd_keypair< PCD_ppT > &&other)=default
	r1cs_sp_ppzkpcd_keypair (r1cs_sp_ppzkpcd_proving_key< PCD_ppT > &&pk, r1cs_sp_ppzkpcd_verification_key< PCD_ppT > &&vk)
	r1cs_sp_ppzkpcd_keypair (r1cs_ppzksnark_keypair< A_pp > &&kp_A, r1cs_ppzksnark_keypair< B_pp > &&kp_B)

Public Attributes
r1cs_sp_ppzkpcd_proving_key< PCD_ppT >	pk
r1cs_sp_ppzkpcd_verification_key< PCD_ppT >	vk

Detailed Description

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

A key pair for the R1CS (single-predicate) ppzkPC, which consists of a proving key and a verification key.

Definition at line 246 of file r1cs_sp_ppzkpcd.hpp.

Member Typedef Documentation

A_pp

template<typename PCD_ppT >

typedef PCD_ppT::curve_A_pp libsnark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >::A_pp

Definition at line 249 of file r1cs_sp_ppzkpcd.hpp.

B_pp

template<typename PCD_ppT >

typedef PCD_ppT::curve_B_pp libsnark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >::B_pp

Definition at line 250 of file r1cs_sp_ppzkpcd.hpp.

Constructor & Destructor Documentation

r1cs_sp_ppzkpcd_keypair() [1/4]

template<typename PCD_ppT >

libsnark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >::r1cs_sp_ppzkpcd_keypair ( )

inline

Definition at line 255 of file r1cs_sp_ppzkpcd.hpp.

{};

r1cs_sp_ppzkpcd_keypair() [2/4]

template<typename PCD_ppT >

libsnark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >::r1cs_sp_ppzkpcd_keypair ( r1cs_sp_ppzkpcd_keypair< PCD_ppT > &&  other )

default

r1cs_sp_ppzkpcd_keypair() [3/4]

template<typename PCD_ppT >

libsnark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >::r1cs_sp_ppzkpcd_keypair ( r1cs_sp_ppzkpcd_proving_key< PCD_ppT > &&  pk, r1cs_sp_ppzkpcd_verification_key< PCD_ppT > &&  vk  )

inline

Definition at line 257 of file r1cs_sp_ppzkpcd.hpp.

        : pk(std::move(pk)), vk(std::move(vk)){};

r1cs_sp_ppzkpcd_keypair() [4/4]

template<typename PCD_ppT >

libsnark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >::r1cs_sp_ppzkpcd_keypair ( r1cs_ppzksnark_keypair< A_pp > &&  kp_A, r1cs_ppzksnark_keypair< B_pp > &&  kp_B  )

inline

Definition at line 261 of file r1cs_sp_ppzkpcd.hpp.

        : pk(std::move(kp_A.pk), std::move(kp_B.pk))
        , vk(std::move(kp_A.vk), std::move(kp_B.vk)){};

Member Data Documentation

pk

template<typename PCD_ppT >

r1cs_sp_ppzkpcd_proving_key<PCD_ppT> libsnark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >::pk

Definition at line 252 of file r1cs_sp_ppzkpcd.hpp.

vk

template<typename PCD_ppT >

r1cs_sp_ppzkpcd_verification_key<PCD_ppT> libsnark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >::vk

Definition at line 253 of file r1cs_sp_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_sp_ppzkpcd/r1cs_sp_ppzkpcd.hpp