Discussions

• 1 You must be logged in to vote

  💡

  Principled discussion of state changes

  matthiasgoergens started Jun 19, 2024 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  RFC: Native execution via connected Orchestrators and Canister repositories

  supragya started May 20, 2024 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💬

  Cross program calls: examples

  matthiasgoergens started Mar 1, 2024 in General

  

  

  7
• 1 You must be logged in to vote

  💡

  Double up Cross-table Lookups

  matthiasgoergens started Apr 15, 2024 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Shortcut rangechecking for small values

  matthiasgoergens started Mar 25, 2024 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Tying event tape commitment as part of vm proof

  codeblooded1729 started Mar 19, 2024 in Ideas

  

  

  5
• 2 You must be logged in to vote

  💡

  Combine register stark with preserving ecalls

  matthiasgoergens started Mar 6, 2024 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Constraints related to multiplication instructions in 32 bit RiscV M extension

  vivekvpandya started Aug 17, 2023 in Ideas

  

  

  3
• 1 You must be logged in to vote

  💡

  Constraints for memory ops:

  vivekvpandya started Aug 22, 2023 in Ideas

  

  

  2
• 2 You must be logged in to vote

  💡

  Constraints for conditionals

  vivekvpandya started Jun 22, 2023 in Ideas

  

  

  2
• 1 You must be logged in to vote

  💡

  Design of traces

  matthiasgoergens started May 23, 2023 in Ideas

  

  

  

  

  10
• 1 You must be logged in to vote

  💡

  Lookups

  spiral-ladder started Jun 5, 2023 in Ideas

  

  

  4
• 1 You must be logged in to vote

  💬

  How prover convince verifier that it has indeed executed given program in a VM?

  vivekvpandya started May 30, 2023 in General

  

  

  4
• 1 You must be logged in to vote

  💡

  Guess-and-check programming

  matthiasgoergens started May 23, 2023 in Ideas

  

  

  0
• 1 You must be logged in to vote

  📣

  Welcome to Mozak VM Discussions!

  jdkanani announced May 10, 2023 in Announcements

  

  

  0