pub type ProverVirtualClaim<EF> = Claim<EF, Point<EF>, Vec<[Vec<EF>; 2]>>;
Virtual claim carrying precomputed SVO accumulators.
pub struct ProverVirtualClaim<EF> { /* private fields */ }