A well-known bitcoin developer has published a new proposal for how smart contracts could be added to the blockchain network.