🔐 **Paradigm Launches Solidus: An AI-Verified Solidity Compiler Built via Automated Research**

Paradigm open-sourced **Solidus**, a Solidity-to-EVM compiler built and formally verified in Lean — built almost entirely by AI agents.
• The project consumed **1,700+ hours** (~$150K in API costs) of Codex compute, with an assist from Claude Fable 5 on final proofs.
• The verified backend still produces **~3x** more bytecode than solc — hence two new public challenges: Spec Hunt and Compiler Optimization.
• Goal: prevent compiler bugs like the _$50M+ Vyper exploit_ of 2023 by proving compiler correctness mathematically.

**💡 Why it matters:** A formally verified compiler — largely written by AI — is a concrete signal that 'automated research' is moving from hype to shipped infrastructure in crypto's most security-critical layer.

[🔗 Read more](/leaving?url=aHR0cHM6Ly93d3cucGFyYWRpZ20ueHl6L3dyaXRpbmcvc29saWR1cw==)
[#paradigm](/search?q=%23paradigm)