Type Alias KimchiProofWithPublic 

type KimchiProofWithPublic = (ProverProof<Pallas, OpeningProof<Pallas, FULL_ROUNDS>, FULL_ROUNDS>, Vec<Fq>);