salo

Formal verification of real-world software

The same proofs.
A fraction of the cost.

Built on a new proving architecture that reduces verification effort, allowing us to deliver formal verification faster and at lower cost.

One universal proving engine.
Any language. Any blockchain.

  • EVM
  • Solana
  • Bitcoin
  • Not listed? Yes.

Think formal verification is too expensive? We disagree. Let’s talk ↗

See how it works ↗

Real-world verification

Verified properties in real-world codebases.

Blockchain protocols and infrastructure

Reserve, Lido, Uniswap, Coinbase Smart Wallet, LFJ, Drips, Aave, LayerZero, Symbiotic, and OpenZeppelin

Large-scale systems software

10K+LOC

SQLite, OpenSSL, libpng, Lua, and PHP

From financial protocols to mature systems software, Salo verifies properties in complex code at real-world scale.

About Salo

Built by researchers and engineers.

Our team includes academics and engineers with PhDs and master’s degrees, bringing together research at MIT, Columbia, and the Max Planck Institute with production engineering at Google, Amazon, and Bloomberg.

Think formal verification is too expensive? We disagree. Let’s talk ↗