Trait RecursionProver 

pub trait RecursionProver {
    // Required method
    fn prove(
        &self,
        program: Program,
        input: VecDeque<u32>,
    ) -> Result<RecursionReceipt>;
}

Required Methods

fn prove( &self, program: Program, input: VecDeque<u32>, ) -> Result<RecursionReceipt>

Implementors