bb::avm2::TwoLayerAvmRecursiveVerifier Member List

This is the complete list of members for bb::avm2::TwoLayerAvmRecursiveVerifier, including all inherited members.

construct_and_prove_inner_recursive_verification_circuit(const stdlib::Proof< UltraCircuitBuilder > &stdlib_proof, const std::vector< std::vector< UltraFF > > &public_inputs)	bb::avm2::TwoLayerAvmRecursiveVerifier	inlinestatic
construct_inner_recursive_verification_circuit(MegaCircuitBuilder &inner_builder, const stdlib::Proof< UltraCircuitBuilder > &stdlib_proof, const std::vector< std::vector< UltraFF > > &public_inputs)	bb::avm2::TwoLayerAvmRecursiveVerifier	inlinestatic
construct_outer_recursive_verification_circuit(const stdlib::Proof< UltraCircuitBuilder > &stdlib_proof, const std::vector< std::vector< UltraFF > > &public_inputs, const InnerProverOutput &inner_output) const	bb::avm2::TwoLayerAvmRecursiveVerifier	inline
MegaFF typedef	bb::avm2::TwoLayerAvmRecursiveVerifier
MegaPairingPoints typedef	bb::avm2::TwoLayerAvmRecursiveVerifier
outer_builder	bb::avm2::TwoLayerAvmRecursiveVerifier	private
TwoLayerAvmRecursiveVerifier(UltraCircuitBuilder &builder)	bb::avm2::TwoLayerAvmRecursiveVerifier	inlineexplicit
TwoLayerAvmRecursiveVerifierOutput typedef	bb::avm2::TwoLayerAvmRecursiveVerifier
UltraFF typedef	bb::avm2::TwoLayerAvmRecursiveVerifier
verify_proof(const stdlib::Proof< UltraCircuitBuilder > &stdlib_proof, const std::vector< std::vector< UltraFF > > &public_inputs) const	bb::avm2::TwoLayerAvmRecursiveVerifier	inline