Measurements from public chain data. Each report states its method, its bounds, and what it does not establish.
What Vyper secures on Ethereum, who holds it, how much of that value a verified compilation mode could reach, and which contracts still run bytecode from the compilers that produced the July 2023 defect. Prepared as input to the End-to-End Formally Verified Vyper Compiler initiative, with no view on whether it should be funded.