nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_keypair< PCD_ppT > Class Template Reference

#include <r1cs_sp_ppzkpcd.hpp>

+ Collaboration diagram for nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >:

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 (typename r1cs_ppzksnark< A_pp >::keypair_type &&kp_A, typename r1cs_ppzksnark< B_pp >::keypair_type &&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 nil::crypto3::zk::snark::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.

Member Typedef Documentation

◆ A_pp

template<typename PCD_ppT >
typedef PCD_ppT::curve_A_pp nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >::A_pp

◆ B_pp

template<typename PCD_ppT >
typedef PCD_ppT::curve_B_pp nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >::B_pp

Constructor & Destructor Documentation

◆ r1cs_sp_ppzkpcd_keypair() [1/4]

template<typename PCD_ppT >
nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >::r1cs_sp_ppzkpcd_keypair ( )
inline

◆ r1cs_sp_ppzkpcd_keypair() [2/4]

template<typename PCD_ppT >
nil::crypto3::zk::snark::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 >
nil::crypto3::zk::snark::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

◆ r1cs_sp_ppzkpcd_keypair() [4/4]

template<typename PCD_ppT >
nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >::r1cs_sp_ppzkpcd_keypair ( typename r1cs_ppzksnark< A_pp >::keypair_type &&  kp_A,
typename r1cs_ppzksnark< B_pp >::keypair_type &&  kp_B 
)
inline

Member Data Documentation

◆ pk

template<typename PCD_ppT >
r1cs_sp_ppzkpcd_proving_key<PCD_ppT> nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >::pk

◆ vk

template<typename PCD_ppT >
r1cs_sp_ppzkpcd_verification_key<PCD_ppT> nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >::vk

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