All projects
VeriFlow
Fair-execution framework for cross-chain swaps using Chainlink's cryptographic anchors.
DeFi & Tokenization
What it is
VeriFlow is a decentralized cross-chain swap protocol that guarantees fair execution regardless of which solver executes your intent. Users submit swap intents on Ethereum Sepolia, solvers compete to execute them on Arbitrum, and the protocol cryptographically verifies fair pricing using Chainlink Functions
How it works:
- User submits cross-chain swap intent (tokenIn, tokenOut, amount, slippage tolerance)
- Chainlink Functions fetches real-time DEX prices and sets a fair execution band
- Multiple solvers bid to execute the swap; one is selected via Chainlink VRF (preventing front-running)
- Solver executes on Arbitrum and provides proof; CCIP bridges commitment for verification
- If execution is within fair band → Settled & Rewarded. If outside → Slashed (stake penalty)
Problem it solves:
- MEV/Front-running: VRF prevents solvers from knowing execution order until selection
- Unfair pricing: Chainlink Functions sets cryptographic price bounds BEFORE execution
- Cross-chain trust: CCIP carries commitment from Ethereum → Arbitrum for verification
- Solver accountability: Slashing mechanism (10%+ stake loss) deters malicious execution
How it Works
Smart Contracts (Solidity 0.8.24):
- VeriFlowIntentManager.sol - Main contract handling intent lifecycle & automation
- IntentCommitment.sol - Manages Chainlink Functions integration for price bands
- SolverRegistry.sol - Staking, reputation, and slashing logic
- VRFTieBreaker.sol - VRF callback for fair solver selection
- VeriFlowSettlement.sol (Arbitrum) - Receives commitments and verifies execution
Chainlink Integration: - Functions: Fetch real-time DEX prices (UniV3/SushiSwap) → Set fair bands
- VRF: Randomly select solver from queue (unpredictable, verifiable)
- CCIP: Bridge intent + commitment from Ethereum → Arbitrum for settlement
- Automation: Monitor intent lifecycle (expiry, settlement, re-queueing)
Links
Created by
- Akhil Rawat