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)
26 lines
578 B
TOML
26 lines
578 B
TOML
[package]
|
|
name = "zk-perp-host"
|
|
version.workspace = true
|
|
edition.workspace = true
|
|
license.workspace = true
|
|
|
|
[dependencies]
|
|
zk-perp-core = { workspace = true }
|
|
zk-perp-methods = { path = "../methods" }
|
|
serde = { workspace = true }
|
|
bincode = { workspace = true }
|
|
thiserror = { workspace = true }
|
|
|
|
# RISC Zero
|
|
risc0-zkvm = "3.0"
|
|
|
|
[features]
|
|
default = ["risc0"]
|
|
# Use mock prover for faster development (no actual ZK proofs)
|
|
mock = []
|
|
# Enable real RISC Zero proving
|
|
risc0 = []
|
|
|
|
[dev-dependencies]
|
|
zk-perp-state = { path = "../crates/state" }
|
|
zk-perp-da = { path = "../crates/da" }
|