incentivus/ABCD

Issues

• Off-chain ABCD

  #5 opened 4 years ago by mtefagh
  3

• Formal verification of specifications by model checking

  #8 opened 4 years ago by mtefagh
  0

• Litecoin integration

  #6 opened 4 years ago by RadNi
  0

• locktime

  #1 opened 4 years ago by RadNi
  1

• pointer to all possible situations

  #2 opened 4 years ago by RadNi
  0

• Frontend

  #3 opened 4 years ago by RadNi
  0