run_tbcs_ppzksnark.hpp File Reference

#include <libsnark/relations/circuit_satisfaction_problems/tbcs/examples/tbcs_examples.hpp>
#include <libsnark/zk_proof_systems/ppzksnark/tbcs_ppzksnark/examples/run_tbcs_ppzksnark.tcc>

Include dependency graph for run_tbcs_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_tbcs_ppzksnark (const tbcs_example &example, const bool test_serialization)

Detailed Description

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