feat: implement ipa pcs and accumulation (#14)

Cargo.toml

@@ -13,6 +13,9 @@ rand = "0.8"
 hex = "0.4"
 halo2_curves = { git = "https://github.com/privacy-scaling-explorations/halo2curves", tag = "0.3.0", package = "halo2curves" }
 
+# parallel
+rayon = { version = "1.5.3", optional = true }
+
 # system_halo2
 halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2", tag = "v2022_10_22", optional = true }
 
@@ -41,13 +44,13 @@ tui = { version = "0.19", default-features = false, features = ["crossterm"] }
 [features]
 default = ["loader_evm", "loader_halo2", "system_halo2"]
 
+parallel = ["dep:rayon"]
+
 loader_evm = ["dep:ethereum_types", "dep:sha3", "dep:revm", "dep:bytes", "dep:rlp"]
 loader_halo2 = ["dep:halo2_proofs", "dep:halo2_wrong_ecc", "dep:poseidon"]
 
 system_halo2 = ["dep:halo2_proofs"]
 
-sanity_check = []
-
 [[example]]
 name = "evm-verifier"
 required-features = ["loader_evm", "system_halo2"]

src/loader/halo2/test.rs

@@ -4,6 +4,7 @@ use crate::{
 };
 use halo2_proofs::circuit::Value;
 
+#[derive(Clone, Debug)]
 pub struct Snark<C: CurveAffine> {
     pub protocol: Protocol<C>,
     pub instances: Vec<Vec<C::Scalar>>,
@@ -27,6 +28,7 @@ impl<C: CurveAffine> Snark<C> {
     }
 }
 
+#[derive(Clone, Debug)]
 pub struct SnarkWitness<C: CurveAffine> {
     pub protocol: Protocol<C>,
     pub instances: Vec<Vec<Value<C::Scalar>>>,
@@ -48,18 +50,23 @@ impl<C: CurveAffine> From<Snark<C>> for SnarkWitness<C> {
 }
 
 impl<C: CurveAffine> SnarkWitness<C> {
-    pub fn without_witnesses(&self) -> Self {
+    pub fn new_without_witness(protocol: Protocol<C>) -> Self {
+        let instances = protocol
+            .num_instance
+            .iter()
+            .map(|num_instance| vec![Value::unknown(); *num_instance])
+            .collect();
         SnarkWitness {
-            protocol: self.protocol.clone(),
-            instances: self
-                .instances
-                .iter()
-                .map(|instances| vec![Value::unknown(); instances.len()])
-                .collect(),
+            protocol,
+            instances,
             proof: Value::unknown(),
         }
     }
 
+    pub fn without_witnesses(&self) -> Self {
+        SnarkWitness::new_without_witness(self.protocol.clone())
+    }
+
     pub fn proof(&self) -> Value<&[u8]> {
         self.proof.as_ref().map(Vec::as_slice)
     }

src/pcs.rs

@@ -10,6 +10,7 @@ use crate::{
 use rand::Rng;
 use std::fmt::Debug;
 
+pub mod ipa;
 pub mod kzg;
 
 pub trait PolynomialCommitmentScheme<C, L>: Clone + Debug