Universal DeFi backend enabling DEXs, CEXs, and dApps to settle trades via ZK-verified vaults.
Domex replaces traditional transaction-based blockchains with a vault-state execution model triggered by zero-knowledge proofs. There are no contracts, no gas, and no transactions, only vaults, ZK proof logic, and off-chain Raft-style consensus.
Domex offers: ZK onboarding + withdrawals Shared global liquidity vaults (BTC/USDT, ETH/USDT) Delegated Poseidon-based identities (quantum-safe) Cross-chain bridges via client-side ZK (Bitcoin, Cosmos, Ethereum)
Domex is built as a zero-knowledge execution protocol, using Rust and Plonky2 to enable off-chain proof-based trading logic that settles via on-chain ZK validation. Instead of smart contracts, the protocol relies on vault-bound state transitions, governed by a custom JSON schema and Merkle root enforcement.
We used:
Rust for the vault matching engine and local Raft-style consensus
Plonky2 + Pasta Curves for fast, recursive ZK proof generation
Poseidon hash for identity and vault ownership, ensuring quantum resistance
Merkle proofs to represent matched states submitted to validators
Custom JSON schema (order_format.json) for gasless API-style trade submission
Each trade begins with user-submitted intent (via API), matched locally, and verified globally through ZK proof aggregation. Withdrawals require a Poseidon-authenticated proof tied to vault onboarding identity, eliminating runtime logic or signature replay risk.
The system is modular and integrates cleanly with Cosmos, Ethereum, or BTC via ZK light clients (still under development). It avoids trust-based bridges, wrapped tokens, and traditional transaction fees, making Domex fast, gasless, and globally composable.