arrabbiata/decider/
verifier.rs

1//! A verifier for the folding/accumulation scheme