message: Sprinkle derive(Debug)
diff: @@ -16,7 +16,7 @@ use std::array;
  //~ spec:startcode
  /// Evaluations of a polynomial at 2 points
  #[serde_as]
  -#[derive(Copy, Clone, Serialize, Deserialize, Default)]
  +#[derive(Copy, Clone, Serialize, Deserialize, Default, Debug)]
  #[cfg_attr(
  feature = "ocaml_types",
  derive(ocaml::IntoValue, ocaml::FromValue, ocaml_gen::Struct)
  @@ -36,7 +36,7 @@ pub struct PointEvaluations<Evals> {
  /// Evaluations of lookup polynomials
  #[serde_as]
  -#[derive(Clone, Serialize, Deserialize)]
  +#[derive(Debug, Clone, Serialize, Deserialize)]
  pub struct LookupEvaluations<Eval> {
  /// sorted lookup table polynomial
  pub sorted: Vec<Eval>,
  @@ -55,7 +55,7 @@ pub struct LookupEvaluations<Eval> {
  /// - **Chunked evaluations** `Field` is instantiated with vectors with a length that equals the length of the chunk
  /// - **Non chunked evaluations** `Field` is instantiated with a field, so they are single-sized#[serde_as]
  #[serde_as]
  -#[derive(Clone, Serialize, Deserialize)]
  +#[derive(Debug, Clone, Serialize, Deserialize)]
  pub struct ProofEvaluations<Eval> {
  /// witness polynomials
  pub w: [Eval; COLUMNS],
  @@ -76,7 +76,7 @@ pub struct ProofEvaluations<Eval> {
  /// Commitments linked to the lookup feature
  #[serde_as]
  -#[derive(Clone, Serialize, Deserialize)]
  +#[derive(Debug, Clone, Serialize, Deserialize)]
  #[serde(bound = "G: ark_serialize::CanonicalDeserialize + ark_serialize::CanonicalSerialize")]
  pub struct LookupCommitments<G: AffineCurve> {
  /// Commitments to the sorted lookup table polynomial (may have chunks)
  @@ -89,7 +89,7 @@ pub struct LookupCommitments<G: AffineCurve> {
  /// All the commitments that the prover creates as part of the proof.
  #[serde_as]
  -#[derive(Clone, Serialize, Deserialize)]
  +#[derive(Debug, Clone, Serialize, Deserialize)]
  #[serde(bound = "G: ark_serialize::CanonicalDeserialize + ark_serialize::CanonicalSerialize")]
  pub struct ProverCommitments<G: AffineCurve> {
  /// The commitments to the witness (execution trace)
  @@ -104,7 +104,7 @@ pub struct ProverCommitments<G: AffineCurve> {
  /// The proof that the prover creates from a [ProverIndex](super::prover_index::ProverIndex) and a `witness`.
  #[serde_as]
  -#[derive(Clone, Serialize, Deserialize)]
  +#[derive(Debug, Clone, Serialize, Deserialize)]
  #[serde(bound = "G: ark_serialize::CanonicalDeserialize + ark_serialize::CanonicalSerialize")]
  pub struct ProverProof<G: AffineCurve> {
  /// All the polynomial commitments required in the proof
  @@ -130,7 +130,7 @@ pub struct ProverProof<G: AffineCurve> {
  /// A struct to store the challenges inside a `ProverProof`
  #[serde_as]
  -#[derive(Clone, Deserialize, Serialize)]
  +#[derive(Debug, Clone, Deserialize, Serialize)]
  #[serde(bound = "G: ark_serialize::CanonicalDeserialize + ark_serialize::CanonicalSerialize")]
  pub struct RecursionChallenge<G>
  where
  