message: [ocaml] fix bindings
diff: @@ -1273,6 +1273,7 @@ pub mod caml {
  // OCaml doesn't have sized arrays, so we have to convert to a tuple..
  pub evals: CamlProofEvaluations<CamlF>,
  pub ft_eval1: CamlF,
  + pub public: Vec<CamlF>,
  pub prev_challenges: Vec<CamlRecursionChallenge<CamlG, CamlF>>, //Vec<(Vec<CamlF>, CamlPolyComm<CamlG>)>,
  }
  @@ -1461,30 +1462,31 @@ pub mod caml {
  // ProverProof<G> <-> CamlProverProof<CamlG, CamlF>
  //
  - impl<G, CamlG, CamlF> From<ProverProof<G>> for CamlProverProof<CamlG, CamlF>
  + impl<G, CamlG, CamlF> From<(ProverProof<G>, Vec<G::ScalarField>)> for CamlProverProof<CamlG, CamlF>
  where
  G: AffineCurve,
  CamlG: From<G>,
  CamlF: From<G::ScalarField>,
  {
  - fn from(pp: ProverProof<G>) -> Self {
  + fn from(pp: (ProverProof<G>, Vec<G::ScalarField>)) -> Self {
  Self {
  - commitments: pp.commitments.into(),
  - proof: pp.proof.into(),
  - evals: pp.evals.into(),
  - ft_eval1: pp.ft_eval1.into(),
  - prev_challenges: pp.prev_challenges.into_iter().map(Into::into).collect(),
  + commitments: pp.0.commitments.into(),
  + proof: pp.0.proof.into(),
  + evals: pp.0.evals.into(),
  + ft_eval1: pp.0.ft_eval1.into(),
  + public: pp.1.into_iter().map(Into::into).collect(),
  + prev_challenges: pp.0.prev_challenges.into_iter().map(Into::into).collect(),
  }
  }
  }
  - impl<G, CamlG, CamlF> From<CamlProverProof<CamlG, CamlF>> for ProverProof<G>
  + impl<G, CamlG, CamlF> From<CamlProverProof<CamlG, CamlF>> for (ProverProof<G>, Vec<G::ScalarField>)
  where
  G: AffineCurve + From<CamlG>,
  G::ScalarField: From<CamlF>,
  {
  - fn from(caml_pp: CamlProverProof<CamlG, CamlF>) -> ProverProof<G> {
  - ProverProof {
  + fn from(caml_pp: CamlProverProof<CamlG, CamlF>) -> (ProverProof<G>, Vec<G::ScalarField>) {
  + let proof = ProverProof {
  commitments: caml_pp.commitments.into(),
  proof: caml_pp.proof.into(),
  evals: caml_pp.evals.into(),
  @@ -1494,7 +1496,9 @@ pub mod caml {
  .into_iter()
  .map(Into::into)
  .collect(),
  - }
  + };
  +
  + (proof, caml_pp.public.into_iter().map(Into::into).collect())
  }
  }
  }
  