add default CircuitExt impl

zkmove · Apr 10, 2023 · a3d0a5a · a3d0a5a
1 parent ed1a740
commit a3d0a5a
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/snark-verifier-sdk/src/lib.rs b/snark-verifier-sdk/src/lib.rs
@@ -93,9 +93,13 @@ impl SnarkWitness {
 pub trait CircuitExt<F: Field>: Circuit<F> {
     /// Return the number of instances of the circuit.
     /// This may depend on extra circuit parameters but NOT on private witnesses.
-    fn num_instance(&self) -> Vec<usize>;
+    fn num_instance(&self) -> Vec<usize> {
+        vec![]
+    }
 
-    fn instances(&self) -> Vec<Vec<F>>;
+    fn instances(&self) -> Vec<Vec<F>> {
+        vec![]
+    }
 
     fn accumulator_indices() -> Option<Vec<(usize, usize)>> {
         None