Questions tagged [simplicity]
Simplicity is a work-in-progress programming language proposed as a more flexible and expressive alternative to Bitcoin Script.
10
questions
3
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 ...
- 183
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?...
0
votes
1
answer
124
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 ...
- 14.5k
0
votes
1
answer
85
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 ...
- 14.5k
1
vote
1
answer
187
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 ...
- 11
8
votes
1
answer
313
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 ...
- 14.5k
5
votes
1
answer
168
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 ...
- 10.1k
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 ...
- 899
1
vote
1
answer
61
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 @...
- 899
5
votes
1
answer
150
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 ...
- 899