Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
mega_avm_flavor.hpp
Go to the documentation of this file.
1// === AUDIT STATUS ===
2// internal: { status: Completed, auditors: [Federico], commit: }
3// external_1: { status: not started, auditors: [], commit: }
4// external_2: { status: not started, auditors: [], commit: }
5// =====================
6
7#pragma once
8
11
12namespace bb {
13
19 public:
20 // Override VIRTUAL_LOG_N for the AVM recursive verifier circuit
21 static constexpr size_t VIRTUAL_LOG_N = MEGA_AVM_LOG_N;
22
23 static constexpr size_t FINAL_PCS_MSM_SIZE(size_t log_n = VIRTUAL_LOG_N)
24 {
25 return NUM_UNSHIFTED_ENTITIES + log_n + 2;
26 }
27};
28
29} // namespace bb
A flavor for the AVM recursive verifier circuit arithmetized with Mega.
static constexpr size_t VIRTUAL_LOG_N
static constexpr size_t FINAL_PCS_MSM_SIZE(size_t log_n=VIRTUAL_LOG_N)
static constexpr size_t NUM_UNSHIFTED_ENTITIES
Entry point for Barretenberg command-line interface.
Definition api.hpp:5