Use plaf automatic instance (#144)

Resolves #129. @leolara @qwang98 Ready for review.

Automatic instance is now enabled in plaf
codebase,(Dhole/polyexen#3) and this PR would
apply that change.

Cargo.toml

@@ -15,7 +15,7 @@ halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2.gi
 halo2curves = { git = 'https://github.com/privacy-scaling-explorations/halo2curves', tag = "0.3.2", features = [
     "derive_serde",
 ] }
-polyexen = { git = "https://github.com/Dhole/polyexen.git", rev = "67148a8aabb000a61a169b2533b2526c5b76c42f" }
+polyexen = { git = "https://github.com/Dhole/polyexen.git", rev = "4d128ad2ebd0094160ea77e30fb9ce56abb854e0" }
 num-bigint = { version = "0.4", features = ["rand"] }
 uuid = { version = "1.4.0", features = ["v1", "rng"] }
 serde = { version = "1.0", features = ["derive"] }

examples/fibo_with_padding.rs

@@ -234,9 +234,8 @@ fn main() {
     // this is unnecessary because Chiquito has a halo2 backend already
     let plaf_circuit = PlafH2Circuit { plaf, wit };
 
-    let plaf_instance = vec![vec![34.field(), 7.field()]];
     // same as halo2 boilerplate above
-    let prover_plaf = MockProver::<Fr>::run(8, &plaf_circuit, plaf_instance).unwrap();
+    let prover_plaf = MockProver::<Fr>::run(8, &plaf_circuit, plaf_circuit.instance()).unwrap();
 
     let result_plaf = prover_plaf.verify_par();
 

examples/fibonacci.rs

@@ -148,7 +148,7 @@ fn main() {
     let plaf_circuit = PlafH2Circuit { plaf, wit };
 
     // same as halo2 boilerplate above
-    let prover_plaf = MockProver::<Fr>::run(8, &plaf_circuit, Vec::new()).unwrap();
+    let prover_plaf = MockProver::<Fr>::run(8, &plaf_circuit, plaf_circuit.instance()).unwrap();
 
     let result_plaf = prover_plaf.verify_par();