#include "libzeth/snarks/groth16/groth16_snark.hpp"#include <istream>#include "libzeth/mpc/groth16/powersoftau_utils.tcc"
Include dependency graph for powersoftau_utils.hpp:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | libzeth::srs_powersoftau< ppT > |
| class | libzeth::srs_lagrange_evaluations< ppT > |
Namespaces | |
| libzeth | |
Functions | |
| template<typename ppT > | |
| srs_powersoftau< ppT > | libzeth::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 > | libzeth::dummy_powersoftau (size_t n) |
| template<typename ppT > | |
| void | libzeth::read_powersoftau_fr (std::istream &in, libff::Fr< ppT > &fr_out) |
| template<typename ppT > | |
| void | libzeth::read_powersoftau_g1 (std::istream &in, libff::G1< ppT > &out) |
| template<typename ppT > | |
| void | libzeth::read_powersoftau_g2 (std::istream &in, libff::G2< ppT > &out) |
| template<typename ppT > | |
| void | libzeth::write_powersoftau_fr (std::ostream &out, const libff::Fr< ppT > &fr) |
| template<typename ppT > | |
| void | libzeth::write_powersoftau_g1 (std::ostream &out, const libff::G1< ppT > &g1) |
| template<typename ppT > | |
| void | libzeth::write_powersoftau_g2 (std::ostream &out, const libff::G2< ppT > &g2) |
| template<typename ppT > | |
| srs_powersoftau< ppT > | libzeth::powersoftau_load (std::istream &in, size_t n) |
| template<typename ppT > | |
| void | libzeth::powersoftau_write (std::ostream &out, const srs_powersoftau< ppT > &pot) |
| template<typename ppT > | |
| bool | libzeth::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 | libzeth::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 | libzeth::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) |
| same_ratio_vectors implementation for vectors of G2 elements. More... | |
| template<typename ppT > | |
| bool | libzeth::same_ratio_consecutive (const std::vector< libff::G1< ppT >> &a1s, const libff::G2< ppT > &a2, const libff::G2< ppT > &b2) |
| template<typename ppT > | |
| bool | libzeth::same_ratio_consecutive (const libff::G1< ppT > &a1, const libff::G1< ppT > &b1, const std::vector< libff::G2< ppT >> &a2s) |
| same_ratio_consecutive implementation for vectors of G2 elements. More... | |
| template<typename ppT > | |
| bool | libzeth::powersoftau_is_well_formed (const srs_powersoftau< ppT > &pot) |
| Verify that the pot data is well formed. More... | |
| template<typename ppT > | |
| srs_lagrange_evaluations< ppT > | libzeth::powersoftau_compute_lagrange_evaluations (const srs_powersoftau< ppT > &pot, const size_t n) |
