uscs.hpp

Go to the documentation of this file.

 
#ifndef USCS_HPP_
#define USCS_HPP_
 
#include <cstdlib>
#include <iostream>
#include <libsnark/relations/variable.hpp>
#include <map>
#include <string>
#include <vector>
 
namespace libsnark
{
 
/************************* USCS constraint ***********************************/
 
template<typename FieldT> using uscs_constraint = linear_combination<FieldT>;
 
/************************* USCS variable assignment **************************/
 
template<typename FieldT> using uscs_primary_input = std::vector<FieldT>;
 
template<typename FieldT> using uscs_auxiliary_input = std::vector<FieldT>;
 
template<typename FieldT> using uscs_variable_assignment = std::vector<FieldT>;
 
/************************* USCS constraint system ****************************/
 
template<typename FieldT> class uscs_constraint_system;
 
template<typename FieldT>
std::ostream &operator<<(
    std::ostream &out, const uscs_constraint_system<FieldT> &cs);
 
template<typename FieldT>
std::istream &operator>>(std::istream &in, uscs_constraint_system<FieldT> &cs);
 
template<typename FieldT> class uscs_constraint_system
{
public:
    size_t primary_input_size;
    size_t auxiliary_input_size;
 
    std::vector<uscs_constraint<FieldT>> constraints;
 
    uscs_constraint_system() : primary_input_size(0), auxiliary_input_size(0){};
 
    size_t num_inputs() const;
    size_t num_variables() const;
    size_t num_constraints() const;
 
#ifdef DEBUG
    std::map<size_t, std::string> constraint_annotations;
    std::map<size_t, std::string> variable_annotations;
#endif
 
    bool is_valid() const;
    bool is_satisfied(
        const uscs_primary_input<FieldT> &primary_input,
        const uscs_auxiliary_input<FieldT> &auxiliary_input) const;
 
    void add_constraint(const uscs_constraint<FieldT> &constraint);
    void add_constraint(
        const uscs_constraint<FieldT> &constraint,
        const std::string &annotation);
 
    bool operator==(const uscs_constraint_system<FieldT> &other) const;
 
    friend std::ostream &operator<<<FieldT>(
        std::ostream &out, const uscs_constraint_system<FieldT> &cs);
    friend std::istream &operator>>
        <FieldT>(std::istream &in, uscs_constraint_system<FieldT> &cs);
 
    void report_linear_constraint_statistics() const;
};
 
} // namespace libsnark
 
#include <libsnark/relations/constraint_satisfaction_problems/uscs/uscs.tcc>
 
#endif // USCS_HPP_