Type Alias PcsProof 

pub type PcsProof<GC, SC> = <<SC as ShardContext<GC>>::Config as MultilinearPcsVerifier<GC>>::Proof;

The PCS proof type associated to a shard context.