Questions tagged [simplicity]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0
votes
1answer
18 views

How would new jets for Simplicity be soft forked in? What prevents a miner from mining a new jet?

What is the current thinking on how new jets for Simplicity would be soft forked into Bitcoin (in a speculative future where Simplicity was already itself soft forked into Bitcoin)? What would happen ...
1
vote
1answer
63 views

Difference and resources for Miniscript and Simplicity?

I have read about that it is a language for writing Bitcoin Scripts in a structured way, enabling analysis, composition, generic signing and more. http://bitcoin.sipa.be/miniscript/ is helpful but ...
8
votes
1answer
271 views

In theory could we skip the proposed Taproot soft fork, activate Simplicity instead and use Simplicity to write the equivalent of Taproot scripts?

In theory could we skip the proposed Taproot soft fork, activate Simplicity instead and use Simplicity to write the equivalent of Taproot scripts? Or does Simplicity need more development and ...
4
votes
1answer
138 views

How is Simplicity better suited for static analysis compared to script?

Quoted from the whitepaper, one of the design goals of Simplicity is: Provide formal semantics that facilitate easy reasoning about programs using existing off-the-shelf proof-assistant ...
2
votes
1answer
38 views

Pruning a Simplicity case expression

I am trying to spend from a branched Simplicity program, but I don't wanna supply the signatures in the untaken branch, so I am trying to prune the program by hand. I have verified that I can take the ...
1
vote
1answer
52 views

Intuition for Simplicity's CheckSigHashAll

So, I downloaded Simplicity and started a REPL using cabal new-repl Simplicity. Then I enabled type applications using :set -XTypeApplications. Consider these invocations: > (pkwCheckSigHashAll @...
5
votes
1answer
127 views

How does Elements integrate Simplicity?

Greg Maxwell noted that there are two ways to integrate Simplicity into Bitcoin. One is to make only a few select high-level constructs available (like SHA256, CheckSigHashAll), the other is to expose ...