blockchain-traits

Traits and types for a blockchain that updates state using "smart contracts." The aim of blockchain-traits is to be unopinionated about the actual semantics of the blockchain.