ssp.hpp

Go to the documentation of this file.

 
#ifndef SSP_HPP_
#define SSP_HPP_
 
#include <libfqfft/evaluation_domain/evaluation_domain.hpp>
#include <map>
#include <memory>
 
namespace libsnark
{
 
/* forward declaration */
template<typename FieldT> class ssp_witness;
 
template<typename FieldT> class ssp_instance
{
private:
    size_t num_variables_;
    size_t degree_;
    size_t num_inputs_;
 
public:
    std::shared_ptr<libfqfft::evaluation_domain<FieldT>> domain;
 
    std::vector<std::map<size_t, FieldT>> V_in_Lagrange_basis;
 
    ssp_instance(
        const std::shared_ptr<libfqfft::evaluation_domain<FieldT>> &domain,
        const size_t num_variables,
        const size_t degree,
        const size_t num_inputs,
        const std::vector<std::map<size_t, FieldT>> &V_in_Lagrange_basis);
    ssp_instance(
        const std::shared_ptr<libfqfft::evaluation_domain<FieldT>> &domain,
        const size_t num_variables,
        const size_t degree,
        const size_t num_inputs,
        std::vector<std::map<size_t, FieldT>> &&V_in_Lagrange_basis);
 
    ssp_instance(const ssp_instance<FieldT> &other) = default;
    ssp_instance(ssp_instance<FieldT> &&other) = default;
    ssp_instance &operator=(const ssp_instance<FieldT> &other) = default;
    ssp_instance &operator=(ssp_instance<FieldT> &&other) = default;
 
    size_t num_variables() const;
    size_t degree() const;
    size_t num_inputs() const;
 
    bool is_satisfied(const ssp_witness<FieldT> &witness) const;
};
 
template<typename FieldT> class ssp_instance_evaluation
{
private:
    size_t num_variables_;
    size_t degree_;
    size_t num_inputs_;
 
public:
    std::shared_ptr<libfqfft::evaluation_domain<FieldT>> domain;
 
    FieldT t;
 
    std::vector<FieldT> Vt, Ht;
 
    FieldT Zt;
 
    ssp_instance_evaluation(
        const std::shared_ptr<libfqfft::evaluation_domain<FieldT>> &domain,
        const size_t num_variables,
        const size_t degree,
        const size_t num_inputs,
        const FieldT &t,
        const std::vector<FieldT> &Vt,
        const std::vector<FieldT> &Ht,
        const FieldT &Zt);
    ssp_instance_evaluation(
        const std::shared_ptr<libfqfft::evaluation_domain<FieldT>> &domain,
        const size_t num_variables,
        const size_t degree,
        const size_t num_inputs,
        const FieldT &t,
        std::vector<FieldT> &&Vt,
        std::vector<FieldT> &&Ht,
        const FieldT &Zt);
 
    ssp_instance_evaluation(const ssp_instance_evaluation<FieldT> &other) =
        default;
    ssp_instance_evaluation(ssp_instance_evaluation<FieldT> &&other) = default;
    ssp_instance_evaluation &operator=(
        const ssp_instance_evaluation<FieldT> &other) = default;
    ssp_instance_evaluation &operator=(
        ssp_instance_evaluation<FieldT> &&other) = default;
 
    size_t num_variables() const;
    size_t degree() const;
    size_t num_inputs() const;
 
    bool is_satisfied(const ssp_witness<FieldT> &witness) const;
};
 
template<typename FieldT> class ssp_witness
{
private:
    size_t num_variables_;
    size_t degree_;
    size_t num_inputs_;
 
public:
    FieldT d;
 
    std::vector<FieldT> coefficients_for_Vs;
    std::vector<FieldT> coefficients_for_H;
 
    ssp_witness(
        const size_t num_variables,
        const size_t degree,
        const size_t num_inputs,
        const FieldT &d,
        const std::vector<FieldT> &coefficients_for_Vs,
        const std::vector<FieldT> &coefficients_for_H);
    ssp_witness(
        const size_t num_variables,
        const size_t degree,
        const size_t num_inputs,
        const FieldT &d,
        const std::vector<FieldT> &coefficients_for_Vs,
        std::vector<FieldT> &&coefficients_for_H);
 
    ssp_witness(const ssp_witness<FieldT> &other) = default;
    ssp_witness(ssp_witness<FieldT> &&other) = default;
    ssp_witness &operator=(const ssp_witness<FieldT> &other) = default;
    ssp_witness &operator=(ssp_witness<FieldT> &&other) = default;
 
    size_t num_variables() const;
    size_t degree() const;
    size_t num_inputs() const;
};
 
} // namespace libsnark
 
#include <libsnark/relations/arithmetic_programs/ssp/ssp.tcc>
 
#endif // SSP_HPP_