https://en.bitcoin.it/w/index.php?action=history&feed=atom&title=Simplicity 2026-09-07T14:01:03Z Revision history for this page on the wiki MediaWiki 1.43.9 https://en.bitcoin.it/w/index.php?title=Simplicity&diff=71167&oldid=prev 2026-09-06T03:27:49Z

<p>create Simplicity stub (combinator language, Liquid not mainnet)</p> <p><b>New page</b></p><div>&#039;&#039;&#039;Simplicity&#039;&#039;&#039; is a typed, combinator-based functional blockchain language designed by Russell O&#039;Connor as an alternative to Bitcoin [[Script]] and Tapscript. Programs are built from a small set of combinators without loops or recursion. The language is deliberately not Turing complete, yet it can express any finitary function. Formal denotational semantics in a proof assistant and an operational cost model called the Bit Machine support static resource bounds and machine-checkable reasoning about contract behavior.<br /> <br /> Simplicity is intended eventually to appear as a versioned leaf alongside Script inside [[Taproot]] trees on Bitcoin. As of the Liquid Network deployment, it runs on that sidechain&#039;s consensus rules rather than on Bitcoin mainnet. Jets provide optimized implementations of recognized subexpressions such as cryptographic primitives. Higher-level languages such as SimplicityHL compile down to Simplicity. Mainnet Bitcoin would need a consensus definition of the leaf version, cost model, and jet set before transactions could execute Simplicity programs under Bitcoin consensus.<br /> <br /> == See also ==<br /> <br /> * [[Script]]<br /> * [[Taproot]]<br /> <br /> == External links ==<br /> <br /> * [https://arxiv.org/abs/1711.03028 Simplicity: A New Language for Blockchains (paper)]<br /> * [https://github.com/BlockstreamResearch/Simplicity BlockstreamResearch/Simplicity]<br /> * [https://simplicity-lang.org/ Simplicity language site]<br /> <br /> [[Category:Technical]]</div>

NotATether