kzg10.hpp

Go to the documentation of this file.

 
#ifndef __LIBSNARK_POLYNOMIAL_COMMITMENTS_KZG10_HPP__
#define __LIBSNARK_POLYNOMIAL_COMMITMENTS_KZG10_HPP__
 
#include "libsnark/common/data_structures/polynomial.hpp"
 
#include <libff/algebra/curves/public_params.hpp>
#include <libff/algebra/fields/fp.hpp>
#include <vector>
 
 
namespace libsnark
{
 
template<typename ppT> class kzg10
{
public:
    using Field = libff::Fr<ppT>;
 
    class srs
    {
    public:
        srs(std::vector<libff::G1<ppT>> &&alpha_powers_g1,
            const libff::G2<ppT> &alpha_g2);
 
        std::vector<libff::G1<ppT>> alpha_powers_g1;
 
        libff::G2<ppT> alpha_g2;
    };
 
    using commitment = libff::G1<ppT>;
 
    using evaluation_witness = libff::G1<ppT>;
 
    static srs setup_from_secret(size_t max_degree, const Field &alpha);
 
    static srs setup(size_t max_degree);
 
    static commitment commit(const srs &srs, const polynomial<Field> &phi);
 
    static bool verify_poly(
        const srs &srs, commitment C, const polynomial<Field> &phi);
 
    static Field evaluate_polynomial(const polynomial<Field> &phi, Field i);
 
    static evaluation_witness create_evaluation_witness(
        const polynomial<Field> &phi,
        const Field &i,
        const Field &evaluation,
        const srs &srs);
 
    static bool verify_evaluation(
        const Field &i,
        const Field &evaluation,
        const srs &srs,
        const evaluation_witness &witness,
        const commitment &C);
};
 
} // namespace libsnark
 
#include "libsnark/polynomial_commitments/kzg10.tcc"
 
#endif // __LIBSNARK_POLYNOMIAL_COMMITMENTS_KZG10_HPP__