r1cs_sp_ppzkpcd_params.hpp

Go to the documentation of this file.

 
#ifndef R1CS_SP_PPZKPCD_PARAMS_HPP_
#define R1CS_SP_PPZKPCD_PARAMS_HPP_
 
#include <libff/algebra/curves/public_params.hpp>
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/compliance_predicate/compliance_predicate.hpp>
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/r1cs_pcd_params.hpp>
 
namespace libsnark
{
 
template<typename PCD_ppT>
using r1cs_sp_ppzkpcd_compliance_predicate =
    r1cs_pcd_compliance_predicate<libff::Fr<typename PCD_ppT::curve_A_pp>>;
 
template<typename PCD_ppT>
using r1cs_sp_ppzkpcd_message =
    r1cs_pcd_message<libff::Fr<typename PCD_ppT::curve_A_pp>>;
 
template<typename PCD_ppT>
using r1cs_sp_ppzkpcd_local_data =
    r1cs_pcd_local_data<libff::Fr<typename PCD_ppT::curve_A_pp>>;
 
template<typename PCD_ppT>
using r1cs_sp_ppzkpcd_primary_input =
    r1cs_pcd_compliance_predicate_primary_input<
        libff::Fr<typename PCD_ppT::curve_A_pp>>;
 
template<typename PCD_ppT>
using r1cs_sp_ppzkpcd_auxiliary_input =
    r1cs_pcd_compliance_predicate_auxiliary_input<
        libff::Fr<typename PCD_ppT::curve_A_pp>>;
 
} // namespace libsnark
 
#endif // R1CS_SP_PPZKPCD_PARAMS_HPP_