Discussions

• 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 · Unanswered

  

  

  

  

  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
• 1 You must be logged in to vote

  💬

  Advice provider, MMR, and SMT

  bobbinth started Mar 6, 2023 in General

  

  

  

  

  10
• 1 You must be logged in to vote

  💡

  Are proofs deterministic?

  matthiasgoergens started Mar 2, 2023 in Ideas

  

  

  2
• 2 You must be logged in to vote

  💡

  Compilation to MASM

  jjcnn started Feb 17, 2023 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💬

  Testing: Exposing internals and utilities

  hackaugusto started Feb 3, 2023 in General

  

  

  4
• 1 You must be logged in to vote

  💬

  Miden assembly instruction format

  hackaugusto started Feb 2, 2023 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Preferred endianness

  hackaugusto started Jan 26, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Datastructures on Miden

  hackaugusto started Jan 11, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  💡

  Nullifier scheme

  bobbinth started Oct 21, 2022 in Ideas

  

  

  

  

  12
• 3 You must be logged in to vote

  💬

  Polybase feedback

  calummoore started Nov 15, 2022 in General

  

  

  3
• 1 You must be logged in to vote

  💬

  Miden assembly serialization

  bobbinth started Sep 7, 2022 in General

  

  

  9