Documentation

Authoritative documents

• Whitepaper (PDF)
  sour.finance/docs/sour-flow-perps-whitepaper.pdf — the full mechanism specification: matching, settlement, funding, margin, aggregate budget, oracle binding.
• Source on GitHub
  github.com/GageBachik/sour — the Solana program in Rust, the TypeScript and Rust SDKs, the test harness, and the build scripts.
• Formal verification repo
  github.com/GageBachik/sour-verification — Kani harnesses, Lean specification of the aggregate budget, property tests. Re-runnable.
• In-app verification summary
  app.sour.finance/verification — card-by-card prose summaries of the proven invariants with deep-links into the verification repo.
• Investor pitch deck (PDF)
  sour.finance/docs/sour-investor-pitch-deck.pdf — 9-slide deck framing the mechanism for capital allocators.

Educational pages

If the whitepaper is too dense, start here.

• What are Flow Perps?
  sour.finance/learn/flow-perps — canonical reference for batch-cleared perpetual futures.
• Batch-cleared perpetuals explained
  sour.finance/learn/batch-cleared-perpetuals — how frequent batch auctions remove the front-run / back-run lanes.
• MEV-resistant by design
  sour.finance/learn/mev-resistant-by-design — why batch clearing makes sandwich attacks structurally impossible.
• No funding cron
  sour.finance/learn/no-funding-cron-perps — funding is computed inside every batch.
• Formally verified perp DEX
  sour.finance/learn/formally-verified-perp-dex — the verification record explained in full.

Operational + developer references

• Developer overview
  sour.finance/developers — REST endpoints, WebSocket, SDKs, building a bot.
• Program IDs
  sour.finance/program-ids — mainnet program ID, USDC mint, market PDAs.
• Audits & verification
  sour.finance/audits — full disclosure of formal verification scope and audit status.
• Security disclosure
  sour.finance/security — vulnerability disclosure policy and contact.
• Risks
  sour.finance/risks — leveraged-derivatives risk disclosure.