FIPS 140 Security Requirements, Levels, and Validation
The final milestone requires 128-bit provable security, with proof sizes limited to 300 kilobytes, and formal security arguments for recursion soundness by year-end 2026. The first milestone requires zkEVM teams to integrate their proof system components with soundcalc, a newly created security estimation tool, by the end of February 2026. Despite these performance achievements, the