diff --git a/src/composer/circuit.rs b/src/composer/circuit.rs
index ffb545bdc..c11abf2d6 100644
--- a/src/composer/circuit.rs
+++ b/src/composer/circuit.rs
@@ -11,7 +11,7 @@ use super::Composer;
 /// Circuit implementation that can be proved by a Composer
 ///
 /// The default implementation will be used to generate the proving arguments.
-pub trait Circuit: Default {
+pub trait Circuit {
     /// Circuit definition
     fn circuit<C>(&self, composer: &mut C) -> Result<(), Error>
     where
diff --git a/src/composer/compiler.rs b/src/composer/compiler.rs
index 2208ad424..dceb45d46 100644
--- a/src/composer/compiler.rs
+++ b/src/composer/compiler.rs
@@ -26,7 +26,7 @@ impl Compiler {
         label: &[u8],
     ) -> Result<(Prover<C>, Verifier<C>), Error>
     where
-        C: Circuit,
+        C: Default + Circuit,
     {
         Self::compile_with_circuit(pp, label, &Default::default())
     }