From 4ad4b20119c2ee8241fdf573807c6875bd16860d Mon Sep 17 00:00:00 2001 From: swrup Date: Sat, 21 Feb 2026 17:13:33 +0100 Subject: [PATCH] --- src/keys.ml | 4 ++-- src/secmod_eddsa.ml | 20 ++++++++++---------- src/secmod_rsa.ml | 20 ++++++++++---------- 3 files changed, 22 insertions(+), 22 deletions(-) diff --git a/src/keys.ml b/src/keys.ml index 8102986c..138c5160 100644 --- a/src/keys.ml +++ b/src/keys.ml @@ -273,7 +273,7 @@ module Make (Conn : Pg.CONN) = struct match opt with | None -> Error "signkey not found" | Some _sk -> - let* () = Secmod_eddsa.revoke_key pub in + let* () = Secmod_eddsa.revoke pub in let+ () = Pg.insert_signkey_revocation conn pub revoked_sig |> unwrap_err_caqti in @@ -285,7 +285,7 @@ module Make (Conn : Pg.CONN) = struct | None -> Error "denomination not found" | Some sk -> let pub = sk.pub in - let* () = Secmod_rsa.revoke_key pub in + let* () = Secmod_rsa.revoke pub in let+ () = Pg.insert_denomination_revocation conn h_pub revoked_sig |> unwrap_err_caqti diff --git a/src/secmod_eddsa.ml b/src/secmod_eddsa.ml index 8d5683e9..493c4c9c 100644 --- a/src/secmod_eddsa.ml +++ b/src/secmod_eddsa.ml @@ -176,16 +176,16 @@ let keys () = let sign_secmod s = EddsaSignature.sign ~key:t.sm_key_priv s -let find_key pub = +let find pub = Hashtbl.find_opt t.ht pub |> Option.to_result ~none:"key not found" let sign ~pub s = - let+ k = find_key pub in + let+ k = find pub in let data = EddsaSignature.sign ~key:k.priv s in data -let delete_key pub = - let* k = find_key pub in +let delete pub = + let* k = find pub in Hashtbl.remove t.ht k.pub; delete_key_file k let delete_outdated ~now = @@ -193,19 +193,19 @@ let delete_outdated ~now = |> List.of_seq |> List.filter (fun k -> Absolute.compare now k.t2 >= 0) |> List.map (fun k -> k.pub) - |> list_iter delete_key + |> list_iter delete -let add_key t1 t2 = +let add t1 t2 = let priv, pub = EddsaPrivateKey.generate () in let k = { priv; pub; t1; t2 } in Hashtbl.replace t.ht k.pub k; () (* delete and replace *) -let revoke_key pub = - let* k = find_key pub in - let* () = delete_key pub in - add_key k.t1 k.t2; Ok () +let revoke pub = + let* k = find pub in + let* () = delete pub in + add k.t1 k.t2; Ok () (* TODO - more checks diff --git a/src/secmod_rsa.ml b/src/secmod_rsa.ml index 0c83cd98..bda3a0b0 100644 --- a/src/secmod_rsa.ml +++ b/src/secmod_rsa.ml @@ -203,16 +203,16 @@ let keys () = let sign_secmod s = EddsaSignature.sign ~key:t.sm_key_priv s -let find_key pub = +let find pub = Hashtbl.find_opt t.ht pub |> Option.to_result ~none:"key not found" let sign ~pub s = - let+ k = find_key pub in + let+ k = find pub in let data = RsaSignature.sign ~key:k.priv s in data -let delete_key pub = - let* k = find_key pub in +let delete pub = + let* k = find pub in Hashtbl.remove t.ht k.pub; delete_key_file k let delete_outdated ~now = @@ -220,17 +220,17 @@ let delete_outdated ~now = |> List.of_seq |> List.filter (fun k -> Absolute.compare now k.t2 >= 0) |> List.map (fun k -> k.pub) - |> list_iter delete_key + |> list_iter delete -let add_key section_name t1 t2 = +let add section_name t1 t2 = let priv, pub = RsaPrivateKey.generate ~bits:Cfg.rsa_keysize () in let k = { section_name; priv; pub; t1; t2 } in Hashtbl.replace t.ht k.pub k; () (* delete and replace *) -let revoke_key pub = - let* k = find_key pub in - let* () = delete_key pub in - add_key k.section_name k.t1 k.t2; +let revoke pub = + let* k = find pub in + let* () = delete pub in + add k.section_name k.t1 k.t2; Ok ()