libsnark::kzg10_batched_2_point< ppT >::evaluation_witness Class Reference

#include <kzg10_batched.hpp>

Public Member Functions
	evaluation_witness (const libff::G1< ppT > &W_1, const libff::G1< ppT > &W_2)

Public Attributes
const libff::G1< ppT >	W_1
const libff::G1< ppT >	W_2

Detailed Description

template<typename ppT>
class libsnark::kzg10_batched_2_point< ppT >::evaluation_witness

The evaluation witness created by the prover in the interactive protocol. Given a challenge (gamma_1 and gamma_2) and the claimed evaluation of 2 sets of polynomials, the prover returns this witness, proving the correctness of the evaluations. A verifier holding the commitments for all polynomials in the 2 sets can then verify this witness.

Definition at line 59 of file kzg10_batched.hpp.

Constructor & Destructor Documentation

evaluation_witness()

template<typename ppT >

libsnark::kzg10_batched_2_point< ppT >::evaluation_witness::evaluation_witness	(	const libff::G1< ppT > &	W_1,
		const libff::G1< ppT > &	W_2
	)

Member Data Documentation

W_1

template<typename ppT >

const libff::G1<ppT> libsnark::kzg10_batched_2_point< ppT >::evaluation_witness::W_1

Definition at line 63 of file kzg10_batched.hpp.

W_2

template<typename ppT >

const libff::G1<ppT> libsnark::kzg10_batched_2_point< ppT >::evaluation_witness::W_2

Definition at line 65 of file kzg10_batched.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/polynomial_commitments/kzg10_batched.hpp