run_r1cs_ppzkadsnark.hpp File Reference

#include <libff/algebra/curves/public_params.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/examples/r1cs_examples.hpp>
#include <libsnark/zk_proof_systems/ppzkadsnark/r1cs_ppzkadsnark/r1cs_ppzkadsnark_params.hpp>
#include <libsnark/zk_proof_systems/ppzkadsnark/r1cs_ppzkadsnark/examples/run_r1cs_ppzkadsnark.tcc>

Include dependency graph for run_r1cs_ppzkadsnark.hpp:

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

Go to the source code of this file.

Namespaces
	libsnark

Functions
template<typename ppT >
bool	libsnark::run_r1cs_ppzkadsnark (const r1cs_example< libff::Fr< snark_pp< ppT >>> &example, const bool test_serialization)

Detailed Description

Declaration of functionality that runs the R1CS ppzkADSNARK for a given R1CS example.

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file run_r1cs_ppzkadsnark.hpp.