Five years ago, I wrote on this blog about a distributed computing platform called Dr. SES (distributed resilient secure ECMAScript). The goal of Dr. SES was to build a secure distributed computing platform harnessing the power of object-capabilities to build smart contracts.
The visionary behind this project is Mark S. Miller. Back in 2013 I helped Mark put his ideas on paper.
Five years later, the rise of Bitcoin and in its wake other cryptocurrencies and blockchain technology, has all of a sudden turned smart contracts from a far-out vision into a tangible economic reality. Blockchain platforms such as Ethereum now boast turing-complete programming languages to implement smart contracts such as the one explored in our paper. Unfortunately, the world has already learned the hard way that today’s languages to implement smart contracts are extremely fragile.
If you are interested in latest developments on this work, I strongly recommend watching Mark’s Programming Secure Smart Contracts talk which he gave at SF Crypto Developers conference in October 2018. The one-hour talk offers a precise, detailed description of the entire distributed computing fabric, explaining the different layers of abstraction that allow us to build flexible electronic rights out of raw bits and bytes: