• Jakob Botsch Nielsen's avatar
    Abstract ChainBuilder and rename LocalChainEnvironment -> LocalChainBuilder · 8038826a
    Jakob Botsch Nielsen authored
    The ChainBuilder represents the full implementation of a blockchain
    containing all operations (such as adding blocks) and state (such as
    full contracts with their receive functions). Such a value is
    convertible to a Chain (but not vice versa). This is where we will state
    general properties about how the block chain behaves temporally.