multi-commiting/opening (#34)

EspressoSystems · Jun 30, 2022 · d41a0cf · d41a0cf
1 parent a8c7378
commit d41a0cf
Show file tree

Hide file tree

Showing 10 changed files with 1,049 additions and 34 deletions.
diff --git a/pcs/Cargo.toml b/pcs/Cargo.toml
@@ -17,6 +17,9 @@ ark-bls12-381 = { version = "0.3.0", default-features = false, features = [ "cur
 
 displaydoc = { version = "0.2.3", default-features = false }
 
+poly-iop = { path = "../poly-iop" }
+
+
 # Benchmarks
 [[bench]]
 name = "pcs-benches"
@@ -31,7 +34,9 @@ parallel = [
     "ark-ff/parallel",  
     "ark-poly/parallel", 
     "ark-ec/parallel",
+    "poly-iop/parallel"
     ]
 print-trace = [ 
-    "ark-std/print-trace" 
+    "ark-std/print-trace",
+    "poly-iop/print-trace"
     ] 
diff --git a/pcs/benches/bench.rs b/pcs/benches/bench.rs
@@ -65,7 +65,7 @@ fn bench_pcs() -> Result<(), PCSErrors> {
         {
             let start = Instant::now();
             for _ in 0..repetition {
-                assert!(KZGMultilinearPC::verify(&vk, &com, &point, value, &proof)?);
+                assert!(KZGMultilinearPC::verify(&vk, &com, &point, &value, &proof)?);
             }
             println!(
                 "KZG verify for {} variables: {} ns",