π 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