message: add documentation for create function
diff: @@ -85,6 +85,11 @@ impl<G: CommitmentCurve> ProverProof<G>
  where
  G::BaseField: PrimeField,
  {
  +
  + /// This function constructs prover's non-recursive zk-proof from the witness & the ProverIndex against SRS instance
  + /// witness: computation witness
  + /// index: ProverIndex
  + /// RETURN: prover's zk-proof
  pub fn create<EFqSponge: Clone + FqSponge<Fq<G>, G, Fr<G>>, EFrSponge: FrSponge<Fr<G>>>(
  groupmap: &G::Map,
  witness: [Vec<Fr<G>>; COLUMNS],
  