pub type VerifierVirtualClaim<EF> = Claim<EF, Point<EF>, ()>;
Virtual evaluation claim on the stacked polynomial (verifier side).
pub struct VerifierVirtualClaim<EF> { /* private fields */ }