chore: merge v0.12.0 release

0xPolygonMiden · Jan 22, 2025 · ea39c05 · ea39c05
2 parents b13ed4d + 5af5861
commit ea39c05
Show file tree

Hide file tree

Showing 244 changed files with 8,756 additions and 8,615 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,27 @@
 # Changelog
 
+## 0.12.0 (2025-01-22)
+
+#### Highlights
+- [BREAKING] Refactored memory to be element-addressable (#1598).
+
+#### Changes
+- [BREAKING] Resolved flag collision in `--verify` command and added functionality for optional input/output files (#1513).
+- [BREAKING] Refactored `MastForest` serialization/deserialization to put decorator data at the end of the binary (#1531).
+- [BREAKING] Refactored `Process` struct to no longer take ownership of the `Host` (#1571).
+- [BREAKING] Converted `ProcessState` from a trait to a struct (#1571).
+- [BREAKING] Simplified `Host` and `AdviceProvider` traits (#1572).
+- [BREAKING] Updated Winterfell dependency to v0.11 (#1586).
+- [BREAKING] Cleaned up benchmarks and examples in the `miden-vm` crate (#1587)
+- [BREAKING] Switched to `thiserror` 2.0 derive errors and refactored errors (#1588).
+- Moved handling of `FalconSigToStack` event from system event handlers to the `DefaultHost` (#1630).
+
+#### Enhancements
+- Added options `--kernel`, `--debug` and `--output` to `miden bundle` (#1447).
+- Added `miden_core::mast::MastForest::advice_map` to load it into the advice provider before the `MastForest` execution (#1574).
+- Optimized the computation of the DEEP queries in the recursive verifier (#1594).
+- Added validity checks for the inputs to the recursive verifier (#1596).
+
 ## 0.11.0 (2024-11-04)
 
 #### Enhancements
@@ -9,6 +31,7 @@
 - Debug instructions can be enabled in the cli `run` command using `--debug` flag (#1502).
 - Added support for procedure annotation (attribute) syntax to Miden Assembly (#1510).
 - Make `miden-prover::prove()` method conditionally asynchronous (#1563).
+- Update and sync the recursive verifier (#1575).
 
 #### Changes
 
@@ -27,6 +50,7 @@
 - [BREAKING] `DYNCALL` operation fixed, and now expects a memory address pointing to the procedure hash (#1535).
 - Permit child `MastNodeId`s to exceed the `MastNodeId`s of their parents (#1542).
 - Don't validate export names on `Library` deserialization (#1554)
+- Compile advice injectors down to `Emit` operations (#1581)
 
 #### Fixes
 
@@ -36,6 +60,7 @@
 - Fixed the construction of the chiplets virtual table (#1514) (#1556)
 - Fixed the construction of the chiplets bus (#1516) (#1525)
 - Decorators are now allowed in empty basic blocks (#1466)
+- Return an error if an instruction performs 2 memory accesses at the same memory address in the same cycle (#1561)
 
 ## 0.10.6 (2024-09-12) - `miden-processor` crate only