Discussions

• 1 You must be logged in to vote

  💡

  Precompile VM architecture design

  adr1anh started Apr 14, 2026 in Ideas

  

  

  3
• 1 You must be logged in to vote

  💡

  [RFC] Streamed per-segment trace generation for parallel STARK proving (Winterfell)

  yoozzeek started Nov 28, 2025 in Ideas · Closed

  

  

  2
• 1 You must be logged in to vote

  💬

  Precompile support

  processor Related to Miden VM processor air Related to Miden AIR and constraints

  adr1anh started May 5, 2025 in General

  

  

  2
• 1 You must be logged in to vote

  🙏

  Setup & configuration

  swaploard asked Nov 14, 2025 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  💬

  Ordering of elements on the stack

  bobbinth started Aug 7, 2025 in General

  

  

  

  

  14
• 1 You must be logged in to vote

  💡

  Introduce Pre-commit Hooks

  dhananjaypai08 started Jul 12, 2025 in Ideas

  

  

  1
• 2 You must be logged in to vote

  💬

  Processor: Providing an async API

  plafer started Jun 26, 2025 in General

  

  

  

  

  10
• 1 You must be logged in to vote

  💬

  Plonky3

  adr1anh started Jun 6, 2025 in General

  

  

  4
• 4 You must be logged in to vote

  💡

  Split Miden Package

  greenhat started Mar 26, 2025 in Ideas

  

  

  

  

  4
• 3 You must be logged in to vote

  💬

  Proposal: Improving Milestone Workflow in the VM

  plafer started Mar 28, 2025 in General

  

  

  1
• 1 You must be logged in to vote

  💡

  Communicating with the host

  hackaugusto started Mar 8, 2023 in Ideas · Closed

  

  

  2
• 2 You must be logged in to vote

  💡

  RFC: Component Model for Miden

  bitwalker started Dec 3, 2023 in Ideas

  

  

  10
• 1 You must be logged in to vote

  🙏

  Export Miden VM Verifier to Solidity

  jeljelih asked Dec 12, 2023 in Q&A · Answered

  

  

  2
• 3 You must be logged in to vote

  💡

  Epoch-based nullifier database

  maxgillett started Aug 5, 2022 in Ideas

  

  

  

  

  3
• 1 You must be logged in to vote

  💬

  Miden assembly style guidelines

  hackaugusto started Feb 14, 2023 in General

  

  

  

  

  20
• 3 You must be logged in to vote

  🙌

  Running TypeScript code on Miden

  cf started Sep 22, 2023 in Show and tell

  

  

  3
• 1 You must be logged in to vote

  💬

  Format for the use statements on rust code

  hackaugusto started Aug 15, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  🙌

  Compiling Rust and other high-level languages to Miden VM

  greenhat started Jun 23, 2023 in Show and tell

  

  

  7
• 1 You must be logged in to vote

  💡

  Variable length procedure locals

  hackaugusto started Jul 10, 2023 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  CodeBlock source mapping

  vlopes11 started Apr 17, 2023 in Ideas

  

  

  15
• 1 You must be logged in to vote

  🙏

  questions about range check design

  spartucus asked Jun 8, 2022 in Q&A · Answered

  

  

  

  

  4
• 1 You must be logged in to vote

  💡

  Relax restriction on procedure use before definition

  bitwalker started Mar 24, 2023 in Ideas

  

  

  1
• 1 You must be logged in to vote

  🙏

  Questions regarding call, exec, and a potentially missing variant

  bitwalker asked Mar 24, 2023 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Procedure locals, memory, and how they interact with the execution trace/proof

  bitwalker asked Mar 24, 2023 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  💡

  Unified stdlib procedures call and VM instructions syntax

  hackaugusto started Mar 6, 2023 in Ideas

  

  

  3