Type Alias ProofTuple 

type ProofTuple<const FULL_ROUNDS: usize, G: AffineRepr> = (ProverProof<G, OpeningProof<G, FULL_ROUNDS>, FULL_ROUNDS>, Vec<<G as AffineRepr>::ScalarField>);