This commit is contained in:
swrup 2025-12-21 22:46:51 +01:00
parent 3fad00a611
commit 84ca3b252b
4 changed files with 11 additions and 41 deletions

View file

@ -72,27 +72,6 @@ module B32 = struct
~decode:B32.decode Caqti_type.string ~decode:B32.decode Caqti_type.string
end end
(* TODO use DenominationHash directly *)
module HashCode : sig
type t
val hash : string -> t
val of_b32 : B32.t -> (t, string) result
val to_denomination_hash : t -> Bin_type.DenominationHash.t
val jsont : t Jsont.t
end = struct
type t = B32.t
let to_denomination_hash s = Bin_type.DenominationHash.of_octets s
let hash s =
let open Digestif.SHA512 in
s |> digest_string |> to_raw_string
let of_b32 = B32.decode
let jsont = B32.jsont
end
(* TODO error response (* TODO error response
- use GANA error codes - use GANA error codes
https://git.gnunet.org/gana.git/tree/gnu-taler-error-codes/registry.rec *) https://git.gnunet.org/gana.git/tree/gnu-taler-error-codes/registry.rec *)
@ -886,7 +865,7 @@ end
module AuditorDenominationKey = struct module AuditorDenominationKey = struct
type t = { type t = {
denom_pub_h: HashCode.t; denom_pub_h: DenominationHash.t;
auditor_sig: ExchangeKeyValidity.t; auditor_sig: ExchangeKeyValidity.t;
} }
@ -895,7 +874,7 @@ module AuditorDenominationKey = struct
let denom_pub_h v = v.denom_pub_h in let denom_pub_h v = v.denom_pub_h in
let auditor_sig v = v.auditor_sig in let auditor_sig v = v.auditor_sig in
map ~kind:"AuditorDenominationKey" make map ~kind:"AuditorDenominationKey" make
|> mem "denom_pub_h" HashCode.jsont ~enc:denom_pub_h |> mem "denom_pub_h" DenominationHash.jsont ~enc:denom_pub_h
|> mem "auditor_sig" ExchangeKeyValidity.jsont ~enc:auditor_sig |> mem "auditor_sig" ExchangeKeyValidity.jsont ~enc:auditor_sig
|> finish |> finish
end end
@ -954,13 +933,13 @@ module SignKey = struct
end end
module RecoupDenoms = struct module RecoupDenoms = struct
type t = { h_denom_pub: HashCode.t } type t = { h_denom_pub: DenominationHash.t }
let jsont = let jsont =
let make h_denom_pub = { h_denom_pub } in let make h_denom_pub = { h_denom_pub } in
let h_denom_pub v = v.h_denom_pub in let h_denom_pub v = v.h_denom_pub in
map ~kind:"RecoupDenoms" make map ~kind:"RecoupDenoms" make
|> mem "h_denom_pub" HashCode.jsont ~enc:h_denom_pub |> mem "h_denom_pub" DenominationHash.jsont ~enc:h_denom_pub
|> finish |> finish
end end

View file

@ -97,6 +97,7 @@ module Hash_32 = struct
| true -> Digestif.SHA256.of_raw_string s | true -> Digestif.SHA256.of_raw_string s
let to_octets = Digestif.SHA256.to_raw_string let to_octets = Digestif.SHA256.to_raw_string
let of_b32 s = Result.map of_octets (B32.decode s)
let bin = let bin =
let open Bin in let open Bin in
@ -111,9 +112,8 @@ module Hash_32 = struct
octets octets
let jsont = let jsont =
let dec s = Result.map of_octets (B32.decode s) in
let enc v = B32.encode (to_octets v) in let enc v = B32.encode (to_octets v) in
Jsont.of_of_string ~kind:"Hash 32" dec ~enc Jsont.of_of_string ~kind:"Hash 32" of_b32 ~enc
end end
module Hash_64 = struct module Hash_64 = struct
@ -132,6 +132,8 @@ module Hash_64 = struct
| false -> Fmt.failwith "Hash.to_octets failure: data is not 64 bytes" | false -> Fmt.failwith "Hash.to_octets failure: data is not 64 bytes"
| true -> s | true -> s
let of_b32 s = Result.map of_octets (B32.decode s)
let bin = let bin =
let open Bin in let open Bin in
map (bytes 64) of_octets to_octets map (bytes 64) of_octets to_octets
@ -145,9 +147,8 @@ module Hash_64 = struct
octets octets
let jsont = let jsont =
let dec s = Result.map of_octets (B32.decode s) in
let enc v = B32.encode (to_octets v) in let enc v = B32.encode (to_octets v) in
Jsont.of_of_string ~kind:"Hash 64" dec ~enc Jsont.of_of_string ~kind:"Hash 64" of_b32 ~enc
end end
(* Hash over string + '\0' *) (* Hash over string + '\0' *)
@ -176,6 +177,7 @@ module type Hash_S = sig
val hash : string -> t val hash : string -> t
val of_octets : string -> t val of_octets : string -> t
val to_octets : t -> string val to_octets : t -> string
val of_b32 : B32.t -> (t, string) result
end end
module FullPaytoHash : Hash_S = Hash_32 module FullPaytoHash : Hash_S = Hash_32

View file

@ -236,8 +236,7 @@ module Denom_revoke = struct
let db_conn = Vif.Server.device Devices.db_connection server in let db_conn = Vif.Server.device Devices.db_connection server in
let sm = Vif.Server.device Devices.secmod server in let sm = Vif.Server.device Devices.secmod server in
let res = let res =
let* h_denom_pub = HashCode.of_b32 h_denom_pub in let* h_denom_pub = DenominationHash.of_b32 h_denom_pub in
let h_denom_pub = HashCode.to_denomination_hash h_denom_pub in
let* v = Vif.Request.of_json req |> unwrap_err_msg in let* v = Vif.Request.of_json req |> unwrap_err_msg in
let* () = verify h_denom_pub v in let* () = verify h_denom_pub v in
let* () = do_ ~db_conn ~sm h_denom_pub v in let* () = do_ ~db_conn ~sm h_denom_pub v in

View file

@ -220,16 +220,6 @@ let get_auditor_keys =
fun (module Conn : CONN) () -> fun (module Conn : CONN) () ->
let open Syntax in let open Syntax in
let* l = Conn.collect_list get_auditor_keys () |> unwrap_err_caqti in let* l = Conn.collect_list get_auditor_keys () |> unwrap_err_caqti in
let* l =
(* TODO improve DenominationHash/HashCode situation
conversion here is probably bad *)
list_map
(fun (pub, url, name, denom_pub_h, auditor_sig) ->
let denom_pub_h = Bin_type.DenominationHash.to_octets denom_pub_h in
let* denom_pub_h = HashCode.of_b32 denom_pub_h in
Ok (pub, url, name, denom_pub_h, auditor_sig))
l
in
let ht = Hashtbl.create 0xff in let ht = Hashtbl.create 0xff in
List.iter List.iter
(fun (pub, url, name, denom_pub_h, auditor_sig) -> (fun (pub, url, name, denom_pub_h, auditor_sig) ->