uscs_examples.hpp File Reference

#include <libsnark/relations/constraint_satisfaction_problems/uscs/uscs.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/uscs/examples/uscs_examples.tcc>

Include dependency graph for uscs_examples.hpp:

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

Go to the source code of this file.

Classes
struct	libsnark::uscs_example< FieldT >

Namespaces
	libsnark

Functions
template<typename FieldT >
uscs_example< FieldT >	libsnark::generate_uscs_example_with_field_input (const size_t num_constraints, const size_t num_inputs)
template<typename FieldT >
uscs_example< FieldT >	libsnark::generate_uscs_example_with_binary_input (const size_t num_constraints, const size_t num_inputs)

Detailed Description

Declaration of interfaces for a USCS example, as well as functions to sample USCS 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 uscs_examples.hpp.