Discussions

• 1 You must be logged in to vote

  🙏

  Can Bitcoin Script be expressed in Simplicity?

  seedhammer asked Dec 31, 2025 in Q&A · Answered

  

  

  

  

  8
• 2 You must be logged in to vote

  #️⃣

  Delving Simplicity Part Ⅴ: Programs and Addresses

  roconnor-blockstream announced Nov 17, 2025 in Delving Simplicity

  

  

  0
• 1 You must be logged in to vote

  #️⃣

  Delving Simplicity Part Ⅳ:Two Side Effects

  roconnor-blockstream announced Nov 3, 2025 in Delving Simplicity

  

  

  0
• 1 You must be logged in to vote

  #️⃣

  Delving Simplicity Part Ⅲ: Building Data Types

  roconnor-blockstream announced Sep 3, 2025 in Delving Simplicity

  

  

  0
• 1 You must be logged in to vote

  #️⃣

  Delving Simplicity Part Ⅱ: Combinator Completeness of Simplicity

  roconnor-blockstream announced Aug 18, 2025 in Delving Simplicity

  

  

  0
• 2 You must be logged in to vote

  #️⃣

  Delving Simplicity Part Ⅰ: Three Fundamental Ways of Combining Computations

  roconnor-blockstream announced Aug 6, 2025 in Delving Simplicity

  

  

  0
• 1 You must be logged in to vote

  💬

  Combinatorial generation of Simplicity types and values

  apoelstra started Sep 12, 2024 in General

  

  

  1
• 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