bb::VerifierZKCorrectionHandler< Flavor, HasZK > Struct Template Reference

Handler for ZK-related verification adjustments in sumcheck. Default implementation: no ZK adjustments needed. More...

#include <sumcheck.hpp>

Public Types
using	FF = typename Flavor::FF
using	Transcript = typename Flavor::Transcript
using	SumcheckRound = SumcheckVerifierRound< Flavor >

Public Member Functions
	VerifierZKCorrectionHandler (std::shared_ptr< Transcript > transcript)
void	initialize_target_sum (SumcheckRound &)
void	apply_zk_corrections (FF &, const std::vector< FF > &, const std::vector< FF > &)
FF	get_libra_evaluation () const

Public Attributes
std::shared_ptr< Transcript >	transcript
FF	libra_challenge = FF{ 0 }
FF	libra_evaluation = FF{ 0 }

Detailed Description

template<typename Flavor, bool HasZK = Flavor::HasZK>
struct bb::VerifierZKCorrectionHandler< Flavor, HasZK >

Handler for ZK-related verification adjustments in sumcheck. Default implementation: no ZK adjustments needed.

Definition at line 116 of file sumcheck.hpp.

Member Typedef Documentation

FF

template<typename Flavor , bool HasZK = Flavor::HasZK>

using bb::VerifierZKCorrectionHandler< Flavor, HasZK >::FF = typename Flavor::FF

Definition at line 117 of file sumcheck.hpp.

SumcheckRound

template<typename Flavor , bool HasZK = Flavor::HasZK>

using bb::VerifierZKCorrectionHandler< Flavor, HasZK >::SumcheckRound = SumcheckVerifierRound<Flavor>

Definition at line 119 of file sumcheck.hpp.

Transcript

template<typename Flavor , bool HasZK = Flavor::HasZK>

using bb::VerifierZKCorrectionHandler< Flavor, HasZK >::Transcript = typename Flavor::Transcript

Definition at line 118 of file sumcheck.hpp.

Constructor & Destructor Documentation

VerifierZKCorrectionHandler()

template<typename Flavor , bool HasZK = Flavor::HasZK>

bb::VerifierZKCorrectionHandler< Flavor, HasZK >::VerifierZKCorrectionHandler ( std::shared_ptr< Transcript >  transcript )

inline

Definition at line 126 of file sumcheck.hpp.

Member Function Documentation

apply_zk_corrections()

template<typename Flavor , bool HasZK = Flavor::HasZK>

void bb::VerifierZKCorrectionHandler< Flavor, HasZK >::apply_zk_corrections ( FF &  , const std::vector< FF > &  , const std::vector< FF > &    )

inline

Definition at line 132 of file sumcheck.hpp.

get_libra_evaluation()

template<typename Flavor , bool HasZK = Flavor::HasZK>

FF bb::VerifierZKCorrectionHandler< Flavor, HasZK >::get_libra_evaluation ( ) const

inline

Definition at line 137 of file sumcheck.hpp.

initialize_target_sum()

template<typename Flavor , bool HasZK = Flavor::HasZK>

void bb::VerifierZKCorrectionHandler< Flavor, HasZK >::initialize_target_sum ( SumcheckRound &  )

inline

Definition at line 130 of file sumcheck.hpp.

Member Data Documentation

libra_challenge

template<typename Flavor , bool HasZK = Flavor::HasZK>

FF bb::VerifierZKCorrectionHandler< Flavor, HasZK >::libra_challenge = FF{ 0 }

Definition at line 122 of file sumcheck.hpp.

libra_evaluation

template<typename Flavor , bool HasZK = Flavor::HasZK>

FF bb::VerifierZKCorrectionHandler< Flavor, HasZK >::libra_evaluation = FF{ 0 }

Definition at line 123 of file sumcheck.hpp.

transcript

template<typename Flavor , bool HasZK = Flavor::HasZK>

std::shared_ptr<Transcript> bb::VerifierZKCorrectionHandler< Flavor, HasZK >::transcript

Definition at line 121 of file sumcheck.hpp.

---

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

• src/barretenberg/sumcheck/sumcheck.hpp