diff --git a/examples/minroot.rs b/examples/minroot.rs index 144b531cb..e443d1b29 100644 --- a/examples/minroot.rs +++ b/examples/minroot.rs @@ -342,8 +342,8 @@ fn main() { type E2 = GrumpkinEngine; type EE1 = arecibo::provider::hyperkzg::EvaluationEngine; type EE2 = arecibo::provider::ipa_pc::EvaluationEngine; - type S1 = arecibo::spartan::ppsnark::RelaxedR1CSSNARK; // non-preprocessing SNARK - type S2 = arecibo::spartan::ppsnark::RelaxedR1CSSNARK; // non-preprocessing SNARK + type S1 = arecibo::spartan::ppsnark::RelaxedR1CSSNARK; // preprocessing SNARK + type S2 = arecibo::spartan::ppsnark::RelaxedR1CSSNARK; // preprocessing SNARK let res = CompressedSNARK::<_, S1, S2>::prove(&pp, &pk, &recursive_snark); println!(