sp1_recursion_core_v2/runtime/
program.rs

1use backtrace::Backtrace;
2use p3_field::Field;
3use serde::{Deserialize, Serialize};
4use sp1_stark::air::MachineProgram;
5
6use crate::*;
7
8#[derive(Debug, Clone, Default, Serialize, Deserialize)]
9pub struct RecursionProgram<F> {
10    pub instructions: Vec<Instruction<F>>,
11    pub total_memory: usize,
12    #[serde(skip)]
13    pub traces: Vec<Option<Backtrace>>,
14}
15
16impl<F: Field> MachineProgram<F> for RecursionProgram<F> {
17    fn pc_start(&self) -> F {
18        F::zero()
19    }
20}