Definition jsonHash (h : hashValue) : json :=
  JsonObject [
    ("Algorithm", JsonString (hashAlgorithmDescribe (hvAlgorithm h)));
    ("Value",     JsonString (hvValue h)) 
  ].
