Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more

Questions tagged [simplicity]

Simplicity is a work-in-progress programming language proposed as a more flexible and expressive alternative to Bitcoin Script.

Filter by
Sorted by
Tagged with
8 votes
1 answer
317 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 ...
Michael Folkson's user avatar
5 votes
1 answer
177 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 ...
MCCCS's user avatar
  • 10.2k
5 votes
1 answer
151 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 ...
Janus Troelsen's user avatar
4 votes
3 answers
1k views

Is bitcoin script necessary?

satoshi created bitcoin script which is the language that the bitcoin client uses to handle most of the operations such as sending or verifying transactions. was it necessary to have another language ...
ezio's user avatar
  • 193
2 votes
1 answer
47 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 ...
Janus Troelsen's user avatar
2 votes
0 answers
28 views

Simplicity vs Miniscript [duplicate]

It is clear that both simplicity and Miniscript aims to extend and improve upon the bitcoin script. However what are the differences between them and the pros and cons they both have against the other?...
Miyamoto Musashi's user avatar
1 vote
1 answer
195 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 ...
BlueTang's user avatar
1 vote
1 answer
62 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 @...
Janus Troelsen's user avatar
1 vote
1 answer
159 views

Is it possible to design a recursive covenant opcode that results in a full node stuck in an infinite verification loop?

Is it possible to design a new opcode enabling recursive covenants that could result in a full node stuck in an infinite loop of verifying transactions? (Obviously this would never be considered for a ...
Michael Folkson's user avatar
0 votes
1 answer
91 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 ...
Michael Folkson's user avatar