Update halo2-lib and add SDK

Cargo.toml

@@ -1,61 +1,52 @@
-[package]
-name = "plonk_verifier"
-version = "0.1.0"
-edition = "2021"
-
-[dependencies]
-itertools = "0.10.3"
-lazy_static = "1.4.0"
-num-bigint = "0.4"
-num-traits = "0.2"
-
-rand = "0.8"
-rand_chacha = "0.3.1"
-serde = { version = "1.0", features = ["derive"] }
-serde_json  = "1.0"
-hex = "0.4.3"
-ark-std = { version = "0.3", features = ["print-trace"] }
-
-halo2_curves = { git = "https://github.com/privacy-scaling-explorations/halo2curves", tag = "0.2.1", package = "halo2curves" }
-
-# system_halo2
-halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2", tag = "v2022_09_10", optional = true }
-
-# loader_evm
-ethereum_types = { package = "ethereum-types", version = "0.13.1", default-features = false, features = ["std"], optional = true }
-sha3 = { version = "0.10.1", optional = true }
-foundry_evm = { git = "https://github.com/jonathanpwang/foundry", package = "foundry-evm", branch = "fix/pin-revm-to-rev", optional = true }
-
-# loader_halo2
-halo2_base = { git = "ssh://github.com/axiom-crypto/halo2-lib-working.git", package = "halo2_base", default-features = false, optional = true }
-halo2_ecc = { git = "ssh://github.com/axiom-crypto/halo2-lib-working.git", package = "halo2_ecc", default-features = false, optional = true }
-poseidon = { git = "https://github.com/privacy-scaling-explorations/poseidon", branch = "padding", optional = true }
-
-[dev-dependencies]
-paste = "1.0.7"
-
-# loader_evm
-crossterm = { version = "0.22.1" }
-tui = { version = "0.16.0", default-features = false, features = ["crossterm"] }
-
-# zkevm
-zkevm_circuit_benchmarks = {git = "https://github.com/privacy-scaling-explorations/zkevm-circuits.git", package = "circuit-benchmarks", features = ["benches"] }
-zkevm_circuits = {git = "https://github.com/privacy-scaling-explorations/zkevm-circuits.git", package = "zkevm-circuits" }
-
-[features]
-default = ["loader_evm", "loader_halo2", "system_halo2"]
-loader_evm = ["dep:ethereum_types", "dep:sha3", "dep:foundry_evm"]
-loader_halo2 = ["dep:halo2_proofs", "dep:halo2_base", "halo2_ecc", "dep:poseidon"]
-system_halo2 = ["dep:halo2_proofs"]
-sanity_check = []
-
-[patch."https://github.com/privacy-scaling-explorations/halo2"]
-halo2_proofs = { git = "https://github.com/axiom-crypto/halo2.git", branch = "axiom/add-serialization", package = "halo2_proofs" }
-
-[[example]]
-name = "evm-verifier"
-required-features = ["loader_evm", "system_halo2"]
-
-[[example]]
-name = "evm-verifier-with-accumulator"
-required-features = ["loader_halo2", "loader_evm", "system_halo2"]
+[workspace]
+members = [
+    "snark-verifier",
+    "snark-verifier-sdk",
+]
+
+[profile.dev]
+opt-level = 3
+
+# Local "release" mode, more optimized than dev but faster to compile than release
+[profile.local]
+inherits = "dev"
+opt-level = 3
+# Set this to 1 or 2 to get more useful backtraces
+debug = true
+debug-assertions = false
+panic = 'unwind'
+# better recompile times
+incremental = true
+lto = "thin"
+codegen-units = 16
+
+[profile.release]
+opt-level = 3
+debug = false
+debug-assertions = false
+lto = "fat" 
+# codegen-units = 1
+panic = "abort"
+incremental = false
+
+# For performance profiling
+[profile.flamegraph]
+inherits = "release"
+debug = true
+
+[patch."ssh://github.com/axiom-crypto/axiom-core-working.git"]
+halo2-base = { path = "../axiom-core-working/halo2-lib/halo2-base" }
+halo2-ecc = { path = "../axiom-core-working/halo2-lib/halo2-ecc" }
+
+[patch."https://github.com/axiom-crypto/halo2.git"]
+halo2_proofs = { path = "../halo2/halo2_proofs" }
+halo2curves = { path = "../halo2/arithmetic/curves" }
+poseidon = { path = "../halo2/primitives/poseidon" }
+
+# patch for now because PSE/halo2 has not yet updated halo2curves version, unnecessary if halo2_proofs is using latest halo2curves with Fq12 public
+[patch."https://github.com/privacy-scaling-explorations/halo2curves.git"]
+halo2curves = { path = "../halo2/arithmetic/curves" } 
+
+# patch just because we cannot patch the same repo with different tag: serialization is already in latest PSE/halo2 but not in v2022_10_22
+[patch."https://github.com/privacy-scaling-explorations/halo2.git"]
+halo2_proofs = { git = "https://github.com/axiom-crypto/halo2.git", branch = "axiom/add-serialization" }

README.md

@@ -1,7 +1,3 @@
 # PLONK Verifier
 
 Generic PLONK verifier.
-
-## SRS
-
-Note that if aggregating snarks with different `K` params size, you should generate the largest srs necessarily and then `downgrade` to the smaller param sizes so that the first two points are the same for all srs files.