Consensus client & preprocessor (#12)

* custom circuit builder (WIP)

* add per dense/spread contexts & assignment

* enable spread table constraints

* contingent range check

* fix max input bytes constant in sha256 chip

* refactor sha256 chip, uncomment hash2curve

* refactor again, use `thread_pool` instead of ctxs

* refactor step circuit & agrs struct

* add `Eth2CircuitBuilder`

* uncomment Sha256Wide chip

* remove unused features from Sha256Wide config

* add ShaWide thread builder

* sha256Wide assign to region

* uncomment CommitteeUpdateCircuit

* fix ShaBitThreadBuilder

* init

* add beacon client struct

* add committe update circuit args pre-processing

* update `AppCircuit` trait

* add Minimal spec

* fix prover crate

* fixes

* add aggregation prover to CLI

* uncomment tests

* add test with testnet data

* fix sync step args fetch

* fix merkle proofs witnesses

* rename sha256_flex mod

* fix errors

* cargo fix+fmt

* update aggregation circuit artifacts

* merge

* remove local deps

.gitignore

@@ -35,3 +35,6 @@ params/
 *.pk
 *.instances
 *.proof
+*.calldata
+
+consensus-spec-tests

Cargo.toml

@@ -1,5 +1,5 @@
 [workspace]
-members = ["lightclient-circuits", "eth-types"]
+members = ["lightclient-circuits", "prover", "preprocessor", "eth-types"]
 
 # Definition of benchmarks profile to use.
 [profile.bench]
@@ -44,9 +44,16 @@ poseidon = { git = "https://github.com/timoftime/halo2-lib", rev = "03c7baedeae2
 snark-verifier = { git = "https://github.com/timoftime/snark-verifier", branch = "timoftime/bump-revm", default-features = false }
 snark-verifier-sdk = { git = "https://github.com/timoftime/snark-verifier", branch = "timoftime/bump-revm", default-features = false }
 
-
 # [patch."https://github.com/timoftime/halo2curves"]
 # halo2curves = { path = "../halo2curves" }
 
 [patch."https://github.com/ralexstokes/ssz-rs"]
-ssz-rs = { git = "https://github.com/polytope-labs/ssz-rs", branch = "seun/ssz-merkle-multi-proof-phase-1" }
+ssz-rs = { git = "https://github.com/polytope-labs/ssz-rs", branch = "main", default-features = false }
+
+[patch."https://github.com/polytope-labs/sync-committee-rs"]
+sync-committee-prover = { git = "https://github.com/timoftime/sync-committee-rs", branch = "dev/accept-ssz", features = [
+    "testnet",
+] }
+sync-committee-primitives = { git = "https://github.com/timoftime/sync-committee-rs", branch = "dev/accept-ssz", features = [
+    "testnet",
+] }