libsnark::kzg10_srs_variable< ppT > Class Template Reference

#include <kzg10_verifier_gadget.hpp>

Public Types
using	npp = other_curve< ppT >

Public Member Functions
	kzg10_srs_variable (protoboard< libff::Fr< ppT >> &pb, const size_t max_degree, const std::string &annotation_prefix)
void	generate_r1cs_witness (const typename kzg10< npp >::srs &srs)

Public Attributes
std::vector< G1_variable< ppT > >	alpha_powers_g1
G2_variable< ppT >	alpha_g2

Detailed Description

template<typename ppT>
class libsnark::kzg10_srs_variable< ppT >

The SRS for the KZG10 scheme, as protoboard variables. Names match those used in the native implementation.

Definition at line 31 of file kzg10_verifier_gadget.hpp.

Member Typedef Documentation

npp

template<typename ppT >

using libsnark::kzg10_srs_variable< ppT >::npp = other_curve<ppT>

Definition at line 34 of file kzg10_verifier_gadget.hpp.

Constructor & Destructor Documentation

kzg10_srs_variable()

template<typename ppT >

libsnark::kzg10_srs_variable< ppT >::kzg10_srs_variable	(	protoboard< libff::Fr< ppT >> &	pb,
		const size_t	max_degree,
		const std::string &	annotation_prefix
	)

Member Function Documentation

generate_r1cs_witness()

template<typename ppT >

void libsnark::kzg10_srs_variable< ppT >::generate_r1cs_witness

(

const typename kzg10< npp >::srs &

srs

)

Member Data Documentation

alpha_g2

template<typename ppT >

G2_variable<ppT> libsnark::kzg10_srs_variable< ppT >::alpha_g2

Definition at line 37 of file kzg10_verifier_gadget.hpp.

alpha_powers_g1

template<typename ppT >

std::vector<G1_variable<ppT> > libsnark::kzg10_srs_variable< ppT >::alpha_powers_g1

Definition at line 36 of file kzg10_verifier_gadget.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/verifiers/kzg10_verifier_gadget.hpp