From 24b7e6cc7c8fb7344e6568783824927f2453f1ec Mon Sep 17 00:00:00 2001
From: Sean Bowe <ewillbefull@gmail.com>
Date: Mon, 24 Aug 2020 08:36:41 -0600
Subject: [PATCH] Run SRS synthesis on an empty circuit in test.

---
 src/plonk.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/plonk.rs b/src/plonk.rs
index d6d9188..a10e168 100644
--- a/src/plonk.rs
+++ b/src/plonk.rs
@@ -218,8 +218,10 @@ fn test_proving() {
         a: Some((-Fp::from_u64(2) + Fp::ROOT_OF_UNITY).pow(&[100, 0, 0, 0])),
     };
 
+    let empty_circuit: MyCircuit<Fp> = MyCircuit { a: None };
+
     // Initialize the SRS
-    let srs = SRS::generate(&params, &circuit).expect("SRS generation should not fail");
+    let srs = SRS::generate(&params, &empty_circuit).expect("SRS generation should not fail");
 
     // Create a proof
     let proof = Proof::create::<DummyHash<Fq>, DummyHash<Fp>, _>(&params, &srs, &circuit)