libzeth::srs_powersoftau< ppT > Class Template Reference

#include <mpc_utils.hpp>

Public Member Functions
	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

Public Attributes
const libff::G1_vector< ppT >	tau_powers_g1
	{ [ x^i ]_1 } i = 0 .. 2n-2 More...
const libff::G2_vector< ppT >	tau_powers_g2
	{ [ x^i ]_2 } i = 0 .. n-1 More...
const libff::G1_vector< ppT >	alpha_tau_powers_g1
	{ [ alpha . x^i ]_1 } i = 0 .. n-1 More...
const libff::G1_vector< ppT >	beta_tau_powers_g1
	{ [ beta . x^i ]_1 } i = 0 .. n-1 More...
const libff::G2< ppT >	beta_g2
	[ beta ]_2 More...

Detailed Description

template<typename ppT>
class libzeth::srs_powersoftau< ppT >

Output from the first phase of the MPC (powersoftau). The structure matches that data exactly (no indication of degree, etc), so that it can be loaded directly. Implements the interface of StructuredT.

Definition at line 31 of file mpc_utils.hpp.

Constructor & Destructor Documentation

srs_powersoftau()

template<typename ppT >

libzeth::srs_powersoftau< ppT >::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
	)

Member Function Documentation

is_well_formed()

template<typename ppT >

bool libzeth::srs_powersoftau< ppT >::is_well_formed

(

)

const

Member Data Documentation

alpha_tau_powers_g1

template<typename ppT >

const libff::G1_vector<ppT> libzeth::srs_powersoftau< ppT >::alpha_tau_powers_g1

{ [ alpha . x^i ]_1 } i = 0 .. n-1

Definition at line 28 of file powersoftau_utils.hpp.

beta_g2

template<typename ppT >

const libff::G2<ppT> libzeth::srs_powersoftau< ppT >::beta_g2

[ beta ]_2

Definition at line 34 of file powersoftau_utils.hpp.

beta_tau_powers_g1

template<typename ppT >

const libff::G1_vector<ppT> libzeth::srs_powersoftau< ppT >::beta_tau_powers_g1

{ [ beta . x^i ]_1 } i = 0 .. n-1

Definition at line 31 of file powersoftau_utils.hpp.

tau_powers_g1

template<typename ppT >

const libff::G1_vector<ppT> libzeth::srs_powersoftau< ppT >::tau_powers_g1

{ [ x^i ]_1 } i = 0 .. 2n-2

Definition at line 22 of file powersoftau_utils.hpp.

tau_powers_g2

template<typename ppT >

const libff::G2_vector<ppT> libzeth::srs_powersoftau< ppT >::tau_powers_g2

{ [ x^i ]_2 } i = 0 .. n-1

Definition at line 25 of file powersoftau_utils.hpp.

---

The documentation for this class was generated from the following files:

• /home/runner/work/zeth/zeth/libzeth/mpc/groth16/mpc_utils.hpp
• /home/runner/work/zeth/zeth/libzeth/mpc/groth16/powersoftau_utils.hpp