diff --git a/src/supernova/mod.rs b/src/supernova/mod.rs
index 26e9414d6..bc109261f 100644
--- a/src/supernova/mod.rs
+++ b/src/supernova/mod.rs
@@ -427,6 +427,22 @@ where
       .expect("Failure in retrieving digest")
   }
 
+  /// Returns the number of constraints and variables of inner circuit based on index
+  pub fn num_constraints_and_variables(&self, index: usize) -> (usize, usize) {
+    (
+      self.circuit_shapes[index].r1cs_shape.num_cons,
+      self.circuit_shapes[index].r1cs_shape.num_vars,
+    )
+  }
+
+  /// Returns the number of constraints and variables of the secondary circuit
+  pub fn num_constraints_and_variables_secondary(&self) -> (usize, usize) {
+    (
+      self.circuit_shape_secondary.r1cs_shape.num_cons,
+      self.circuit_shape_secondary.r1cs_shape.num_vars,
+    )
+  }
+
   /// All of the primary circuit digests of this [`PublicParams`]
   pub fn circuit_param_digests(&self) -> CircuitDigests<E1> {
     let digests = self