#include <types.hpp>

Public Types
using	Proof = stdlib::Proof< UltraCircuitBuilder >

Public Member Functions
size_t	size () const

	GoblinAvmStdlibProof ()=default

	GoblinAvmStdlibProof (UltraCircuitBuilder &builder, const GoblinAvmProof &goblin_proof)

bool	operator== (const GoblinAvmStdlibProof &other) const =default

Public Attributes
Proof	eccvm_proof

Proof	ipa_proof

Proof	translator_proof

Detailed Description

Definition at line 28 of file types.hpp.

Member Typedef Documentation

◆ Proof

using bb::GoblinAvmStdlibProof::Proof = stdlib::Proof<UltraCircuitBuilder>

Definition at line 29 of file types.hpp.

Constructor & Destructor Documentation

◆ GoblinAvmStdlibProof() [1/2]

bb::GoblinAvmStdlibProof::GoblinAvmStdlibProof ( )

default

◆ GoblinAvmStdlibProof() [2/2]

bb::GoblinAvmStdlibProof::GoblinAvmStdlibProof	(	UltraCircuitBuilder &	builder,
		const GoblinAvmProof &	goblin_proof
	)

inline

Definition at line 36 of file types.hpp.

Member Function Documentation

◆ operator==()

bool bb::GoblinAvmStdlibProof::operator== ( const GoblinAvmStdlibProof & other ) const

default

◆ size()

size_t bb::GoblinAvmStdlibProof::size ( ) const

inline

Definition at line 34 of file types.hpp.

Member Data Documentation

◆ eccvm_proof

Proof bb::GoblinAvmStdlibProof::eccvm_proof

Definition at line 30 of file types.hpp.

◆ ipa_proof

Proof bb::GoblinAvmStdlibProof::ipa_proof

Definition at line 31 of file types.hpp.

◆ translator_proof

Proof bb::GoblinAvmStdlibProof::translator_proof

Definition at line 32 of file types.hpp.

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

src/barretenberg/goblin_avm/types.hpp

Public Types

Public Member Functions

Public Attributes