diff --git a/snark/src/lib.rs b/snark/src/lib.rs index eac5acd..b038c4a 100644 --- a/snark/src/lib.rs +++ b/snark/src/lib.rs @@ -74,6 +74,21 @@ pub struct CS { } impl CS { + pub fn dummy() -> Self { + let mut d = 0; + let mut vars = 0; + let mut o = Fr::zero(); + + let cs = unsafe { libsnarkwrap_getcs(&mut d, &mut vars, &mut o) }; + + CS { + ptr: cs, + num_vars: vars as usize, + d: d as usize, + omega: o + } + } + pub fn test_compare_tau(&self, v1: &[G1], v2: &[G2], tau: &Fr) -> bool { assert_eq!(v1.len(), v2.len()); unsafe { libsnarkwrap_test_compare_tau(&v1[0], &v2[0], tau, v1.len() as u64, self.ptr) } @@ -127,22 +142,6 @@ impl Drop for CS { } } -/// Get the QAP info for the generation routines -pub fn getcs() -> CS { - let mut d = 0; - let mut vars = 0; - let mut o = Fr::zero(); - - let cs = unsafe { libsnarkwrap_getcs(&mut d, &mut vars, &mut o) }; - - CS { - ptr: cs, - num_vars: vars as usize, - d: d as usize, - omega: o - } -} - pub trait Pairing { fn g1<'a>(&'a self, other: &'a Other) -> &'a G1; fn g2<'a>(&'a self, other: &'a Other) -> &'a G2; diff --git a/src/lagrange.rs b/src/lagrange.rs index 455d64e..a49a95a 100644 --- a/src/lagrange.rs +++ b/src/lagrange.rs @@ -86,7 +86,7 @@ mod test { initialize(); // Get the QAP degree and omega (for FFT evaluation) - let cs = getcs(); + let cs = CS::dummy(); // Sample a random tau let tau = Fr::random();