libzeth::srs_mpc_layer_L1< ppT > Class Template Reference

#include <mpc_utils.hpp>

Public Member Functions
	srs_mpc_layer_L1 (libff::G1_vector< ppT > &&T_tau_powers_g1, libff::G1_vector< ppT > &&A_g1, libff::G1_vector< ppT > &&B_g1, libff::G2_vector< ppT > &&B_g2, libff::G1_vector< ppT > &&ABC_g1)
size_t	degree () const
bool	is_well_formed () const
void	write (std::ostream &out) const

Static Public Member Functions
static srs_mpc_layer_L1	read (std::istream &in)

Public Attributes
libff::G1_vector< ppT >	T_tau_powers_g1
	{ [ t(x) . x^i ]_1 } i = 0 .. n-2 More...
libff::G1_vector< ppT >	A_g1
	{ [ A_i(x) ]_1 } i = 0 .. m More...
libff::G1_vector< ppT >	B_g1
	{ [ B_i(x) ]_1 } i = 0 .. m More...
libff::G2_vector< ppT >	B_g2
	{ [ B_i(x) ]_2 } i = 0 .. m More...
libff::G1_vector< ppT >	ABC_g1
	{ [ beta . A_i(x) + alpha . B_i(x) + C_i(x) ]_1 } i = l+1 ... m More...

Detailed Description

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

Output from linear combination $L_1$ - the linear combination of elements in powersoftau, based on a specific circuit. Implements the interfaces of StructuredT and ReadableT templates.

Definition at line 37 of file mpc_utils.hpp.

Constructor & Destructor Documentation

srs_mpc_layer_L1()

template<typename ppT >

libzeth::srs_mpc_layer_L1< ppT >::srs_mpc_layer_L1	(	libff::G1_vector< ppT > &&	T_tau_powers_g1,
		libff::G1_vector< ppT > &&	A_g1,
		libff::G1_vector< ppT > &&	B_g1,
		libff::G2_vector< ppT > &&	B_g2,
		libff::G1_vector< ppT > &&	ABC_g1
	)

Member Function Documentation

degree()

template<typename ppT >

size_t libzeth::srs_mpc_layer_L1< ppT >::degree

(

)

const

is_well_formed()

template<typename ppT >

bool libzeth::srs_mpc_layer_L1< ppT >::is_well_formed

(

)

const

read()

template<typename ppT >

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

static

write()

template<typename ppT >

void libzeth::srs_mpc_layer_L1< ppT >::write

(

std::ostream &

out

)

const

Member Data Documentation

A_g1

template<typename ppT >

libff::G1_vector<ppT> libzeth::srs_mpc_layer_L1< ppT >::A_g1

{ [ A_i(x) ]_1 } i = 0 .. m

Definition at line 44 of file mpc_utils.hpp.

ABC_g1

template<typename ppT >

libff::G1_vector<ppT> libzeth::srs_mpc_layer_L1< ppT >::ABC_g1

{ [ beta . A_i(x) + alpha . B_i(x) + C_i(x) ]_1 } i = l+1 ... m

Definition at line 53 of file mpc_utils.hpp.

B_g1

template<typename ppT >

libff::G1_vector<ppT> libzeth::srs_mpc_layer_L1< ppT >::B_g1

{ [ B_i(x) ]_1 } i = 0 .. m

Definition at line 47 of file mpc_utils.hpp.

B_g2

template<typename ppT >

libff::G2_vector<ppT> libzeth::srs_mpc_layer_L1< ppT >::B_g2

{ [ B_i(x) ]_2 } i = 0 .. m

Definition at line 50 of file mpc_utils.hpp.

T_tau_powers_g1

template<typename ppT >

libff::G1_vector<ppT> libzeth::srs_mpc_layer_L1< ppT >::T_tau_powers_g1

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

Definition at line 41 of file mpc_utils.hpp.

---

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

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