From 9cb62348fb3edccc1d23f025e9cdf2262b26a46f Mon Sep 17 00:00:00 2001 From: Alex Vlasov Date: Tue, 5 Feb 2019 19:46:00 +0300 Subject: [PATCH] can get Q too --- src/sonic/helped/verifier.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/sonic/helped/verifier.rs b/src/sonic/helped/verifier.rs index 5010d1c..808cd2f 100644 --- a/src/sonic/helped/verifier.rs +++ b/src/sonic/helped/verifier.rs @@ -255,6 +255,10 @@ impl, S: SynthesisDriver> MultiVerifier { return self.n; } + pub fn get_q(&self) -> usize { + return self.q; + } + pub fn check_all(self) -> bool { self.batch.check_all() }