Type Alias KimchiProofWithPublic 

type KimchiProofWithPublic = (ProverProof<Vesta, OpeningProof<Vesta, FULL_ROUNDS>, FULL_ROUNDS>, Vec<Fp>);