Skip to content

v0.12.0

Latest
Latest
Compare
Choose a tag to compare
@bobbinth bobbinth released this 22 Jan 11:10
v0.12.0
ea39c05
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

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).
Assets 2
Loading