From 2e234b0027dfa27b7a46b3a91692a1715180fc9f Mon Sep 17 00:00:00 2001
From: Davide Galassi <davxy@datawok.net>
Date: Wed, 28 Jan 2026 16:52:36 +0100
Subject: [PATCH 1/2] Fix for batching

---
 src/pcs/kzg/params.rs | 6 +++---
 src/pcs/mod.rs        | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/pcs/kzg/params.rs b/src/pcs/kzg/params.rs
index 62e2dd5..b34e7cf 100644
--- a/src/pcs/kzg/params.rs
+++ b/src/pcs/kzg/params.rs
@@ -119,13 +119,13 @@ impl<E: Pairing> RawVerifierKey for RawKzgVerifierKey<E> {
 #[derive(Clone, Debug)]
 pub struct KzgVerifierKey<E: Pairing> {
     // generator of G1
-    pub(crate) g1: E::G1Affine,
+    pub g1: E::G1Affine,
     // G1Prepared is just a wrapper around G1Affine // TODO: fixed-base precomputations
     // generator of G2, prepared
-    pub(crate) g2: E::G2Prepared,
+    pub g2: E::G2Prepared,
     // G2Prepared can be used as a pairing RHS only
     // tau.g2, prepared
-    pub(crate) tau_in_g2: E::G2Prepared, // G2Prepared can be used as a pairing RHS only
+    pub tau_in_g2: E::G2Prepared, // G2Prepared can be used as a pairing RHS only
 }
 
 impl<E: Pairing> VerifierKey for KzgVerifierKey<E> {}
diff --git a/src/pcs/mod.rs b/src/pcs/mod.rs
index 4ec567b..4acae7d 100644
--- a/src/pcs/mod.rs
+++ b/src/pcs/mod.rs
@@ -58,7 +58,7 @@ pub trait RawVerifierKey:
     fn prepare(&self) -> Self::VK;
 }
 
-pub trait PcsParams {
+pub trait PcsParams: Clone {
     type CK: CommitterKey;
     type VK: VerifierKey;
     type RVK: RawVerifierKey<VK = Self::VK>;
@@ -73,7 +73,7 @@ pub trait PcsParams {
 }
 
 /// Polynomial commitment scheme.
-pub trait PCS<F: PrimeField> {
+pub trait PCS<F: PrimeField>: Clone {
     type C: Commitment<F>;
 
     type Proof: Clone + CanonicalSerialize + CanonicalDeserialize;

From 8cef5ad5dfc575eb11e07a110371db6c5078c484 Mon Sep 17 00:00:00 2001
From: Davide Galassi <davxy@datawok.net>
Date: Thu, 29 Jan 2026 19:54:31 +0100
Subject: [PATCH 2/2] Revert Clone bound

---
 src/pcs/mod.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/pcs/mod.rs b/src/pcs/mod.rs
index 4acae7d..4ec567b 100644
--- a/src/pcs/mod.rs
+++ b/src/pcs/mod.rs
@@ -58,7 +58,7 @@ pub trait RawVerifierKey:
     fn prepare(&self) -> Self::VK;
 }
 
-pub trait PcsParams: Clone {
+pub trait PcsParams {
     type CK: CommitterKey;
     type VK: VerifierKey;
     type RVK: RawVerifierKey<VK = Self::VK>;
@@ -73,7 +73,7 @@ pub trait PcsParams: Clone {
 }
 
 /// Polynomial commitment scheme.
-pub trait PCS<F: PrimeField>: Clone {
+pub trait PCS<F: PrimeField> {
     type C: Commitment<F>;
 
     type Proof: Clone + CanonicalSerialize + CanonicalDeserialize;