run_r1cs_se_ppzksnark.hpp File Reference

#include <libff/common/default_types/ec_pp.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/examples/r1cs_examples.hpp>
#include <libsnark/zk_proof_systems/ppzksnark/r1cs_se_ppzksnark/examples/run_r1cs_se_ppzksnark.tcc>

Include dependency graph for run_r1cs_se_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_r1cs_se_ppzksnark (const r1cs_example< libff::Fr< ppT >> &example, const bool test_serialization)

Detailed Description

Declaration of functionality that runs the R1CS SEppzkSNARK 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_se_ppzksnark.hpp.