mega_avm_flavor.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Planned, auditors: [Federico], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
 
#include "barretenberg/constants.hpp"
#include "barretenberg/flavor/mega_flavor.hpp"
 
namespace bb {
 
class MegaAvmFlavor : public bb::MegaFlavor {
  public:
    // Override VIRTUAL_LOG_N for the AVM recursive verifier circuit
    static constexpr size_t VIRTUAL_LOG_N = MEGA_AVM_LOG_N;
 
    // Override proof length calculations to use AVM VIRTUAL_LOG_N
    static constexpr size_t FINAL_PCS_MSM_SIZE(size_t log_n = VIRTUAL_LOG_N)
    {
        return NUM_UNSHIFTED_ENTITIES + log_n + 2;
    }
 
    static constexpr size_t DECIDER_PROOF_LENGTH(size_t virtual_log_n = VIRTUAL_LOG_N)
    {
        return MegaFlavor::DECIDER_PROOF_LENGTH(virtual_log_n);
    }
 
    static constexpr size_t PROOF_LENGTH_WITHOUT_PUB_INPUTS(size_t virtual_log_n = VIRTUAL_LOG_N)
    {
        return MegaFlavor::PROOF_LENGTH_WITHOUT_PUB_INPUTS(virtual_log_n);
    }
};
 
} // namespace bb