Explorations

[omelkonian]

• Find a way to have a well-scoped version of TxOutputRefs, not just natural indices.
• Can we gain anything from defining IsValidTx over ValidLedger?
• Prove equivalence of Validity when using Maybe and _∈_.
• Investigate if a nominal approach would be beneficial, as in:
  • paper
  • code
  • slides
• StateMachine: Interplay between smart contracts (e.g. product of state machines?)