A flavor for the AVM recursive verifier circuit arithmetized with Mega.
static constexpr size_t VIRTUAL_LOG_N
Recursive flavor for verifying proofs produced with MegaAvmFlavor.
typename Base::VerificationKey VerificationKey
static constexpr size_t VIRTUAL_LOG_N
typename Base::Commitment Commitment
The recursive counterpart to the "native" Mega flavor.
typename Curve::Element Commitment
StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment >, NativeFlavor::VerificationKey > VerificationKey
typename Curve::ScalarField FF
Entry point for Barretenberg command-line interface.