r1cs_ppzkadsnark_params.hpp File Reference

#include <libff/algebra/curves/public_params.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/r1cs.hpp>

Include dependency graph for r1cs_ppzkadsnark_params.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::labelT

Namespaces
	libsnark

Typedefs
template<typename r1cs_ppzkadsnark_ppT >
using	libsnark::snark_pp = typename r1cs_ppzkadsnark_ppT::snark_pp
template<typename r1cs_ppzkadsnark_ppT >
using	libsnark::r1cs_ppzkadsnark_constraint_system = r1cs_constraint_system< libff::Fr< snark_pp< r1cs_ppzkadsnark_ppT > >>
template<typename r1cs_ppzkadsnark_ppT >
using	libsnark::r1cs_ppzkadsnark_primary_input = r1cs_primary_input< libff::Fr< snark_pp< r1cs_ppzkadsnark_ppT > >>
template<typename r1cs_ppzkadsnark_ppT >
using	libsnark::r1cs_ppzkadsnark_auxiliary_input = r1cs_auxiliary_input< libff::Fr< snark_pp< r1cs_ppzkadsnark_ppT > >>
template<typename r1cs_ppzkadsnark_ppT >
using	libsnark::r1cs_ppzkadsnark_skT = typename r1cs_ppzkadsnark_ppT::skT
template<typename r1cs_ppzkadsnark_ppT >
using	libsnark::r1cs_ppzkadsnark_vkT = typename r1cs_ppzkadsnark_ppT::vkT
template<typename r1cs_ppzkadsnark_ppT >
using	libsnark::r1cs_ppzkadsnark_sigT = typename r1cs_ppzkadsnark_ppT::sigT
template<typename r1cs_ppzkadsnark_ppT >
using	libsnark::r1cs_ppzkadsnark_prfKeyT = typename r1cs_ppzkadsnark_ppT::prfKeyT

Detailed Description

Declaration of public-parameter selector for the R1CS ppzkADSNARK.

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_ppzkadsnark_params.hpp.