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...