zkHyperLiquid

zkHyperliquid is a trading platform that combines high-performance trading capabilities with advanced security features. It leverages the Vapp framework to provide traders with an efficient marketplace where transactions are verified using zero-knowledge proofs (ZKPs). This technology ensures that trades execute quickly with low latency while maintaining strong security guarantees comparable to Ethereum.

We have achieved 10k+ TPS for this simple demo.

zkHyperliquid uses:

• An execution server for order matching
• A SP1 zkVM for generating ZKPs
• Settlement on Ethereum

When users place orders, the system matches them based on price, processes them through a Finite State Machine, and creates ZKPs verifying the validity of all transactions. These proofs are submitted to Ethereum for final settlement, ensuring that all asset transfers and state changes are verified and tamper-proof.

We combined Rust, TypeScript and Solidity. The architecture splits into the following components:

Rust Backend - High-performance trading engine and ZK-proof generation Next.js Frontend - React-based trading interface with real-time updates Solidity Contracts - On-chain settlement and cross-chain bridge functionality

The backend includes: api/ - REST endpoints for order submission and user interactions block/ - Handles block creation logic and database persistence engine/ - Core order matching system and transaction mempool oracle/ - Oracle to get L1 state, to confirm settlement of the filled orders sender/ - Manages transaction submission and confirmation flows user/ - Authentication, authorization, and account management zkVM/ - SP1 powered app VM execution proof