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

use backtrace::Backtrace;
use p3_field::Field;
use serde::{Deserialize, Serialize};
use sp1_stark::air::MachineProgram;

use crate::*;

#[derive(Debug, Clone, Default, Serialize, Deserialize)]
pub struct RecursionProgram<F> {
    pub instructions: Vec<Instruction<F>>,
    pub total_memory: usize,
    #[serde(skip)]
    pub traces: Vec<Option<Backtrace>>,
}

impl<F: Field> MachineProgram<F> for RecursionProgram<F> {
    fn pc_start(&self) -> F {
        F::zero()
    }
}