bacs_examples.hpp File Reference

#include <libsnark/relations/circuit_satisfaction_problems/bacs/bacs.hpp>
#include <libsnark/relations/circuit_satisfaction_problems/bacs/examples/bacs_examples.tcc>

Include dependency graph for bacs_examples.hpp:

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

Go to the source code of this file.

Classes
struct	libsnark::bacs_example< FieldT >

Namespaces
	libsnark

Functions
template<typename FieldT >
bacs_example< FieldT >	libsnark::generate_bacs_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 BACS example, as well as functions to sample BACS 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 bacs_examples.hpp.