Simplicity: A New Language for Blockchains Introduces Simplicity as a new smart contracting language offering formal verifiability, better safety guarantees, and greater expressiveness than Bitcoin Script. - Blockstream Team Was this page helpful? Thanks for your feedback! Thanks for your feedback! Help us improve this page by logging a documentation issue.