Skip to main content

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
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
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
1 vote
1 answer
165 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