Skip to main content

Posts

Showing posts with the label Simplicity

Introducing a Programming Language so Simple, It “Fits on a T-shirt”

Blockstream  Blockstream is  introducing Simplicity , a new programming language for blockchain-based smart contracts, intended for inclusion in Blockstream’s sidechains and eventually in Bitcoin. The new language was presented by its creator, Russell O'Connor, Infrastructure Tech Developer at Blockstream, at the ACM SIGSAC Workshop on Programming Languages and Analysis for Security ( PLAS 2017 ). "Simplicity is a blockchain programming language that is so simple, it fits on a t-shirt,” O'Connor told  Bitcoin Magazine . “It is critical that smart contracts behave in ways that all participants expect, and applying formal verification to Simplicity allows us to achieve that.” Simplicity is still a Blockstream Research & Development project, but there’s potential for its use in Blockstream products in the future, according to the company’s announcement. “Simplicity is flexible enough that I anticipate many new, domain-specific, languages will generate Simplicity, an...