A zero-knowledge perpetual DEX in a single zkVM proof
A fully functional proof-of-concept for a perpetual futures DEX whose state transitions are verified by a zero-knowledge proof from the RISC Zero zkVM. The state machine — matching, funding rates, liquidations — runs off-chain. The proof reduces "I have to trust this exchange" to "I can verify a single SNARK."