bdfg21.hpp

Go to the documentation of this file.

 
#ifndef __LIBSNARK_POLYNOMIAL_COMMITMENTS_BDFG21_HPP__
#define __LIBSNARK_POLYNOMIAL_COMMITMENTS_BDFG21_HPP__
 
#include "libsnark/polynomial_commitments/kzg10.hpp"
 
 
namespace libsnark
{
 
template<typename ppT> class bdfg21
{
public:
    using Field = libff::Fr<ppT>;
 
    using srs = typename kzg10<ppT>::srs;
 
    using commitment = typename kzg10<ppT>::commitment;
 
 
    using evaluations = std::vector<std::vector<Field>>;
 
    using evaluation_witness_phase_1 = libff::G1<ppT>;
 
    class phase_1_output
    {
    public:
        libff::G1<ppT> public_witness_phase_1;
        polynomial<Field> private_f_over_Z_T_polynomial;
 
        phase_1_output(
            const libff::G1<ppT> &witness_phase_1,
            polynomial<Field> &&f_over_Z_T_polynomial);
    };
 
    class evaluation_witness
    {
    public:
        libff::G1<ppT> W;
        libff::G1<ppT> W_prime;
 
        evaluation_witness(
            const libff::G1<ppT> &W, const libff::G1<ppT> &W_prime);
    };
 
    static evaluations evaluate_polynomials(
        const std::vector<std::vector<polynomial<Field>>> &f_sets,
        const std::vector<Field> z_s);
 
    static phase_1_output create_evaluation_witness_phase_1(
        const std::vector<std::vector<polynomial<Field>>> &f_sets,
        const std::vector<Field> &T,
        const evaluations &evaluations,
        const srs &srs,
        const Field &gamma);
 
    static evaluation_witness create_evaluation_witness(
        const std::vector<std::vector<polynomial<Field>>> &f_sets,
        const std::vector<Field> &T,
        const evaluations &evaluations,
        const srs &srs,
        const Field &gamma,
        const phase_1_output &witness_phase_1,
        const Field &z);
 
    static bool verify_evaluations(
        const std::vector<Field> &T,
        const evaluations &evaluations,
        const srs &srs,
        const Field &gamma,
        const Field &z,
        const evaluation_witness &witness,
        const std::vector<std::vector<commitment>> &cm_sets);
};
 
} // namespace libsnark
 
#include "libsnark/polynomial_commitments/bdfg21.tcc"
 
#endif // __LIBSNARK_POLYNOMIAL_COMMITMENTS_BDFG21_HPP__