//! A verifier for the folding/accumulation scheme