r1cs.hpp File Reference

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

Include dependency graph for r1cs.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::r1cs_constraint< FieldT >
class	libsnark::r1cs_constraint< FieldT >
class	libsnark::r1cs_constraint_system< FieldT >
class	libsnark::r1cs_constraint_system< FieldT >

Namespaces
	libsnark

Typedefs
template<typename FieldT >
using	libsnark::r1cs_primary_input = std::vector< FieldT >
template<typename FieldT >
using	libsnark::r1cs_auxiliary_input = std::vector< FieldT >
template<typename FieldT >
using	libsnark::r1cs_variable_assignment = std::vector< FieldT >

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

Detailed Description

Declaration of interfaces for:

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

Above, R1CS stands for "Rank-1 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 r1cs.hpp.