swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

.

Browse source
This commit is contained in:
swrup 2025-12-16 15:12:12 +01:00
parent d2282cd135
commit c3c1956308
3 changed files with 11 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/http_management.ml
View file

@ -107,9 +107,7 @@ module Keys_post = struct
let verify_denom_signature ~sm DenomSignature.{ h_denom_pub; master_sig } =
let denom_hash = HashCode.to_denomination_hash h_denom_pub in
let* denom =
Secmod.get_denoms sm
|> List.find_opt (fun (denom : Denom_data.t) -> denom.h_pub = denom_hash)
|> function
match Secmod.find_denom_data sm denom_hash with
| None ->
Fmt.error
"404 not found, One of the keys for which a signature was provided \
@ -135,9 +133,7 @@ module Keys_post = struct
let verify_signkey_signature ~sm SignKeySignature.{ key; master_sig } =
let* signkey =
Secmod.get_signkeys sm
|> List.find_opt (fun (signkey : Signkey_data.t) -> signkey.pub = key)
|> function
match Secmod.find_signkey_data sm key with
| None ->
Fmt.error
"404 not found, One of the keys for which a signature was provided \

7
src/secmod.ml
View file

@ -48,7 +48,6 @@ let verify_with_signkey t ~pub s ~msg =
| None -> Error "secmod failure: public key not found."
| Some signkey -> EddsaSignature.verify ~key:signkey.pub s ~msg
let get_sm_key_priv t = t.sm_key_priv
let get_sm_key_pub t = t.sm_key_pub
let get_signkeys t =
@ -59,6 +58,12 @@ let get_denoms t =
Miou.Mutex.protect t.lock @@ fun () ->
Hashtbl.to_seq_values t.dn_ht |> List.of_seq
let find_signkey_data t pub =
Miou.Mutex.protect t.lock @@ fun () -> Hashtbl.find_opt t.sk_ht pub
let find_denom_data t h_denom =
Miou.Mutex.protect t.lock @@ fun () -> Hashtbl.find_opt t.dn_ht h_denom
let add_signkey_master_signatures conn t l =
Miou.Mutex.protect t.lock @@ fun () ->
list_iter

5
src/secmod.mli
View file

@ -10,13 +10,14 @@ val verify_with_sm_key : t -> eddsa_sig -> msg:string -> (unit, string) result
val verify_with_signkey :
t -> pub:eddsa_pub -> eddsa_sig -> msg:string -> (unit, string) result
val get_sm_key_priv : t -> eddsa_priv
val get_sm_key_pub : t -> eddsa_pub
val get_signkeys : t -> Signkey_data.t list
val get_denoms : t -> Denom_data.t list
val init : (module Pg.CONN) -> t
val find_signkey_data : t -> eddsa_pub -> Signkey_data.t option
val find_denom_data : t -> denomination_hash -> Denom_data.t option
(* - management operations - *)
val init : (module Pg.CONN) -> t
val add_signkey_master_signatures :
(module Pg.CONN) ->