tbcs_examples.cpp File Reference

#include <cassert>
#include <libff/common/utils.hpp>
#include <libsnark/relations/circuit_satisfaction_problems/tbcs/examples/tbcs_examples.hpp>

Include dependency graph for tbcs_examples.cpp:

Go to the source code of this file.

Namespaces
	libsnark

Functions
tbcs_example	libsnark::generate_tbcs_example (const size_t primary_input_size, const size_t auxiliary_input_size, const size_t num_gates, const size_t num_outputs)

Detailed Description

Implementation of functions to sample TBCS examples with prescribed parameters (according to some distribution).

See tbcs_examples.hpp .

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file tbcs_examples.cpp.