openvm-circuit-primitives 2.0.1

Library of plonky3 primitives for general purpose use in other ZK 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
25
26
27
28
29
30
31
32
33
34
35

use std::sync::Arc;

use air::ListAir;
use openvm_stark_backend::interaction::BusIndex;

use crate::range::RangeCheckerChip;

pub mod air;
pub mod columns;
pub mod trace;

pub struct ListChip {
    pub air: ListAir,
    pub vals: Vec<u32>,
    range_checker: Arc<RangeCheckerChip>,
}

impl ListChip {
    pub fn new(vals: Vec<u32>, range_checker: Arc<RangeCheckerChip>) -> Self {
        let bus = range_checker.bus();
        Self {
            air: ListAir::new(bus),
            vals,
            range_checker,
        }
    }

    pub fn range_max(&self) -> u32 {
        self.range_checker.range_max()
    }

    pub fn bus_index(&self) -> BusIndex {
        self.air.bus.inner.index
    }
}