d73909d72c
Phase 13 Completion: - Add ZK-Rollup Docker infrastructure (sequencer, provers, gateway) - Create zk-sequencer binary with health checks and metrics - Add docker-compose.zk.yml for full ZK stack deployment - Include nginx gateway and Prometheus monitoring configs Integration Tests: - Add comprehensive Phase 13 integration test suite - Cover DAGKnight, quantum crypto, ZK-rollup, gateway tests - All 149 tests passing (39 DAG + 45 crypto + 25 ZK + 40 storage) Phase 14 Planning: - Document 4-milestone roadmap (20 weeks) - M1: Cross-chain IBC interoperability - M2: Privacy layer (RingCT, stealth addresses) - M3: Sharding protocol (100K TPS target) - M4: Developer tooling (formal verification, Hardhat) Docker Services: - synor-zk-sequencer: API port 3001, prover RPC 3002, metrics 9001 - synor-zk-prover-1/2: Dedicated proof generation workers - synor-zk-gateway: nginx API gateway port 3080 - synor-zk-prometheus: Metrics collection port 9090
64 lines
1.5 KiB
TOML
64 lines
1.5 KiB
TOML
[package]
|
|
name = "synor-zk"
|
|
version.workspace = true
|
|
edition.workspace = true
|
|
authors.workspace = true
|
|
license.workspace = true
|
|
description = "Zero-knowledge proof system for Synor L2 rollups"
|
|
|
|
[dependencies]
|
|
synor-types = { path = "../synor-types" }
|
|
synor-crypto = { path = "../synor-crypto" }
|
|
|
|
# ZK Proof System - Using arkworks for flexibility
|
|
# (Can be swapped for Halo2, Plonky2, or other backends)
|
|
ark-ff = "0.4"
|
|
ark-ec = "0.4"
|
|
ark-poly = "0.4"
|
|
ark-serialize = "0.4"
|
|
ark-std = "0.4"
|
|
ark-bn254 = "0.4"
|
|
ark-groth16 = "0.4"
|
|
ark-snark = "0.4"
|
|
ark-relations = "0.4"
|
|
ark-r1cs-std = "0.4"
|
|
|
|
# Merkle tree for state management
|
|
rs_merkle = "1.4"
|
|
|
|
# Hashing
|
|
sha3 = { workspace = true }
|
|
blake3 = { workspace = true }
|
|
|
|
# Serialization
|
|
serde = { workspace = true }
|
|
borsh = { workspace = true }
|
|
|
|
# Utilities
|
|
thiserror = { workspace = true }
|
|
hex = { workspace = true }
|
|
parking_lot = { workspace = true }
|
|
rand = { workspace = true }
|
|
|
|
# Async runtime and logging (for binaries)
|
|
tokio = { version = "1", features = ["full"], optional = true }
|
|
tracing = { version = "0.1", optional = true }
|
|
tracing-subscriber = { version = "0.3", features = ["env-filter"], optional = true }
|
|
|
|
[features]
|
|
default = []
|
|
node = ["tokio", "tracing", "tracing-subscriber"]
|
|
|
|
[[bin]]
|
|
name = "zk-sequencer"
|
|
path = "src/bin/zk-sequencer.rs"
|
|
required-features = ["node"]
|
|
|
|
[dev-dependencies]
|
|
criterion = { workspace = true }
|
|
proptest = { workspace = true }
|
|
tempfile = { workspace = true }
|
|
|
|
# [[bench]]
|
|
# name = "zk_bench"
|
|
# harness = false
|