prover: v15.0.0

15.0.0 (2024-06-14)

⚠ BREAKING CHANGES

• updated boojum and nightly rust compiler (#2126)

Features

• added debug_proof to prover_cli (#2052) (b1ad01b)
• faster & cleaner VK generation (#2084) (89c8cac)
• node: Move some stuff around (#2151) (bad5a6c)
• object-store: Allow caching object store objects locally (#2153) (6c6e65c)
• proof_data_handler: add new endpoints to the TEE prover interface API (#1993) (eca98cc)
• prover: Add file based config for fri prover gateway (#2150) (81ffc6a)
• prover: file based configs for witness generator (#2161) (24b8f93)
• support debugging of recursive circuits in prover_cli (#2217) (7d2e12d)
• updated boojum and nightly rust compiler (#2126) (9e39f13)
• verification of L1Batch witness (BFT-471) - attempt 2 (#2232) (dbcf3c6)
• verification of L1Batch witness (BFT-471) (#2019) (6cc5455)

Bug Fixes

• config: Split object stores (#2187) (9bcdabc)
• prover_cli: Fix delete command (#2119) (214f981)
• prover_cli: Fix the issues with home path (#2104) (1e18af2)
• prover: config (#2165) (e5daf8e)
• prover: Disallow state changes from successful (#2233) (2488a76)
• Treat 502s and 503s as transient for GCS OS (#2202) (0a12c52)

Reverts

• verification of L1Batch witness (BFT-471) (#2230) (227e101)