ppzkpcd_compliance_predicate.hpp File Reference

#include <libff/algebra/curves/public_params.hpp>
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/compliance_predicate/compliance_predicate.hpp>

Include dependency graph for ppzkpcd_compliance_predicate.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_mp_ppzkpcd_compliance_predicate = r1cs_pcd_compliance_predicate< libff::Fr< typename PCD_ppT::curve_A_pp > >
template<typename PCD_ppT >
using	libsnark::r1cs_mp_ppzkpcd_message = r1cs_pcd_message< libff::Fr< typename PCD_ppT::curve_A_pp > >
template<typename PCD_ppT >
using	libsnark::r1cs_mp_ppzkpcd_local_data = r1cs_pcd_local_data< libff::Fr< typename PCD_ppT::curve_A_pp > >
template<typename PCD_ppT >
using	libsnark::r1cs_mp_ppzkpcd_variable_assignment = r1cs_variable_assignment< libff::Fr< typename PCD_ppT::curve_A_pp > >

Detailed Description

Template aliasing for prettifying R1CS PCD interfaces.

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file ppzkpcd_compliance_predicate.hpp.