openvm_native_compiler/ir/
verify_batch.rs

1use crate::ir::{Array, Builder, Config, DslIr, Ext, Felt, Usize, Var};
2
3impl<C: Config> Builder<C> {
4    /// - Requires `dimensions.len() == opened_values.len()`
5    /// - `proof` is an array of arrays where inner arrays are of length `CHUNK`
6    /// - `commit.len() = CHUNK`
7    pub fn verify_batch_felt(
8        &mut self,
9        dimensions: &Array<C, Usize<C::F>>,
10        opened_values: &Array<C, Array<C, Felt<C::F>>>,
11        proof_id: Var<C::N>,
12        index_bits: &Array<C, Var<C::N>>,
13        commit: &Array<C, Felt<C::F>>,
14    ) {
15        self.push(DslIr::VerifyBatchFelt(
16            dimensions.clone(),
17            opened_values.clone(),
18            proof_id,
19            index_bits.clone(),
20            commit.clone(),
21        ));
22    }
23
24    /// Version of [`Self::verify_batch_felt`] where `opened_values` are extension field elements.
25    /// - Requires `dimensions.len() == opened_values.len()`
26    /// - `proof` is an array of arrays where inner arrays are of length `CHUNK`
27    /// - `commit.len() = CHUNK`
28    pub fn verify_batch_ext(
29        &mut self,
30        dimensions: &Array<C, Usize<C::F>>,
31        opened_values: &Array<C, Array<C, Ext<C::F, C::EF>>>,
32        proof_id: Var<C::N>,
33        index_bits: &Array<C, Var<C::N>>,
34        commit: &Array<C, Felt<C::F>>,
35    ) {
36        self.push(DslIr::VerifyBatchExt(
37            dimensions.clone(),
38            opened_values.clone(),
39            proof_id,
40            index_bits.clone(),
41            commit.clone(),
42        ));
43    }
44}