1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use sp1_recursion_derive::DslVariable;

use super::{Ext, Felt, Var};
use crate::ir::Builder;
use crate::ir::MemIndex;
use crate::ir::MemVariable;
use crate::ir::Ptr;
use crate::ir::Variable;
use crate::ir::{Array, Config};

#[derive(DslVariable, Debug, Clone)]
pub struct FriFoldInput<C: Config> {
    pub z: Ext<C::F, C::EF>,
    pub alpha: Ext<C::F, C::EF>,
    pub x: Felt<C::F>,
    pub log_height: Var<C::N>,
    pub mat_opening: Array<C, Ext<C::F, C::EF>>,
    pub ps_at_z: Array<C, Ext<C::F, C::EF>>,
    pub alpha_pow: Array<C, Ext<C::F, C::EF>>,
    pub ro: Array<C, Ext<C::F, C::EF>>,
}