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