mirror of
https://github.com/saymrwulf/zk-perp.git
synced 2026-05-14 20:58:10 +00:00
9408d1e9c8
A fully functional proof-of-concept perpetual futures DEX with ZK proofs. Features: - Ed25519 digital signatures for transaction authentication - SHA-256 Sparse Merkle Trees (6-tree Hypertree architecture) - Price-time priority order matching engine - RISC Zero zkVM integration for state transition proofs - File-based Data Availability layer with state continuity - Simulated oracle with mean-reverting price movements - HTTP API (Axum) for sequencer and verifier - Comprehensive documentation Components: - crates/core: Types, crypto, Merkle trees, transactions - crates/orderbook: Order matching engine - crates/state: Global state management - crates/oracle: Price feed implementations - crates/da: Append-only log DA layer - methods/guest: RISC Zero ZK verification logic - host: Proof generation - sequencer: Transaction processing and batching - verifier: Independent proof verification 73 tests passing. 🤖 Generated with [Claude Code](https://claude.com/claude-code)
61 lines
1.2 KiB
TOML
61 lines
1.2 KiB
TOML
[workspace]
|
|
resolver = "2"
|
|
members = [
|
|
"crates/core",
|
|
"crates/orderbook",
|
|
"crates/state",
|
|
"crates/oracle",
|
|
"crates/da",
|
|
"methods",
|
|
"host",
|
|
"sequencer",
|
|
"verifier",
|
|
]
|
|
|
|
[workspace.package]
|
|
version = "0.1.0"
|
|
edition = "2021"
|
|
license = "MIT"
|
|
authors = ["zk-perp contributors"]
|
|
|
|
[workspace.dependencies]
|
|
# Core dependencies
|
|
serde = { version = "1.0", features = ["derive"] }
|
|
serde_json = "1.0"
|
|
bincode = "1.3"
|
|
thiserror = "1.0"
|
|
anyhow = "1.0"
|
|
|
|
# Async runtime
|
|
tokio = { version = "1", features = ["full"] }
|
|
|
|
# Web framework
|
|
axum = "0.7"
|
|
tower = "0.4"
|
|
tower-http = { version = "0.5", features = ["cors", "trace"] }
|
|
|
|
# Crypto
|
|
ed25519-dalek = { version = "2.0", features = ["serde"] }
|
|
sha2 = "0.10"
|
|
rand = "0.8"
|
|
|
|
# ZK / Merkle
|
|
light-poseidon = "0.2"
|
|
ark-bn254 = "0.4"
|
|
ark-ff = "0.4"
|
|
|
|
# Logging
|
|
tracing = "0.1"
|
|
tracing-subscriber = { version = "0.3", features = ["env-filter"] }
|
|
|
|
# Internal crates
|
|
zk-perp-core = { path = "crates/core" }
|
|
zk-perp-orderbook = { path = "crates/orderbook" }
|
|
zk-perp-state = { path = "crates/state" }
|
|
zk-perp-oracle = { path = "crates/oracle" }
|
|
zk-perp-da = { path = "crates/da" }
|
|
|
|
[profile.release]
|
|
lto = true
|
|
codegen-units = 1
|
|
opt-level = 3
|