openvm-circuit 2.0.1

OpenVM circuits
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

use crate::arch::Arena;

pub struct PreflightCtx<RA> {
    pub arenas: Vec<RA>,
    pub instret_left: u64,
}

impl<RA: Arena> PreflightCtx<RA> {
    /// `capacities` is list of `(height, width)` dimensions for each arena, indexed by AIR index.
    /// The length of `capacities` must equal the number of AIRs.
    /// Here `height` will always mean an overestimate of the trace height for that AIR, while
    /// `width` may have different meanings depending on the `RA` type.
    pub fn new_with_capacity(capacities: &[(usize, usize)], instret_left: Option<u64>) -> Self {
        let arenas = capacities
            .iter()
            .map(|&(height, main_width)| RA::with_capacity(height, main_width))
            .collect();

        Self {
            arenas,
            instret_left: instret_left.unwrap_or(u64::MAX),
        }
    }
}