VeraFi
The first decentralized options protocol on XRPL. Black-Scholes pricing verified on-chain via Boundless ZK proofs. No vault, no intermediary, no trust assumption.
Demo Video
Project Information
At a Glance
The first decentralized options protocol on XRPL. Black-Scholes pricing verified on-chain via Boundless ZK proofs. No vault, no intermediary, no trust assumption.
Description
VeraFi — First Decentralized Options Protocol on XRPL
XRPL has hundreds of active projects. Zero of them are options. If you hold XRP and want to hedge downside or earn through volatility, your only paths are: bridge to Ethereum, use a CEX, or hold the spot risk. VeraFi removes all three compromises.
Two parties agree on an option directly. The writer locks collateral in a ZK Smart Escrow on XRPL. The buyer pays the premium with a standard Payment. When the option is in the money, the buyer generates a Groth16 zero-knowledge proof of a Black-Scholes simulation inside a RISC Zero zkVM and submits it as memos on an EscrowFinish transaction. An on-chain Wasm verifier checks the proof and cross-references the agreed terms stored in the escrow Data field. Valid and in the money — funds release. Expired worthless — anyone calls EscrowCancel and collateral returns to the writer.
Four XRPL L1 transactions. No vault. No protocol wallet. No intermediary. The ZK proof is the only gate between collateral and settlement.
The demo ships a 3D payoff surface built with React Three Fiber — rotate the position, hover for live P&L plus delta, gamma, theta, vega at any strike/time combination, and scrub through theta decay in real time. Every contract generates a unique deterministic SVG derived from its parameters. The landing page reads live escrows from the groth5 devnet in real time.
Bounties targeted: Main prize (first options protocol on XRPL) · Boundless (Groth16 ZK proof verified on-chain via Boundless Market) · Impact Finance (trustless derivatives access for anyone who can't open a Deribit account) · Pixel Meets Chain (3D payoff surface, generative contract art, cinematic UI).
Link to presentation : https://docs.google.com/presentation/d/1-8rVY56Oyn8qg-scat6pkoVcIuOUe6SXUrryJ1wAiJk/edit?usp=sharing Link to vercel.app deployment : https://xrpverafi.vercel.app/
Technical Details
The smart escrow is written in Rust and compiled to wasm32v1-none. It is deployed on XRPL groth5 devnet via the FinishFunction field of EscrowCreate. When EscrowFinish is called, the verifier reads the ZK proof from the transaction memos, verifies the Groth16 proof against the OPTIONS_PRICER_ID image hash, cross-checks the journal parameters against the agreed values stored in the escrow Data field, and returns the is_itm flag.
The zkVM guest runs Black-Scholes in fixed-point and commits a 44-byte journal: spot u64, strike u64, vol u32, expiry u64, is_call u8, price u64, is_itm u8.
Frontend is Next.js 14 with xrpl-connect (Otsu, Crossmark, Xaman), xrpl.js@4.5.0-smartescrow.4, React Three Fiber for the 3D payoff, and Recharts for the greeks. Lifecycle: 4 transactions on L1.
Team
3david rodriguez
Carol Antonio Franco De la Quintana
Hamza EL MANAR LAALAMI
Hackathon
HACK THE BLOCK 2026 Paris Blockchain Week XRPL Hackathon
Duration
Apr 11, 6:30 AM - Apr 12, 6:00 PM UTC