v1.5.0

Added

• Formal verification of the RV32IM VM extension in Lean.

Changed

• Updated Plonky3 to crates.io v0.4.1.
• Updated STARK protocol to 100 bits of provable security with FRI.
• (Verifier/CLI) The Halo2ProvingKey and Halo2Verifier.sol verifier contract generated by the CLI now requires wrapper_k = 24.

All users are recommended to upgrade to the new v1.5.0 release such that the STARK backend targets 100 bits of provable security.

What's Changed

• feat: add instruction count table to openvm-prof by @876pol in #2342
• chore: add SWIRL link to docs by @yi-sun in #2380
• release: v1.5.0-rc.0 by @jonathanpwang in #2331
• feat: update plonky3 to 0.4 by @zlangley in #2293
• feat: update to provable params by @zlangley in #2301
• feat(recursion): add DEEP PoW witness verification by @jonathanpwang in #2361
• fix: allow cli prove without source code by @luffykai in #2344
• fix(cli): increase max trusted setup to download by @jonathanpwang in #2387
• chore: prove stark with configurable agg pk path by @luffykai in #2383
• perf(vm): avoid zeroed allocation in BasicMemory::clone by @MozirDmitriy in #2352
• chore: make config per version by @luffykai in #2390
• release: v1.5.0 by @jonathanpwang in #2394

New Contributors

• @MozirDmitriy made their first contribution in #2352

Full Changelog: v1.4.3...v1.5.0