oscoin/avl-auth

Issues

• Abstract over the concrete hashing algorithm

  #3 opened 6 years ago by adinapoli-mndc
  1

• Persistent state-tree with basic proofs

  #2 opened 6 years ago by cloudhead
  0

• Use model testing for Crypto.Data.Auth

  #1 opened 7 years ago by cloudhead
  0