bacs.hpp File Reference

#include <libsnark/relations/variable.hpp>
#include <vector>
#include <libsnark/relations/circuit_satisfaction_problems/bacs/bacs.tcc>

Include dependency graph for bacs.hpp:

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

Go to the source code of this file.

Classes
struct	libsnark::bacs_gate< FieldT >
struct	libsnark::bacs_gate< FieldT >
class	libsnark::bacs_circuit< FieldT >
class	libsnark::bacs_circuit< FieldT >

Namespaces
	libsnark

Typedefs
template<typename FieldT >
using	libsnark::bacs_variable_assignment = std::vector< FieldT >
template<typename FieldT >
using	libsnark::bacs_primary_input = bacs_variable_assignment< FieldT >
template<typename FieldT >
using	libsnark::bacs_auxiliary_input = bacs_variable_assignment< FieldT >

Functions
template<typename FieldT >
std::ostream &	libsnark::operator<< (std::ostream &out, const bacs_gate< FieldT > &g)
template<typename FieldT >
std::istream &	libsnark::operator>> (std::istream &in, bacs_gate< FieldT > &g)
template<typename FieldT >
std::ostream &	libsnark::operator<< (std::ostream &out, const bacs_circuit< FieldT > &circuit)
template<typename FieldT >
std::istream &	libsnark::operator>> (std::istream &in, bacs_circuit< FieldT > &circuit)

Detailed Description

Declaration of interfaces for:

• a BACS variable assignment,
• a BACS gate,
• a BACS primary input,
• a BACS auxiliary input,
• a BACS circuit.

Above, BACS stands for "Bilinear Arithmetic Circuit Satisfiability".

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