๐ 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