Bullet: Solana ZK perp DEX appchain built on the Sovereign SDK
Thread214 words46 likes
Bullet is a ZK-powered Solana network extension with a Rust matching engine (BulletCore), single FIFO sequencer, Celestia DA and SP1 proofs verified on Solana. Adds borrowing/lending, wallet and gas abstraction, and a planned BulletSVM.
Key claims
BulletCore processes thousands of orders at 1ms latency
Proofs generated with SP1 zkVM and verified on Solana
Celestia used for data availability
What makes @bulletxyz unique?
TL;DR ↓
- Solana-based perp DEX implemented as a network extension that overcomes the fundamental limitations that perp DEXes on L1 face
- More specifically: Bullet is a ZK-powered high-performance L2 appchain built with the @sovereign_labs SDK and using novel NOMT (Nearly-Optimal Merkle Trie) database structure
- Fully purpose-built, Rust-based matching engine (BulletCore) that can process thousands of orders at 1ms latency
- A single sequencer provides deterministic (FIFO) ordering, eliminates the public mempool, and reduces rollback risk for reliable fills, while also enabling rapid iteration on custom order types, advanced risk engines, and potential PFOF models
- Leveraging @celestia for cheap and scalable data availability
- Using @SuccinctLabs' SP1 zkVM and prover network to efficiently generate ZK proofs that are subsequently verified on @solana
- Plans for SVM-based, HyperEVM-style, universally programmable execution environment alongside the CLOB infra (a.k.a. BulletSVM)
- Integrated borrowing/lending, advanced trading features and CEX-like performance while retaining non-custodial nature
- Seamless UX powered by wallet abstraction, (social logins via Privy, session keys), gas abstraction (a paymaster to sponsor fees) and broad wallet compatibility
Highly recommend to DYOR anon, especially as we're not just nearing mainnet but also the $ZEX to $BULLET token migration.
If you don't know where to start, this article by @a1research__ might help:
2 images on X