libzeth::srs_lagrange_evaluations< ppT > Class Template Reference

#include <mpc_utils.hpp>

Public Member Functions
	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 Public Member Functions
static srs_lagrange_evaluations	read (std::istream &in)

Public Attributes
const size_t	degree
std::vector< libff::G1< ppT > >	lagrange_g1
	${ [ L_i(x) ]_1 }_i$ More...
std::vector< libff::G2< ppT > >	lagrange_g2
	${ [ L_i(x) ]_2 }_i$ More...
std::vector< libff::G1< ppT > >	alpha_lagrange_g1
	${ [ alpha . L_i(x) ]_1 }"$ More...
std::vector< libff::G1< ppT > >	beta_lagrange_g1
	${ [ beta . L_i(x) ]_1 }"$ More...

Detailed Description

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

Encodings of lagrange polynomials at tau, computed from powersoftau, on some domain of degree n.

Definition at line 32 of file mpc_utils.hpp.

Constructor & Destructor Documentation

srs_lagrange_evaluations()

template<typename ppT >

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

Member Function Documentation

is_well_formed()

template<typename ppT >

bool libzeth::srs_lagrange_evaluations< ppT >::is_well_formed

(

)

const

read()

template<typename ppT >

static srs_lagrange_evaluations libzeth::srs_lagrange_evaluations< ppT >::read ( std::istream &  in )

static

write()

template<typename ppT >

void libzeth::srs_lagrange_evaluations< ppT >::write

(

std::ostream &

out

)

const

Member Data Documentation

alpha_lagrange_g1

template<typename ppT >

std::vector<libff::G1<ppT> > libzeth::srs_lagrange_evaluations< ppT >::alpha_lagrange_g1

${ [ alpha . L_i(x) ]_1 }"$

Definition at line 60 of file powersoftau_utils.hpp.

beta_lagrange_g1

template<typename ppT >

std::vector<libff::G1<ppT> > libzeth::srs_lagrange_evaluations< ppT >::beta_lagrange_g1

${ [ beta . L_i(x) ]_1 }"$

Definition at line 63 of file powersoftau_utils.hpp.

degree

template<typename ppT >

const size_t libzeth::srs_lagrange_evaluations< ppT >::degree

Definition at line 51 of file powersoftau_utils.hpp.

lagrange_g1

template<typename ppT >

std::vector<libff::G1<ppT> > libzeth::srs_lagrange_evaluations< ppT >::lagrange_g1

${ [ L_i(x) ]_1 }_i$

Definition at line 54 of file powersoftau_utils.hpp.

lagrange_g2

template<typename ppT >

std::vector<libff::G2<ppT> > libzeth::srs_lagrange_evaluations< ppT >::lagrange_g2

${ [ L_i(x) ]_2 }_i$

Definition at line 57 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