run_r1cs_sp_ppzkpcd.hpp File Reference

#include <cstddef>
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/r1cs_sp_ppzkpcd/examples/run_r1cs_sp_ppzkpcd.tcc>

Include dependency graph for run_r1cs_sp_ppzkpcd.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 PCD_ppT >
bool	libsnark::run_r1cs_sp_ppzkpcd_tally_example (const size_t wordsize, const size_t arity, const size_t depth, const bool test_serialization)

Detailed Description

Declaration of functionality that runs the R1CS single-predicate ppzkPCD for a compliance predicate 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_sp_ppzkpcd.hpp.