From 8839285f4d6a6f344705cafb8d3f4b04d7635dd4 Mon Sep 17 00:00:00 2001
From: Tamir Hemo <tamir@succinct.xyz>
Date: Tue, 19 Sep 2023 11:45:42 -0700
Subject: [PATCH] add trait bound

---
 plonky2/src/plonk/prover.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/plonky2/src/plonk/prover.rs b/plonky2/src/plonk/prover.rs
index ee94288e..41aebdb1 100644
--- a/plonky2/src/plonk/prover.rs
+++ b/plonky2/src/plonk/prover.rs
@@ -112,7 +112,11 @@ pub fn prove<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D:
     common_data: &CommonCircuitData<F, D>,
     inputs: PartialWitness<F>,
     timing: &mut TimingTree,
-) -> Result<ProofWithPublicInputs<F, C, D>> {
+) -> Result<ProofWithPublicInputs<F, C, D>>
+where
+    C::Hasher: Hasher<F>,
+    C::InnerHasher: Hasher<F>,
+{
     let partition_witness = timed!(
         timing,
         &format!("run {} generators", prover_data.generators.len()),