run_uscs_ppzksnark.hpp File Reference

#include <libff/algebra/curves/public_params.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/uscs/examples/uscs_examples.hpp>
#include <libsnark/zk_proof_systems/ppzksnark/uscs_ppzksnark/examples/run_uscs_ppzksnark.tcc>

Include dependency graph for run_uscs_ppzksnark.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_uscs_ppzksnark (const uscs_example< libff::Fr< ppT >> &example, const bool test_serialization)

Detailed Description

Declaration of functionality that runs the USCS ppzkSNARK for a given USCS 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_uscs_ppzksnark.hpp.