#include <nil/crypto3/zk/snark/schemes/pcd/r1cs_pcd/compliance_predicate.hpp>
#include <nil/crypto3/zk/snark/schemes/pcd/r1cs_pcd/r1cs_pcd_params.hpp>

Include dependency graph for r1cs_sp_ppzkpcd_params.hpp:

Go to the source code of this file.

Namespaces
	nil

	nil::crypto3

	nil::crypto3::zk

	nil::crypto3::zk::snark

Typedefs
template<typename PCD_ppT >
using	nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_auxiliary_input = r1cs_pcd_compliance_predicate_auxiliary_input< algebra::Fr< typename PCD_ppT::curve_A_pp > >

template<typename PCD_ppT >
using	nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_compliance_predicate = r1cs_pcd_compliance_predicate< algebra::Fr< typename PCD_ppT::curve_A_pp > >

template<typename PCD_ppT >
using	nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_local_data = r1cs_pcd_local_data< algebra::Fr< typename PCD_ppT::curve_A_pp > >

template<typename PCD_ppT >
using	nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_message = r1cs_pcd_message< algebra::Fr< typename PCD_ppT::curve_A_pp > >

template<typename PCD_ppT >
using	nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_primary_input = r1cs_pcd_compliance_predicate_primary_input< algebra::Fr< typename PCD_ppT::curve_A_pp > >

Namespaces

Typedefs