r1cs_sp_ppzkpcd_params.hpp File Reference

#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>

Include dependency graph for r1cs_sp_ppzkpcd_params.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	libsnark

Typedefs
template<typename PCD_ppT >
using	libsnark::r1cs_sp_ppzkpcd_compliance_predicate = r1cs_pcd_compliance_predicate< libff::Fr< typename PCD_ppT::curve_A_pp > >
template<typename PCD_ppT >
using	libsnark::r1cs_sp_ppzkpcd_message = r1cs_pcd_message< libff::Fr< typename PCD_ppT::curve_A_pp > >
template<typename PCD_ppT >
using	libsnark::r1cs_sp_ppzkpcd_local_data = r1cs_pcd_local_data< libff::Fr< typename PCD_ppT::curve_A_pp > >
template<typename PCD_ppT >
using	libsnark::r1cs_sp_ppzkpcd_primary_input = r1cs_pcd_compliance_predicate_primary_input< libff::Fr< typename PCD_ppT::curve_A_pp > >
template<typename PCD_ppT >
using	libsnark::r1cs_sp_ppzkpcd_auxiliary_input = r1cs_pcd_compliance_predicate_auxiliary_input< libff::Fr< typename PCD_ppT::curve_A_pp > >

Detailed Description

Parameters for single-predicate ppzkPCD for R1CS.

Author

This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file r1cs_sp_ppzkpcd_params.hpp.