r1cs_examples.hpp File Reference

#include <libsnark/relations/constraint_satisfaction_problems/r1cs/r1cs.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/examples/r1cs_examples.tcc>

Include dependency graph for r1cs_examples.hpp:

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

Go to the source code of this file.

Classes
struct	libsnark::r1cs_example< FieldT >

Namespaces
	libsnark

Functions
template<typename FieldT >
r1cs_example< FieldT >	libsnark::generate_r1cs_example_with_field_input (const size_t num_constraints, const size_t num_inputs)
template<typename FieldT >
r1cs_example< FieldT >	libsnark::generate_r1cs_example_with_binary_input (const size_t num_constraints, const size_t num_inputs)

Detailed Description

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