powersoftau_utils.hpp

Go to the documentation of this file.

// Copyright (c) 2015-2022 Clearmatics Technologies Ltd
//
// SPDX-License-Identifier: LGPL-3.0+
 
#ifndef __ZETH_MPC_GROTH16_POWERSOFTAU_UTILS_HPP__
#define __ZETH_MPC_GROTH16_POWERSOFTAU_UTILS_HPP__
 
#include "libzeth/snarks/groth16/groth16_snark.hpp"
 
#include <istream>
 
namespace libzeth
{
 
template<typename ppT> class srs_powersoftau
{
public:
    const libff::G1_vector<ppT> tau_powers_g1;
 
    const libff::G2_vector<ppT> tau_powers_g2;
 
    const libff::G1_vector<ppT> alpha_tau_powers_g1;
 
    const libff::G1_vector<ppT> beta_tau_powers_g1;
 
    const libff::G2<ppT> beta_g2;
 
    srs_powersoftau(
        libff::G1_vector<ppT> &&tau_powers_g1,
        libff::G2_vector<ppT> &&tau_powers_g2,
        libff::G1_vector<ppT> &&alpha_tau_powers_g1,
        libff::G1_vector<ppT> &&beta_tau_g1,
        const libff::G2<ppT> &beta_g2);
 
    bool is_well_formed() const;
};
 
template<typename ppT> class srs_lagrange_evaluations
{
public:
    const size_t degree;
 
    std::vector<libff::G1<ppT>> lagrange_g1;
 
    std::vector<libff::G2<ppT>> lagrange_g2;
 
    std::vector<libff::G1<ppT>> alpha_lagrange_g1;
 
    std::vector<libff::G1<ppT>> beta_lagrange_g1;
 
    srs_lagrange_evaluations(
        size_t degree,
        std::vector<libff::G1<ppT>> &&lagrange_g1,
        std::vector<libff::G2<ppT>> &&lagrange_g2,
        std::vector<libff::G1<ppT>> &&alpha_lagrange_g1,
        std::vector<libff::G1<ppT>> &&beta_lagrange_g1);
 
    bool is_well_formed() const;
    void write(std::ostream &out) const;
    static srs_lagrange_evaluations read(std::istream &in);
};
 
template<typename ppT>
srs_powersoftau<ppT> dummy_powersoftau_from_secrets(
    const libff::Fr<ppT> &tau,
    const libff::Fr<ppT> &alpha,
    const libff::Fr<ppT> &beta,
    size_t n);
 
template<typename ppT> srs_powersoftau<ppT> dummy_powersoftau(size_t n);
 
// Utility functions for reading and writing data as formatted by the
// powersoftau process.
 
template<typename ppT>
void read_powersoftau_fr(std::istream &in, libff::Fr<ppT> &fr_out);
template<typename ppT>
void read_powersoftau_g1(std::istream &in, libff::G1<ppT> &out);
template<typename ppT>
void read_powersoftau_g2(std::istream &in, libff::G2<ppT> &out);
 
template<typename ppT>
void write_powersoftau_fr(std::ostream &out, const libff::Fr<ppT> &fr);
template<typename ppT>
void write_powersoftau_g1(std::ostream &out, const libff::G1<ppT> &g1);
template<typename ppT>
void write_powersoftau_g2(std::ostream &out, const libff::G2<ppT> &g2);
 
template<typename ppT>
srs_powersoftau<ppT> powersoftau_load(std::istream &in, size_t n);
 
template<typename ppT>
void powersoftau_write(std::ostream &out, const srs_powersoftau<ppT> &pot);
 
template<typename ppT>
bool same_ratio(
    const libff::G1<ppT> &a1,
    const libff::G1<ppT> &b1,
    const libff::G2<ppT> &a2,
    const libff::G2<ppT> &b2);
 
template<typename ppT>
bool same_ratio_vectors(
    const std::vector<libff::G1<ppT>> &a1s,
    const std::vector<libff::G1<ppT>> &b1s,
    const libff::G2<ppT> &a2,
    const libff::G2<ppT> &b2);
 
template<typename ppT>
bool same_ratio_vectors(
    const libff::G1<ppT> &a1,
    const libff::G1<ppT> &b1,
    const std::vector<libff::G2<ppT>> &a2s,
    const std::vector<libff::G2<ppT>> &b2s);
 
template<typename ppT>
bool same_ratio_consecutive(
    const std::vector<libff::G1<ppT>> &a1s,
    const libff::G2<ppT> &a2,
    const libff::G2<ppT> &b2);
 
template<typename ppT>
bool same_ratio_consecutive(
    const libff::G1<ppT> &a1,
    const libff::G1<ppT> &b1,
    const std::vector<libff::G2<ppT>> &a2s);
 
template<typename ppT>
bool powersoftau_is_well_formed(const srs_powersoftau<ppT> &pot);
 
template<typename ppT>
srs_lagrange_evaluations<ppT> powersoftau_compute_lagrange_evaluations(
    const srs_powersoftau<ppT> &pot, const size_t n);
 
} // namespace libzeth
 
#include "libzeth/mpc/groth16/powersoftau_utils.tcc"
 
#endif // __ZETH_MPC_GROTH16_POWERSOFTAU_UTILS_HPP__