Runtime for DeFi

Runtime for DeFi Security Assumptions.

IVP continuously evaluates protocol assumptions against live state and produces runtime evidence.

Know what remains true.

View Live Runtime → Explore Assumption Atlas

Know what
remains true.

39Assumption
Families
129Invariants
181Constraints
4Guardian Signals
Generated

Protocol Security Surface

  • Solvency
  • Liquidity
  • Accounting Integrity
  • Oracle Integrity
  • Liquidation Safety
  • Governance Safety
  • Upgrade Safety
  • Share Accounting
  • Access Control
  • Composability

Protocol Coverage

View all protocols →

ISL

The language for protocol assumptions.

Solidity defines what a protocol can do. ISL defines what must remain true. IVP continuously evaluates those assumptions against live protocol state.

Explore ISL →

Assumption Atlas

Browse Atlas →
Solvency →Governance Safety → Liquidity →Upgrade Safety → Oracle Integrity →Access Control → Liquidation Safety →Permission Drift → Debt Accounting →Composability →