🔐 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
#paradigm