omelkonian/formal-utxo

Issues

• Question: How up-to-date is this?

  #23 opened 3 years ago by L-as
  0

• Extraction: claim is too weak

  #20 opened 4 years ago by omelkonian
  0

• Token Provenance: missing invariant in the type of traces/provenance

  #22 opened 4 years ago by omelkonian
  0

• Explorations

  #10 opened 4 years ago by omelkonian
  0

• Property Preservation: Investigate temporal properties

  #21 opened 4 years ago by omelkonian
  0

• Extra improvements

  #1 opened 5 years ago by omelkonian
  0

• Bisimulation: Transfer properties

  #14 opened 4 years ago by omelkonian
  1

• StateMachine: additional constraints

  #19 opened 4 years ago by jmchapman
  0

• UTxO: Remove fees altogether

  #17 opened 4 years ago by omelkonian
  0

• UTxO: Burning

  #18 opened 4 years ago by omelkonian
  0

• Bisimulation: Use tokens for id-management and initial states

  #13 opened 4 years ago by omelkonian
  1

• Multicurrency: State `Provenance` theorem

  #12 opened 4 years ago by omelkonian
  1

• CEM: Remove isFinal

  #16 opened 4 years ago by omelkonian
  1

• CEM: Policy/validator cyclic hash dependency

  #15 opened 4 years ago by omelkonian
  0

• Bisimulation: Mention satisfaction of TxConstraints

  #9 opened 4 years ago by omelkonian
  0

• Bisimulation: Full formulation

  #11 opened 4 years ago by omelkonian
  0

• Sync with EUTXO paper

  #7 opened 4 years ago by omelkonian
  0