BlockstreamResearch simplicity Q A · Discussions · GitHub

Welcome to Simplicity Discussions!
Announcements roconnor-blockstream

Sort by: Latest activity

Categories

Community guidelines

Q&A Discussions

Ask the community for help

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

Are low-level Jets feasible?

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

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

Are programs going to be huge?

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

5
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