mirror of
https://github.com/saymrwulf/zk-perp.git
synced 2026-07-27 20:02:34 +00:00
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)
13 lines
286 B
Rust
13 lines
286 B
Rust
//! Build script for RISC Zero guest program
|
|
|
|
fn main() {
|
|
#[cfg(feature = "risc0")]
|
|
{
|
|
risc0_build::embed_methods();
|
|
}
|
|
|
|
#[cfg(not(feature = "risc0"))]
|
|
{
|
|
println!("cargo:warning=Building zk-perp-methods without RISC Zero support (mock mode)");
|
|
}
|
|
}
|