Discussions

• 2 You must be logged in to vote

  🙏

  What is the implemented feature set of Simplicity as of today?

  michaelfolkson asked Nov 16, 2022 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  💬

  Is it theoretically possible to have a better Operational Semantics than the BitMachine

  ProofOfKeags started May 5, 2022 in General

  

  

  

  

  16
• 1 You must be logged in to vote

  🙏

  What's the purpose of the Simplicity jets for Miniscript translation?

  michaelfolkson asked Nov 16, 2022 in Q&A · Answered

  

  

  

  

  7
• 2 You must be logged in to vote

  🙏

  Are low-level Jets feasible?

  hsjoberg asked May 12, 2022 in Q&A · Answered

  

  

  

  

  3
• 2 You must be logged in to vote

  🙏

  What would be an example of a thing we can prove with Simplicity and Coq?

  fiatjaf asked Apr 9, 2022 in Q&A · Unanswered

  

  

  

  

  2
• 1 You must be logged in to vote

  🙏

  What is the purpose of the 3 different codebases?

  ProofOfKeags asked Mar 30, 2022 in Q&A · Answered

  

  

  

  

  5
• 2 You must be logged in to vote

  🙏

  Are programs going to be huge?

  fiatjaf asked Mar 30, 2022 in Q&A · Unanswered

  

  

  

  

  5
• 1 You must be logged in to vote

  🙏

  How do you put witness data into programs?

  fiatjaf asked Mar 30, 2022 in Q&A · Unanswered

  

  

  

  

  3
• 5 You must be logged in to vote

  📣

  Welcome to Simplicity Discussions!

  roconnor-blockstream announced Mar 30, 2022 in Announcements

  

  

  0