tbcs_examples.hpp File Reference

#include <libsnark/relations/circuit_satisfaction_problems/tbcs/tbcs.hpp>

Include dependency graph for tbcs_examples.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	libsnark::tbcs_example

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

Declaration of interfaces for a TBCS example, as well as functions to sample TBCS examples with prescribed parameters (according to some distribution).

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.hpp.