v0.36.0

Issues

• Require constant declarations to be typed

  assembly
  Enhancement

  0xMiden/miden-vm#3068 · Filter by author bitwalker opened on Apr 28, 2026 · v0.36.0
  4

  

• Investigate introducing a robust resource consumption operation

  aircoreprocessor
  Feature

  0xMiden/miden-vm#2889 · Filter by author plafer opened on Mar 20, 2026 · v0.36.0
  2

• Split circuit evaluation in "pure execution" vs "trace generation"

  processor
  Refactoring

  0xMiden/miden-vm#2677 · Filter by author plafer opened on Feb 11, 2026 · v0.36.0

• Windows checkout fails because generated snapshot paths exceed default path length

  0xMiden/miden-vm#3602 · Filter by author omerbek opened on Aug 12, 2026 · v0.36.0
  5

• Finalize separation of EC keys used for DSA and ECDH purposes

  signatures
  Refactoring

  0xMiden/miden-vm#3525 · Filter by author bobbinth opened on Apr 18, 2026 · v0.36.0
  1

• MmrPeaks::hash_peaks doesn't bind forest shape, allowing collision between structurally distinct MMRs

  corelibmerkle
  Refactoring

  0xMiden/miden-vm#3512 · Filter by author huitseeker opened on Mar 1, 2026 · v0.36.0
  14

• Investigate embedding signature scheme type into public key commitments

  corelibsignatures
  Enhancement

  0xMiden/miden-vm#3509 · Filter by author bobbinth opened on Jan 29, 2026 · v0.36.0
  9

• Clean up ExecutionOptions

  processor
  Refactoring

  0xMiden/miden-vm#3116 · Filter by author huitseeker opened on May 7, 2026 · v0.36.0
  2

• Bring advice map entries into alignment with other module items in the AST

  assembly
  Refactoring

  0xMiden/miden-vm#2566 · Filter by author bitwalker opened on Jan 9, 2026 · v0.36.0
  3

  

• Clarify behavior for empty begin/while/repeat blocks in MASM (tests still ignored)

  0xMiden/miden-vm#3094 · Filter by author addnad opened on May 5, 2026 · v0.36.0
  5

  

• Simplify ACE codegen error handling

  airprecompilesrecursive verifier
  Refactoring

  0xMiden/miden-vm#3419 · Filter by author adr1anh opened on Jul 23, 2026 · v0.36.0

• Flag unused masm imports (exempt reachable pub use)

  assembly
  Feature

  0xMiden/miden-vm#3302 · Filter by author partylikeits1983 opened on Jun 29, 2026 · v0.36.0
  1

• Check user doc cycle counts against source of truth

  documentationtests
  0xMiden/miden-vm#3111 · Filter by author huitseeker opened on May 7, 2026 · v0.36.0
  2

  

• Model public inputs per AIR in multi-AIR statements

  airprover
  0xMiden/miden-vm#3410 · Filter by author adr1anh opened on Jul 21, 2026 · v0.36.0
  

• Simplify structure of basic block nodes

  coreprocessor
  Refactoring

  0xMiden/miden-vm#2109 · Filter by author bobbinth opened on Aug 30, 2025 · v0.36.0
  3

• Repack precompiles-prover lookup columns after #3412

  airprecompilesprover
  0xMiden/miden-vm#3417 · Filter by author adr1anh opened on Jul 23, 2026 · v0.36.0

• AssemblyOp::location is "dangling" when executed on another machine

  debuggingdocumentation
  0xMiden/miden-vm#1714 · Filter by author plafer opened on Mar 20, 2025 · v0.36.0
  7

  

• Decide on safe proof size limit

  prover
  Refactoring

  0xMiden/miden-vm#3153 · Filter by author huitseeker opened on May 15, 2026 · v0.36.0
  4

  

• Investigate removing AceReplay from TraceGenerationContext

  processor
  Refactoring

  0xMiden/miden-vm#2255 · Filter by author plafer opened on Oct 3, 2025 · v0.36.0
  1

  

• Stark proof: deduplicate rows for lifted traces

  starks
  Enhancement

  0xMiden/miden-vm#3524 · Filter by author adr1anh opened on Apr 14, 2026 · v0.36.0
  1

• compile writes a .masb artifact that no other CLI command can read

  0xMiden/miden-vm#3660 · Filter by author Ruzzgar opened on Aug 17, 2026 · v0.36.0
  6

  

• air: domain-separate bus messages by interaction namespace, not by bus type

  air
  Enhancement

  0xMiden/miden-vm#3012 · Filter by author adr1anh opened on Apr 17, 2026 · v0.36.0

• Implement soundness calculator

  starks
  Feature

  0xMiden/miden-vm#3522 · Filter by author adr1anh opened on Apr 9, 2026 · v0.36.0
  4

  

• Warn about unused constants

  assemblygood first issue
  Enhancement

  0xMiden/miden-vm#2898 · Filter by author PhilippGackstatter opened on Mar 23, 2026 · v0.36.0
  5

  

• Define and enforce aggregate execution-proof resource limits

  prover
  0xMiden/miden-vm#3458 · Filter by author adr1anh opened on Aug 4, 2026 · v0.36.0