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:

  1. User submits cross-chain swap intent (tokenIn, tokenOut, amount, slippage tolerance)
  2. Chainlink Functions fetches real-time DEX prices and sets a fair execution band
  3. Multiple solvers bid to execute the swap; one is selected via Chainlink VRF (preventing front-running)
  4. Solver executes on Arbitrum and provides proof; CCIP bridges commitment for verification
  5. 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