qap.hpp

Go to the documentation of this file.

 
#ifndef QAP_HPP_
#define QAP_HPP_
 
#include <libfqfft/evaluation_domain/evaluation_domain.hpp>
#include <map>
#include <memory>
 
namespace libsnark
{
 
/* forward declaration */
template<typename FieldT> class qap_witness;
 
template<typename FieldT> class qap_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>> A_in_Lagrange_basis;
    std::vector<std::map<size_t, FieldT>> B_in_Lagrange_basis;
    std::vector<std::map<size_t, FieldT>> C_in_Lagrange_basis;
 
    qap_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>> &A_in_Lagrange_basis,
        const std::vector<std::map<size_t, FieldT>> &B_in_Lagrange_basis,
        const std::vector<std::map<size_t, FieldT>> &C_in_Lagrange_basis);
 
    qap_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>> &&A_in_Lagrange_basis,
        std::vector<std::map<size_t, FieldT>> &&B_in_Lagrange_basis,
        std::vector<std::map<size_t, FieldT>> &&C_in_Lagrange_basis);
 
    qap_instance(const qap_instance<FieldT> &other) = default;
    qap_instance(qap_instance<FieldT> &&other) = default;
    qap_instance &operator=(const qap_instance<FieldT> &other) = default;
    qap_instance &operator=(qap_instance<FieldT> &&other) = default;
 
    size_t num_variables() const;
    size_t degree() const;
    size_t num_inputs() const;
 
    bool is_satisfied(const qap_witness<FieldT> &witness) const;
};
 
template<typename FieldT> class qap_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> At;
    std::vector<FieldT> Bt;
    std::vector<FieldT> Ct;
    std::vector<FieldT> Ht;
 
    FieldT Zt;
 
    qap_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> &At,
        const std::vector<FieldT> &Bt,
        const std::vector<FieldT> &Ct,
        const std::vector<FieldT> &Ht,
        const FieldT &Zt);
    qap_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> &&At,
        std::vector<FieldT> &&Bt,
        std::vector<FieldT> &&Ct,
        std::vector<FieldT> &&Ht,
        const FieldT &Zt);
 
    qap_instance_evaluation(const qap_instance_evaluation<FieldT> &other) =
        default;
    qap_instance_evaluation(qap_instance_evaluation<FieldT> &&other) = default;
    qap_instance_evaluation &operator=(
        const qap_instance_evaluation<FieldT> &other) = default;
    qap_instance_evaluation &operator=(
        qap_instance_evaluation<FieldT> &&other) = default;
 
    size_t num_variables() const;
    size_t degree() const;
    size_t num_inputs() const;
 
    bool is_satisfied(const qap_witness<FieldT> &witness) const;
};
 
template<typename FieldT> class qap_witness
{
private:
    size_t num_variables_;
    size_t degree_;
    size_t num_inputs_;
 
public:
    FieldT d1, d2, d3;
 
    std::vector<FieldT> coefficients_for_ABCs;
    std::vector<FieldT> coefficients_for_H;
 
    qap_witness(
        const size_t num_variables,
        const size_t degree,
        const size_t num_inputs,
        const FieldT &d1,
        const FieldT &d2,
        const FieldT &d3,
        const std::vector<FieldT> &coefficients_for_ABCs,
        const std::vector<FieldT> &coefficients_for_H);
 
    qap_witness(
        const size_t num_variables,
        const size_t degree,
        const size_t num_inputs,
        const FieldT &d1,
        const FieldT &d2,
        const FieldT &d3,
        const std::vector<FieldT> &coefficients_for_ABCs,
        std::vector<FieldT> &&coefficients_for_H);
 
    qap_witness(const qap_witness<FieldT> &other) = default;
    qap_witness(qap_witness<FieldT> &&other) = default;
    qap_witness &operator=(const qap_witness<FieldT> &other) = default;
    qap_witness &operator=(qap_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/qap/qap.tcc>
 
#endif // QAP_HPP_