kzg10_batched.hpp

Go to the documentation of this file.

 
#ifndef __LIBSNARK_POLYNOMIAL_COMMITMENTS_KZG10_BATCHED_HPP__
#define __LIBSNARK_POLYNOMIAL_COMMITMENTS_KZG10_BATCHED_HPP__
 
#include "libsnark/polynomial_commitments/kzg10.hpp"
 
 
namespace libsnark
{
 
template<typename ppT> class kzg10_batched_2_point
{
public:
    using Field = libff::Fr<ppT>;
 
    using srs = typename kzg10<ppT>::srs;
 
    using commitment = typename kzg10<ppT>::commitment;
 
    class evaluations
    {
    public:
        std::vector<Field> s_1s;
        std::vector<Field> s_2s;
 
        evaluations(std::vector<Field> &&fs, std::vector<Field> &&gs);
    };
 
    class evaluation_witness
    {
    public:
        // Part of witness corresponding to evaluations of f_1s.
        const libff::G1<ppT> W_1;
        // Part of witness corresponding to evaluations of f_2s.
        const libff::G1<ppT> W_2;
 
        evaluation_witness(
            const libff::G1<ppT> &W_1, const libff::G1<ppT> &W_2);
    };
 
    static evaluations evaluate_polynomials(
        const std::vector<polynomial<Field>> &fs,
        const std::vector<polynomial<Field>> &gs,
        const Field &z_1,
        const Field &z_2);
 
    static evaluation_witness create_evaluation_witness(
        const std::vector<polynomial<Field>> &fs,
        const std::vector<polynomial<Field>> &gs,
        const Field &z_1,
        const Field &z_2,
        const evaluations &evaluations,
        const srs &srs,
        const Field &gamma_1,
        const Field &gamma_2);
 
    static bool verify_evaluations(
        const Field &z_1,
        const Field &z_2,
        const evaluations &evaluations,
        const srs &srs,
        const Field &gamma_1,
        const Field &gamma_2,
        const evaluation_witness &witness,
        const std::vector<commitment> &cm_1s,
        const std::vector<commitment> &cm_2s,
        const Field &r);
};
 
} // namespace libsnark
 
#include "libsnark/polynomial_commitments/kzg10_batched.tcc"
 
#endif // __LIBSNARK_POLYNOMIAL_COMMITMENTS_KZG10_BATCHED_HPP__