Study Estimates Verifying All of nixpkgs Would Cost Hundreds of Millions

Theorem's study models formal verification of the entire nixpkgs stack, estimating $134M to verify 95% of machine code by end of 2027, and about $400M over 5 years to verify everything.

2026-09-30 ~ 2026-10-01 · 2 related posts

• Verifying all of nixpkgs: 95% of machine code for ~$134M by end of 2027, study models — ctjlewis · 2026-09-30
• Verifying all of nixpkgs would cost ~$400M, Theorem study estimates — ChrSzegedy · 2026-10-01