uscs.hpp File Reference

#include <cstdlib>
#include <iostream>
#include <libsnark/relations/variable.hpp>
#include <map>
#include <string>
#include <vector>
#include <libsnark/relations/constraint_satisfaction_problems/uscs/uscs.tcc>

Include dependency graph for uscs.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::uscs_constraint_system< FieldT >
class	libsnark::uscs_constraint_system< FieldT >

Namespaces
	libsnark

Typedefs
template<typename FieldT >
using	libsnark::uscs_constraint = linear_combination< FieldT >
template<typename FieldT >
using	libsnark::uscs_primary_input = std::vector< FieldT >
template<typename FieldT >
using	libsnark::uscs_auxiliary_input = std::vector< FieldT >
template<typename FieldT >
using	libsnark::uscs_variable_assignment = std::vector< FieldT >

Functions
template<typename FieldT >
std::ostream &	libsnark::operator<< (std::ostream &out, const uscs_constraint_system< FieldT > &cs)
template<typename FieldT >
std::istream &	libsnark::operator>> (std::istream &in, uscs_constraint_system< FieldT > &cs)

Detailed Description

Declaration of interfaces for:

• a USCS constraint,
• a USCS variable assignment, and
• a USCS constraint system.

Above, USCS stands for "Unitary-Square Constraint System".

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