Curated list of platforms to run Smart Contracts.

"New institutions, and new ways to formalize the relationships that make up these institutions, are now 
made possible by the digital revolution. I call these new contracts "smart", because they are far more 
functional than their inanimate paper-based ancestors. No use of artificial intelligence is implied. 
A smart contract is a set of promises, specified in digital form, including protocols within which the 
parties perform on these promises."

-Nick Szabo, 1996

Smart contracts are contracts whose terms are encoded in  computer language instead of legal language. 
Smart contracts can be executed by a computing network such as RSK, so that the terms of the contracts 
are automatically enforced by a protocol that all nodes in the network follow.

A smart contract can be fully autonomous if all the objects referred (such as currency, payments, 
obligations, property titles, assets, licenses) have a digital representation in the platform. 

Source: https://faq.rsk.co/en/main/

To the extent possible under law, Igor Korsakov has waived all copyright and related or neighboring rights to this work.

Share your knowledge. Contributing guide

• https://hackernoon.com/comparison-of-smart-contract-platforms-2796e34673b7
• https://medium.com/@PaulRBerg/forget-thrones-welcome-the-game-of-smart-contracts-cf4fad9e0489
• https://medium.com/coinmonks/should-i-develop-for-blockchain-d3321a6faecd

Ethereum is a gold standard in smart contracts and has biggest capitalization among other platforms. Majority of token sales go on Ethereum platform, with recently standartized token format ERC-20.

Founded by son of russian expats in Canada Vitalik Buterin. Incorporated in Switzerland.

Docs:

• solidity.readthedocs.io
• Awesome Ethereum list

Contract examples:

• https://github.com/fivedogit/solidity-baby-steps
• https://github.com/OpenZeppelin/zeppelin-solidity/tree/master/contracts
• https://github.com/ConsenSys/

Classic appeared as a fork of main Ethereum chain (right after famous DAO hack) by a community that disagreed to alter the blockchain to get back stolen funds. ETC is still in search of its place in smart contracts world. Some engineering changes are still going under the hood (like, changing the emission and difficulty retarget algo), and developer tools are being developed. No major token crowdsales were made yet, but the community is looking forward to it.

Not incorporated.

NEO (formerly Antshares) is a Chinese answer to Ethereum. Neo is a major player in SmartContracts world and often compared to Ethereum.

First batch of supported languages is ready for production use. Second is partially ready, and third is planned.

Docs:

• docs.neo.org/en-us/sc/introduction.html

Contract examples:

• https://github.com/neo-project/examples-csharp

Ubiq functions as a fork of Ethereum codebase, with several adjustmens, fully compatible with EVM and Solidity.

Governed by Ubiq Technology Inc.

Contract examples:

• https://github.com/urbit/examples

Rootstock is a Bitcoin sidechain, adding Turing-complete language (enabling smart contracts) and ability to scale up to 20k transactions per second (eventually). Sidechain shall be secured by a merge-mining with regular Bitcoin pools.

Rootstock is very well received by community, and among all 2nd layer solutions for Bitcoin is considered to be one of the closest to completion.

Language used shall be Solidity, and RSK VM is fully compatible with Ethereum VM.

Docs:

• https://faq.rsk.co/en/main/
• https://github.com/rsksmart/rskj/wiki
• http://media.rsk.co/

Cardano claims it is the first Blockchain to use a provably secure, proof of stake algorithm. Cardano is designed in separate layers, where the 1st layer (aka Settlement Layer; PoS blockchain) is already live (as of 2017.10), and internal currency (Ada) being added to exchanges.

Second (aka computational) layer will run smart contracts using a Haskell-inspired scripting language, called Plutus, and is scheduled to release in first quarter 2018.

Governed by The Cardano Foundation, IOHK and Emurgo.

Docs:

• https://whycardano.com/
• https://cardanodocs.com/technical/plutus/introduction/

Contract examples:

• https://cardanodocs.com/technical/plutus/examples/

Exonum is an extensible open-source framework for creating blockchain applications. It is designed to allow you, your company or your government to build a tailor-cut private or permissioned blockchain.
Thus, there's no public Exonum network or traded Exonum tokens.

Exonum is developed and supported by the Bitfury Group.

Services are the main extension point for the Exonum framework. By itself, Exonum provides building 
blocks for creating blockchains; it does not come with any concrete transaction processing rules. 
This is where services come into play. If you want to create an instance of the Exonum blockchain, 
services are the way to go.

Endpoints defined by services fulfill the same role as smart contracts in other blockchain platforms. 
They define business logic of the blockchain, allow to retrieve data from the blockchain, and can be 
reused across different projects. Partial analogies for this execution model are endpoints of RESTful 
web services and stored procedures for DBMSs.

Docs:

• https://exonum.com/doc/architecture/services/
• https://exonum.com/doc/get-started/design-overview/#smart-contracting

Contract examples:

• https://exonum.com/doc/get-started/create-service/

BitShares 2.0 is the first application of Graphene technology.

Qtum is a hybrid blockchain application platform. Qtum’s core technology combines a fork of bitcoin core, an Account Abstraction Layer allowing for multiple Virtual Machines including the Ethereum Virtual Machine (EVM) and Proof-of-Stake consensus.

Qtum smart contracts aim to be compatible with existing Ethereum contracts.

Main selling points of Qtum is: lite mobile wallets that can execute smart contracts; compatibility with existing bitcoin infrastructure/tools (since Qtum forked off bitcoin, and aims to adopt most of bitcoin BIPs).

Qtum started in 2016, in 2017.03 Qtum had a crowdsale distributng their tokens. Main net launched on 2017.10.

Waves is a PoS blockchain specifically designed to issue tokens (and run ICOs). Some of the largest ICOs were run on Waves Platform. Users can also lease funds to miners o generate interest. There's also a decentralized exchange (DEX) with front-run protection, and gateways to common fiat currencies.

Non-Turing-complete smart contracts support was launched on TestNet on May 3, 2018.

Docs:

• https://github.com/wavesplatform/Waves/wiki/Waves-Node-REST-API
• https://github.com/wavesplatform/Waves/wiki/Matcher

Ivy: a smart contract language that compiles to Bitcoin Script

Docs:

• https://blog.chain.com/ivy-for-bitcoin-a-smart-contract-language-that-compiles-to-bitcoin-script-bec06377141a
• https://docs.ivy-lang.org/bitcoin/

Online tool:

• https://ivy-lang.org/bitcoin

Balzac: an high-level language for writing transactions, verifying their correctness, and compiling them into actual Bitcoin transactions.

Docs:

• https://blockchain.unica.it/balzac/docs/

Online tool:

• https://blockchain.unica.it/balzac/

The Neblio network has an assortment of services that deploy blockchain technology. Simply put, it is an API suite, hosting platform, consultancy service provider, Node deployment base as well as a private blockchain DApps.

Neblio uses RESTful APIs to give maximum compatibility to almost any language.

Docs:

• https://nebl.io
• https://nebl.io/wp-content/uploads/2017/07/NeblioWhitepaper.pdf
• https://github.com/NeblioTeam
• https://neblio.wiki