Merge pull request privacy-scaling-explorations#1 from jonathanpwang/…

…jpw/10_07

add pkey & vkey serialization/deserialization

Cargo.toml

@@ -25,7 +25,7 @@ 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_ecc = { git = "https://github.com/jonathanpwang/halo2-ecc", branch = "value", default-features = false, optional = true }
+halo2_ecc = { git = "https://github.com/jonathanpwang/halo2-ecc", tag = "v2022_09_29", default-features = false, optional = true }
 poseidon = { git = "https://github.com/privacy-scaling-explorations/poseidon", branch = "padding", optional = true }
 
 # test
@@ -52,7 +52,8 @@ system_halo2 = ["dep:halo2_proofs"]
 sanity_check = []
 
 [patch."https://github.com/privacy-scaling-explorations/halo2"]
-halo2_proofs = { git = "https://github.com/han0110/halo2", branch = "feature/configurable-instance-query", package = "halo2_proofs" }
+# halo2_proofs = { path = "../halo2/halo2_proofs" }
+halo2_proofs = { git = "https://github.com/zk-attestor/halo2.git", branch = "serialize", package = "halo2_proofs" }
 
 [[example]]
 name = "evm-verifier"

examples/README.md

@@ -1,6 +1,6 @@
 In `plonk-verifier` root directory:
 
-1. Create `./src/configs/verify_circuit_for_evm.config`
+1. Create `./src/configs/verify_circuit.config`
 
 2. Run