Trait varisat_checker::ProofTranscriptProcessor

pub trait ProofTranscriptProcessor {
    fn process_step(
        &mut self, 
        step: &ProofTranscriptStep<'_>
    ) -> Result<(), Error>;
}

Implement to process transcript steps.

Required methods

fn process_step(&mut self, step: &ProofTranscriptStep<'_>) -> Result<(), Error>

Process a single proof transcript step.

Loading content...

Implementors

Loading content...