bb::GeminiVerifier_< Curve > Class Template Reference

Gemini Verifier utility methods used by ShpleminiVerifier. More...

#include <gemini.hpp>

Static Public Member Functions
static std::vector< Commitment >	get_fold_commitments (const size_t virtual_log_n, auto &transcript)
	Receive the fold commitments from the prover. This method is used by Shplemini where padding may be enabled, i.e. the verifier receives the same number of commitments independent of the actual circuit size.
static std::vector< Fr >	get_gemini_evaluations (const size_t virtual_log_n, auto &transcript)
	Receive the fold evaluations from the prover. This method is used by Shplemini where padding may be enabled, i.e. the verifier receives the same number of commitments independent of the actual circuit size.

Private Types
using	Fr = typename Curve::ScalarField
using	Commitment = typename Curve::AffineElement

Detailed Description

template<typename Curve>
class bb::GeminiVerifier_< Curve >

Gemini Verifier utility methods used by ShpleminiVerifier.

Definition at line 311 of file gemini.hpp.

Member Typedef Documentation

Commitment

template<typename Curve >

using bb::GeminiVerifier_< Curve >::Commitment = typename Curve::AffineElement

private

Definition at line 313 of file gemini.hpp.

Fr

template<typename Curve >

using bb::GeminiVerifier_< Curve >::Fr = typename Curve::ScalarField

private

Definition at line 312 of file gemini.hpp.

Member Function Documentation

get_fold_commitments()

template<typename Curve >

static std::vector< Commitment > bb::GeminiVerifier_< Curve >::get_fold_commitments ( const size_t  virtual_log_n, auto &  transcript  )

inlinestatic

Receive the fold commitments from the prover. This method is used by Shplemini where padding may be enabled, i.e. the verifier receives the same number of commitments independent of the actual circuit size.

Parameters

virtual_log_n	An integer >= log_n
transcript

Returns

A vector of fold commitments \( [A_i] \) for \( i = 1, \ldots, \text{virtual_log_n}-1\).

Definition at line 324 of file gemini.hpp.

get_gemini_evaluations()

template<typename Curve >

static std::vector< Fr > bb::GeminiVerifier_< Curve >::get_gemini_evaluations ( const size_t  virtual_log_n, auto &  transcript  )

inlinestatic

Receive the fold evaluations from the prover. This method is used by Shplemini where padding may be enabled, i.e. the verifier receives the same number of commitments independent of the actual circuit size.

Parameters

virtual_log_n	An integer >= log_n
transcript

Returns

A vector of claimed negative fold evaluation \( A_i(-r^{2^i}) \) for \( i = 0, \ldots, \text{virtual_log_n}-1\).

Definition at line 345 of file gemini.hpp.

---

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

• src/barretenberg/commitment_schemes/gemini/gemini.hpp