Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
305 lines (220 sloc) 26.1 KB
layout title description excerpt header toc_sticky author_profile permalink redirect_from canonical_url categories tags
Smart Contract History and Related Resources
From Szabo and E Lang - to Ethereum, the DAO, Smart Signatures, and the Cambrian Explosion.
The capability paradigm is about access control. When a system, such as an OS or a website, is presented with a request for a service it provides, it needs to decide if it should actually do what the requestor is asking for.
Smart Contracts

I was writing this basic introduction, Smart Contracts: Use cases, and DApps

Smart contracts are self-executing code that defines and executes an agreement between multiple parties. That code contains simple “if/when…then…” statements executed within a distributed network that achieves consensus on transactions made within it.

When I came across:

    • A Next Generation Smart Contract and Decentralized Application Platform (Vitaliks ANN post on lambda-the-ultimate)

      Smart contracts and related languages have a long discussion history on LtU

Which took me down the rabbithole and led to the creation of this resource.

Source Crypto

I collect links in the SourceCrypto Discord Server #smart-contracts channel, and occasionally I export them to this website:

You can expect that page and the discord server to have information that isn't on this page, as exporting the contents of a discord server is faster than sorting through it all and updating each individual page.

However, sooon this Bitcoin History is gonna get filled out proper...

Smart Contract History

VatA (the donor) deposits a reference to gift at nonce in VatC's (the host's) from-VatA-for-VatB table, and returns a Vine for the gift-entry.

Object Capabilities (ObCap)

The object-capability model was first proposed by Jack Dennis and Earl C. Van Horn in the 1966 paper.

  • Programming Semantics for Multiprogrammed Computations
  • What Are Capabilities?

    The capability paradigm is about access control. When a system, such as an OS or a website, is presented with a request for a service it provides, it needs to decide if it should actually do what the requestor is asking for. The way it decides is what we’re talking about when we talk about access control. If you’re like most people, the first thing you’re likely to think of is to ask the requestor “who are you?” The fundamental insight of the capabilities paradigm is to recognize that this question is the first step on the road to perdition. That’s highly counterintuitive to most people, hence the related controversy.

  • wikipedia- Object-capability model

>> Agoric Records >>

Mark S Miller

Mark S. Miller is an American computer scientist. He is known for his work as one of the participants in the 1979 hypertext project known as Project Xanadu; for inventing Miller columns; as the co-creator of the Agoric Paradigm[1] of market-based distributed secure computing; and the open-source coordinator of the E programming language. He also designed the Caja programming language.

Miller earned a BS in computer science from Yale in 1980 and published his Johns Hopkins PhD thesis in 2006.[2] Previously Chief Architect with the Virus-Safe Computing Initiative at HP Labs, he is now a research scientist at Google[3] and a member of the ECMAScript (JavaScript) committee.[4] - Wikipedia

>> Agoric Records >>


>> Agoric Records >>

Nick Szabo

Elang and other Early Work


  • Yes, Bitcoin Can Do Smart Contracts and Particl Demonstrates How The Bitcoin blockchain is not known for its ability to enable smart contracts. In fact, most developers creating smart contracts use a different blockchain, like Ethereum. But the truth is that the Bitcoin protocol can be used to create smart contracts., the blockc...
  • Scriptless Scripts: How Bitcoin Can Support Smart Contracts Bitcoin’s capacity is limited. Meanwhile, smart contracts can be resource intensive. So even though Bitcoin has always supported basic smart contract functionality, the two have never been a natural match.But a recent topic of research spearheaded by Blockstream mathematici...

    RSK, bitcoin´s smart contract platform.

Colored Coins

  • Colored Coins - BitcoinX - Vitalik Buterin, Meni Rosenfeld

    By the original design bitcoins are fungible, acting as a neutral medium of exchange. However, by carefully tracking the origin of a given bitcoin, it is possible to "color" a set of bitcoins to distinguish it from the rest. These bitcoins can then have special properties supported by either an issuing agent or by public agreement, and have value independent of the face value of the underlying bitcoins. Such colored bitcoins can be used for alternative currencies, commodity certificates, smart property, and other financial instruments such as stocks and bonds.

    Because colored coins make use of the existing Bitcoin infrastructure and can be stored and transferred without the need for a third party, and even be exchanged for one another in an atomic transaction, they can open the way for the decentralized exchange of things that are not possible by traditional methods. In this paper we will discuss the implementation details of colored coins and some of their use cases.

  • Colored Coins Whitepaper 2.0 - Google Doc
  • Making Sense of Colored Coins
  • Godfather of Ethereum

    About a year and a half ago in autumn 2013, I was working as the lead developer with Vitalik Buterin (who later became the initiator of the Ethereum project) on another project with the name ‘Keidom’ (now called The idea behind Keidom/Ascribe was to develop a custom colored-coin web-wallet for registering and transfering digital art in a secure way, based on the Bitcoin blockchain, with build-in proof-of-existence. We developed a working prototype during September and November 2013.

  • Could This Holy Bitcoin Trinity Revive Colored Coins? -2014


The short version is that Vitalik started Ethereum after a few attempts to integrate colored coins with Bitcoin.

{% include video id="u-i_mTwL-FI" provider="youtube" %}

  • Crypto Bites - A Chat with Ethereum Founder

    So what actually happened was that back in maybe October 2013, I spent some time working on projects like colored coins and Mastercoin, so these were the existing layer twos that were trying to kind of extend Bitcoin with more advanced functionality, and at one point I realized that, hey, you could replace these five features with one other feature by just basically having a programming language instead of these five specific different transaction types. And it kind of came over time.

    The first thing I did was I made a proposal to Mastercoin that would replace basically five of the transaction types they have with a programming language designed to express financial contracts between two parties. So you could do binary options, contracts for different bets—

  • ethereum/wiki/wiki/White-Paper


After DAO


Ricardian - Legal

Smart Signatures

{% include video id="E9sbWKbfyJU" provider="youtube" %} *Transcript

  • Stephen Diehl (@smdiehl) '17

Languages - Platforms


This page isn't really about learning how to do smart contracts, but more about the history and different aspects of smart contracts. However, I have these links, and I'll throw them here until I make a page devoted to learning how-to.





    Smart contract (also self-executing contract, blockchain contract, or digital contract) is an electronic algorithm intended for the automation of the contract execution process in the blockchain. The general idea of smart contracts is to exclude divergences in the treatment ...

  • OpenLaw — A free legal repository

    We are home to a passionate group of people, technologists, and dreamers committed to rebuilding the legal industry.

  • Investopedia — Smart Contracts

    Smart contracts are self-executing contracts with the terms of the contract between buyer and seller directly written into lines of code.

You can’t perform that action at this time.