Cargo.toml

[workspace]
resolver = "2"
members = [
    "crates/primitives",
    "crates/commitments",
    "crates/crypto",
    "crates/statement",
    "crates/proof-types",
    "crates/opening",
    "crates/verifier",
    "crates/verifier-backends",
    "crates/prover",
    "crates/prover-backends",
    "crates/prover-backends/sp1-leaf-types",
    "crates/client",
    "crates/chain",
    "crates/mempool",
    "crates/validator",
    "crates/harness",
    "crates/prover-backends/guests/sp1-leaf",
]

[workspace.package]
version = "0.1.0"
edition = "2024"
authors = ["Wonjae Choi <wonjae@snu.ac.kr>"]
license = "MIT OR Apache-2.0"
repository = "https://github.com/0xwonj/ghostpool"
keywords = ["ethereum", "mempool", "zkp", "privacy", "stark"]
categories = ["cryptography", "network-programming"]

[workspace.dependencies]
# Internal crates
ghostpool-primitives = { path = "crates/primitives" }
ghostpool-commitments = { path = "crates/commitments" }
ghostpool-crypto = { path = "crates/crypto" }
ghostpool-statement = { path = "crates/statement" }
ghostpool-proof-types = { path = "crates/proof-types" }
ghostpool-sp1-leaf-types = { path = "crates/prover-backends/sp1-leaf-types" }
ghostpool-opening = { path = "crates/opening" }
ghostpool-verifier = { path = "crates/verifier" }
ghostpool-verifier-backends = { path = "crates/verifier-backends" }
ghostpool-prover = { path = "crates/prover" }
ghostpool-prover-backends = { path = "crates/prover-backends" }
ghostpool-client = { path = "crates/client" }
ghostpool-chain = { path = "crates/chain" }
ghostpool-mempool = { path = "crates/mempool" }
ghostpool-validator = { path = "crates/validator" }
ghostpool-harness = { path = "crates/harness" }

# Alloy - Ethereum Primitives
alloy-primitives = { version = "1", default-features = false, features = [
    "serde",
    "rand",
    "k256",
    "rlp",
] }
alloy-consensus = { version = "2", features = ["k256"] }
alloy-eips = "2"
alloy-rlp = "0.3"
alloy-trie = "0.9"
# Reth - Ethereum Node Infrastructure (v1.11.1)
reth-db = { git = "https://github.com/paradigmxyz/reth", tag = "v1.11.1" }
reth-db-api = { git = "https://github.com/paradigmxyz/reth", tag = "v1.11.1" }

# Async & Concurrency
tokio = { version = "1", features = ["full"] }
tokio-util = { version = "0.7", features = ["rt"] }
async-trait = "0.1"
parking_lot = "0.12"
dashmap = "6"

# Cryptography
sha2 = "0.10"
chacha20poly1305 = { version = "0.10", default-features = false, features = ["alloc"] }
hkdf = "0.12"
k256 = { version = "0.13", features = ["arithmetic", "ecdsa", "hash2curve"] }
elliptic-curve = { version = "0.13", features = ["hash2curve"] }
rand = "0.10"
rand_core = "0.6"
zeroize = "1"
subtle = "2"

# zkVM verifier SDKs
risc0-zkvm = { version = "=3.0.5", default-features = false, features = [
    "std",
    "disable-dev-mode",
] }
sp1-verifier = { version = "=6.2.0", default-features = false }
sp1-sdk = { version = "=6.2.0", default-features = false }
sp1-zkvm = { version = "=6.2.0" }
sp1-primitives = { version = "=6.2.0", default-features = false }
slop-algebra = "6.2.0"

# Serialization
serde = { version = "1", features = ["derive"] }
serde_json = "1"
bytes = "1"
rmp-serde = "1"
bincode = "1"

# Error Handling
thiserror = "2"
eyre = "0.6"
color-eyre = "0.6"

# Observability
tracing = "0.1"
tracing-subscriber = { version = "0.3", features = ["env-filter"] }

# CLI & Config
clap = { version = "4", features = ["derive", "env"] }
toml = "1"

# HTTP / RPC
axum = "0.8"
tower = "0.5"
tower-http = { version = "0.6", features = ["cors", "trace"] }
reqwest = { version = "0.13", default-features = false }
http-body-util = "0.1"

# Dev dependencies
proptest = "1"
tokio-test = "0.4"
tempfile = "3"

[profile.release]
lto = "fat"
codegen-units = 1
panic = "abort"
strip = true

[profile.dev]
opt-level = 1

[profile.dev.package."*"]
opt-level = 3

# SP1 precompile patches. These forks route SHA-256 and keccak256 hashing to
# SP1 syscalls inside the riscv32im-succinct-zkvm-elf guest and compile to the
# unmodified upstream implementations on native targets. The k256 patch is not
# usable here: the in-statement nullifier derivation needs the `hash2curve`
# feature, which the patched fork rejects in the zkvm.
[patch.crates-io]
sha2 = { git = "https://github.com/sp1-patches/RustCrypto-hashes", package = "sha2", tag = "patch-sha2-0.10.9-sp1-6.0.0" }
sha3 = { git = "https://github.com/sp1-patches/RustCrypto-hashes", package = "sha3", tag = "patch-sha3-0.11.0-sp1-6.0.0" }