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, and this will give users the freedom to generate smart contracts using the tools that most suit their needs," added O'Connor.

O'Connor’s paper, titled “Simplicity: A New Language for Blockchains,” presents Simplicity as “a new programming language, designed to be used for cryptocurrencies and blockchain applications, which aims to improve upon existing cryptocurrency languages, such as Bitcoin Script and Ethereum’s EVM [virtual machine], while avoiding some of the problems they face.”

Bitcoin script is limited by design and unsuitable for complex smart contracts that need more than a small set of simple templates to perform tasks like digital signature verification. Ethereum, on the other hand, includes a more expressive and flexible, Turing-complete programming language, which allows for arbitrarily complex smart-contracts in principle.

But, in practice, Ethereum doesn’t support static analysis to pre-determine the computing resources that a program will require and, thus, filter out too costly contracts and infinite loops. Therefore, pre-paid “gas” fees are lost when an Ethereum program “runs out of gas.” The simpler Bitcoin scripting, which supports static analysis, doesn’t present similar issues.

In a post to the bitcoin-dev mailing list, O'Connor proposed Simplicity as an alternative to Bitcoin Script, noting that static analysis is important for both node operators and for Simplicity program designers.

“Static analysis is a technique that provides a universal algorithm to determine how much any Simplicity program will cost to run before you stake your money on it,” O'Connor told Bitcoin Magazine.

Simplicity can be seen as a more flexible alternative to Bitcoin scripting, not Turing-complete but expressive enough to build useful smart contracts for blockchain applications, or as an alternative to Ethereum, which will support static analysis and other desirable features including improved safety, formal semantics, and Merkelized Abstract Syntax Trees (MASTs).

While Simplicity is intended as a low-level language for smart contracts, O’Connor envisages the possibility of compiling programs written in higher-level languages (like Ethereum’s Solidity) to Simplicity.

“Ivy and the Σ-State Authentication Language are existing programming language development efforts that may be suitable for being compiled to Simplicity,” notes O’Connor in the paper. “For the time being, generating Simplicity with our [Haskell] and [Coq] libraries is possible.”

The next step in Simplicity’s development will be a bare-bones SDK (Software Developer Kit) that will include formal semantics and correctness proofs in Coq, a Haskell implementation for constructing Simplicity programs and a C interpreter for Simplicity. Then, the new language will be ready for initial deployment in the Elements project, Blockstream’s open-source codebase for sidechains, so that developers can start experimenting with the code.

But, as O’Connor stated on bitcoin-dev, “Only after extensive vetting would it be suitable to consider Simplicity for inclusion in Bitcoin.”

Bitcoin Laundering” Study: Where Do Criminals Turn to Mask Illicit Cryptoassets?

A recent study ( PDF ) from the Foundation for Defense of Democracies’ Center on Sanctions and Illicit Finance and blockchain analytics company Elliptic explored the “bitcoin laundering” ecosystem. In the study, Elliptic’s forensic analysis of the Bitcoin blockchain and other publicly available data were used to track the flows of illicit funds from 2013 to 2016. “This study aimed to identify where individuals turn in order to cash out or transmit bitcoins (BTC) acquired from illicit entities and to discover typologies for criminals ‘laundering’ bitcoins,” the report says. The study describes bitcoin laundering as a special type of money laundering that exists within the Bitcoin network where a user moves some bitcoins to a new address in a manner that obscures the original source of funds. The conversion of bitcoins into fiat currency on exchanges that lack adequate anti-money laundering (AML) and know-your-customer (KYC) policies can also fall under the category ...

Soaring Bitcoin Price Leads $159 Billion Crypto Market Recovery

Bitcoin Well, somebody bought the dip. Just as critics were rushing to proclaim that the bitcoin bubble had burst, the markets staged a $159 billion recovery. The rally was headlined by the bitcoin price, which rebounded from its sub-$10,000 fling and is currently flirting with $12,000. Several other top-tier coins, meanwhile, returned single day increases in excess of 40 percent. Source: CoinMarketCap Altogether, the cryptocurrency market cap clawed its way back to $574 billion, representing a 38 percent recovery from Wednesday’s intraday low of $415 billion. Bitcoin Price Eyes $12,000 Wednesday served as a trial-by-fire for recent bitcoin investors, some of whom had purchased the flagship cryptocurrency for $19,000 at the height of the rally in mid-December. Bitcoin Price Chart The correction forced the bitcoin price below $10,000 for the first time since early December, but Thursday’s rally enabled bitcoin to regain a bit...

How to Boost Your Credit—or Build it Up From Nothing

Now that you know how credit works , you probably want to know how to make it work better . While nothing is better for your credit than paying your bills in full and on time, there are ways to give it a boost. Like it or not, credit matters . It’s also complicated. In our “Everything You Need to Know About Credit” series, we’re breaking down the basics. When a lender or landlord looks at your credit, they’re not just looking for a three digit number, they want to know how you actually handle credit. That’s why your credit report is more important than your score. That said, your score matters, too, and the good news is, there are shortcuts for boosting it in a relatively short amount of time. And if you don’t have credit at all — let’s say you’re a teenager about to start college — your biggest focus should be on building up a credit history. That way you can apply for student loans, apartments, and make sure you aren’t gouged on bills . Here are some options...

Gsbt

Search This Blog