#include <decider_recursive_verifier.hpp>

Public Member Functions
	DeciderRecursiveVerifier_ (Builder *builder, std::shared_ptr< NativeDeciderVK > accumulator)

	DeciderRecursiveVerifier_ (Builder *builder, std::shared_ptr< RecursiveDeciderVK > accumulator, const std::shared_ptr< Transcript > &transcript)
	Construct a decider recursive verifier directly from a stdlib accumulator, returned by a prior iteration of a recursive folding verifier. This is only appropriate when the two verifiers are part of the same builder, otherwise the constructor above should be used which instantiatesn a recursive vk from a native one in the verifier's builder context.

PairingPoints	verify_proof (const HonkProof &proof)
	Creates a circuit that executes the decider verifier algorithm up to the final pairing check.

PairingPoints	verify_proof (const StdlibProof &proof)
	Creates a circuit that executes the decider verifier algorithm up to the final pairing check.

Public Attributes
VerifierCommitmentKey	pcs_verification_key

Builder *	builder

std::shared_ptr< RecursiveDeciderVK >	accumulator

std::shared_ptr< Transcript >	transcript = std::make_shared<Transcript>()

Private Types
using	NativeFlavor = typename Flavor::NativeFlavor

using	FF = typename Flavor::FF

using	Commitment = typename Flavor::Commitment

using	GroupElement = typename Flavor::GroupElement

using	VerificationKey = typename Flavor::VerificationKey

using	VerifierCommitmentKey = typename Flavor::VerifierCommitmentKey

using	Builder = typename Flavor::CircuitBuilder

using	PairingPoints = stdlib::recursion::PairingPoints< Builder >

using	RecursiveDeciderVK = RecursiveDeciderVerificationKey_< Flavor >

using	NativeDeciderVK = bb::DeciderVerificationKey_< NativeFlavor >

using	Transcript = bb::BaseTranscript< bb::stdlib::recursion::honk::StdlibTranscriptParams< Builder > >

using	StdlibProof = bb::stdlib::Proof< Builder >

Detailed Description

template<typename Flavor>
class bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >

Definition at line 17 of file decider_recursive_verifier.hpp.

Member Typedef Documentation

◆ Builder

template<typename Flavor >

using bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::Builder = typename Flavor::CircuitBuilder

private

Definition at line 24 of file decider_recursive_verifier.hpp.

◆ Commitment

template<typename Flavor >

using bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::Commitment = typename Flavor::Commitment

private

Definition at line 20 of file decider_recursive_verifier.hpp.

◆ FF

template<typename Flavor >

using bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::FF = typename Flavor::FF

private

Definition at line 19 of file decider_recursive_verifier.hpp.

◆ GroupElement

template<typename Flavor >

using bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::GroupElement = typename Flavor::GroupElement

private

Definition at line 21 of file decider_recursive_verifier.hpp.

◆ NativeDeciderVK

template<typename Flavor >

using bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::NativeDeciderVK = bb::DeciderVerificationKey_<NativeFlavor>

private

Definition at line 27 of file decider_recursive_verifier.hpp.

◆ NativeFlavor

template<typename Flavor >

using bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::NativeFlavor = typename Flavor::NativeFlavor

private

Definition at line 18 of file decider_recursive_verifier.hpp.

◆ PairingPoints

template<typename Flavor >

using bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::PairingPoints = stdlib::recursion::PairingPoints<Builder>

private

Definition at line 25 of file decider_recursive_verifier.hpp.

◆ RecursiveDeciderVK

template<typename Flavor >

using bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::RecursiveDeciderVK = RecursiveDeciderVerificationKey_<Flavor>

private

Definition at line 26 of file decider_recursive_verifier.hpp.

◆ StdlibProof

template<typename Flavor >

using bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::StdlibProof = bb::stdlib::Proof<Builder>

private

Definition at line 29 of file decider_recursive_verifier.hpp.

◆ Transcript

template<typename Flavor >

using bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::Transcript = bb::BaseTranscript<bb::stdlib::recursion::honk::StdlibTranscriptParams<Builder> >

private

Definition at line 28 of file decider_recursive_verifier.hpp.

◆ VerificationKey

template<typename Flavor >

using bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::VerificationKey = typename Flavor::VerificationKey

private

Definition at line 22 of file decider_recursive_verifier.hpp.

◆ VerifierCommitmentKey

template<typename Flavor >

using bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::VerifierCommitmentKey = typename Flavor::VerifierCommitmentKey

private

Definition at line 23 of file decider_recursive_verifier.hpp.

Constructor & Destructor Documentation

◆ DeciderRecursiveVerifier_() [1/2]

template<typename Flavor >

bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::DeciderRecursiveVerifier_	(	Builder *	builder,
		std::shared_ptr< NativeDeciderVK >	accumulator
	)

inlineexplicit

Definition at line 32 of file decider_recursive_verifier.hpp.

◆ DeciderRecursiveVerifier_() [2/2]

template<typename Flavor >

bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::DeciderRecursiveVerifier_	(	Builder *	builder,
		std::shared_ptr< RecursiveDeciderVK >	accumulator,
		const std::shared_ptr< Transcript > &	transcript
	)

inlineexplicit

Construct a decider recursive verifier directly from a stdlib accumulator, returned by a prior iteration of a recursive folding verifier. This is only appropriate when the two verifiers are part of the same builder, otherwise the constructor above should be used which instantiatesn a recursive vk from a native one in the verifier's builder context.

Parameters

builder
accumulator

Definition at line 45 of file decider_recursive_verifier.hpp.

Member Function Documentation

◆ verify_proof() [1/2]

template<typename Flavor >

DeciderRecursiveVerifier_< Flavor >::PairingPoints bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::verify_proof ( const HonkProof & proof )

Creates a circuit that executes the decider verifier algorithm up to the final pairing check.

Parameters

proof Native proof

Definition at line 21 of file decider_recursive_verifier.cpp.

◆ verify_proof() [2/2]

template<typename Flavor >

DeciderRecursiveVerifier_< Flavor >::PairingPoints bb::stdlib::recursion::honk::DeciderRecursiveVerifier_< Flavor >::verify_proof ( const StdlibProof & proof )