openvm_native_compiler/ir/
fri.rs

1use crate::ir::{Array, Builder, Config, Ext, Felt, Var};
2
3impl<C: Config> Builder<C> {
4    pub fn fri_single_reduced_opening_eval(
5        &mut self,
6        alpha: Ext<C::F, C::EF>,
7        hint_id: Var<C::N>,
8        is_init: Var<C::N>,
9        at_x_array: &Array<C, Felt<C::F>>,
10        at_z_array: &Array<C, Ext<C::F, C::EF>>,
11    ) -> Ext<C::F, C::EF> {
12        let result = self.uninit();
13        self.operations.push(crate::ir::DslIr::FriReducedOpening(
14            alpha,
15            hint_id,
16            is_init,
17            at_x_array.clone(),
18            at_z_array.clone(),
19            result,
20        ));
21        result
22    }
23}