message: ocaml bindings for lookup commitments
diff: @@ -1187,6 +1187,13 @@ pub mod caml {
  pub prev_challenges: Vec<(Vec<CamlF>, CamlPolyComm<CamlG>)>,
  }
  + #[derive(Clone, ocaml::IntoValue, ocaml::FromValue, ocaml_gen::Struct)]
  + pub struct CamlLookupCommitments<CamlG> {
  + pub sorted: Vec<CamlPolyComm<CamlG>>,
  + pub aggreg: CamlPolyComm<CamlG>,
  + pub runtime: Option<CamlPolyComm<CamlG>>,
  + }
  +
  #[derive(Clone, ocaml::IntoValue, ocaml::FromValue, ocaml_gen::Struct)]
  pub struct CamlProverCommitments<CamlG> {
  // polynomial commitments
  @@ -1209,6 +1216,7 @@ pub mod caml {
  ),
  pub z_comm: CamlPolyComm<CamlG>,
  pub t_comm: CamlPolyComm<CamlG>,
  + pub lookup: Option<CamlLookupCommitments<CamlG>>,
  }
  // These implementations are handy for conversions such as:
  @@ -1226,6 +1234,38 @@ pub mod caml {
  // we can do that, but instead we implemented the From trait for the reverse operations (From<G> for CamlG).
  // it reduces the complexity, but forces us to do the conversion in two phases instead of one.
  + //
  + // CamlLookupCommitments<CamlG> <-> LookupCommitments<G>
  + //
  +
  + impl<G, CamlG> From<LookupCommitments<G>> for CamlLookupCommitments<CamlG>
  + where
  + G: AffineCurve,
  + CamlPolyComm<CamlG>: From<PolyComm<G>>,
  + {
  + fn from(LookupCommitments { aggreg, sorted, runtime } : LookupCommitments<G>) -> Self {
  + Self {
  + aggreg: aggreg.into(),
  + sorted: sorted.into_iter().map(Into::into).collect(),
  + runtime: runtime.map(Into::into),
  + }
  + }
  + }
  +
  + impl<G, CamlG> From<CamlLookupCommitments<CamlG>> for LookupCommitments<G>
  + where
  + G: AffineCurve,
  + PolyComm<G>: From<CamlPolyComm<CamlG>>,
  + {
  + fn from(CamlLookupCommitments { aggreg, sorted, runtime } : CamlLookupCommitments<CamlG>) -> LookupCommitments<G> {
  + LookupCommitments {
  + aggreg: aggreg.into(),
  + sorted: sorted.into_iter().map(Into::into).collect(),
  + runtime: runtime.map(Into::into),
  + }
  + }
  + }
  +
  //
  // CamlProverCommitments<CamlG> <-> ProverCommitments<G>
  //
  @@ -1258,6 +1298,7 @@ pub mod caml {
  ),
  z_comm: prover_comm.z_comm.into(),
  t_comm: prover_comm.t_comm.into(),
  + lookup: prover_comm.lookup.map(Into::into),
  }
  }
  }
  @@ -1305,7 +1346,7 @@ pub mod caml {
  ],
  z_comm: caml_prover_comm.z_comm.into(),
  t_comm: caml_prover_comm.t_comm.into(),
  - lookup: None,
  + lookup: caml_prover_comm.lookup.map(Into::into),
  }
  }
  }
  