From 2a209fbfb35876170e79d22693f21a12ed9ba8f7 Mon Sep 17 00:00:00 2001
From: swrup <swrup@protonmail.com>
Date: Sat, 21 Feb 2026 19:25:31 +0100
Subject: [PATCH] wip debug secmod

---
 src/secmod_eddsa.ml | 46 +++++++++++++++++++++++++++------------------
 src/secmod_rsa.ml   | 15 +++++++++------
 2 files changed, 37 insertions(+), 24 deletions(-)

diff --git a/src/secmod_eddsa.ml b/src/secmod_eddsa.ml
index 70a6f33e..18ba05c8 100644
--- a/src/secmod_eddsa.ml
+++ b/src/secmod_eddsa.ml
@@ -1,3 +1,4 @@
+module Log = (val Logs.src_log (Logs.Src.create "mte.secmod_eddsa") : Logs.LOG)
 open Syntax
 open Crypto
 open Time
@@ -18,6 +19,7 @@ type t = {
 
 (* -- util -- *)
 
+(* TODO time *)
 let time_abs_of_string s =
   int_of_string_opt s |> Option.map (fun n -> Absolute.of_s (Int64.of_int n))
 
@@ -48,26 +50,29 @@ let key_fpath k =
 (* -- IO -- *)
 
 let read_key fpath =
+  Log.debug (fun m -> m "reading key file `%a`" Fpath.pp fpath);
   let* data = Bos.OS.File.read fpath |> unwrap_err_msg in
   EddsaPrivateKey.of_octets data
 
 let write_eddsa fpath priv =
+  Log.debug (fun m -> m "writing key file `%a`" Fpath.pp fpath);
   let data = EddsaPrivateKey.to_octets priv in
   Bos.OS.File.write fpath data |> unwrap_err_msg
 
 let write_key k = write_eddsa (key_fpath k) k.priv
 
-let delete_key_file k =
-  let+ () =
-    Bos.OS.File.delete ~must_exist:true (key_fpath k) |> unwrap_err_msg
-  in
-  ()
+let delete_file fpath =
+  Log.debug (fun m -> m "(disabled) delete key file `%a`" Fpath.pp fpath);
+  (* TODO just to be safe~~
+  let+ () = Bos.OS.File.delete ~must_exist:true fpath |> unwrap_err_msg in
+*)
+  Ok ()
 
 let get_key_dir_contents dir =
   let* dir = Fpath.of_string dir |> unwrap_err_msg in
   let* b = Bos.OS.Dir.create ~mode:0o700 dir |> unwrap_err_msg in
   if b then
-    Logs.info (fun m -> m "secmod_eddsa: created directory `%a`" Fpath.pp dir);
+    Log.info (fun m -> m "secmod_eddsa: created directory `%a`" Fpath.pp dir);
   let+ l =
     Bos.OS.Dir.contents ~dotfiles:false ~rel:true dir |> unwrap_err_msg
   in
@@ -75,6 +80,14 @@ let get_key_dir_contents dir =
 
 (* -- *)
 
+let gen_key t1 t2 =
+  let priv, pub = EddsaPrivateKey.generate () in
+  Log.debug (fun m ->
+      m "generated key: %s  %s-%s"
+        (EddsaPublicKey.to_b32 pub)
+        (time_abs_to_string t1) (time_abs_to_string t2));
+  { priv; pub; t1; t2 }
+
 let sort_keys l = List.sort (fun a b -> Absolute.compare a.t2 b.t2) l
 
 let split_in_periodes ~start ~end_ =
@@ -91,9 +104,9 @@ let split_in_periodes ~start ~end_ =
   in
   go acc start end_
 
+(* TODO do not exceed lookahead (probably more important...) *)
+(* try to not generate keys with validity start in the past *)
 let gen_additional_keys_until_lookahead ~now l =
-  (* TODO do not exceed lookahead (probably more important...) *)
-  (* try to not generate keys with validity start in the past *)
   let start =
     match List.rev (sort_keys l) with
     | [] -> now
@@ -101,15 +114,10 @@ let gen_additional_keys_until_lookahead ~now l =
   in
   let end_ = Absolute.add now Cfg.lookahead_sign in
   let periodes = split_in_periodes ~start ~end_ in
-  let new_keys =
-    List.map
-      (fun (t1, t2) ->
-        let priv, pub = EddsaPrivateKey.generate () in
-        { priv; pub; t1; t2 })
-      periodes
-  in
+  let new_keys = List.map (fun (t1, t2) -> gen_key t1 t2) periodes in
   new_keys
 
+(* TODO config *)
 let sm_key_fpath =
   Result.get_ok
   @@
@@ -149,6 +157,8 @@ let init () =
     | Some t -> Ok t
     | None ->
         let sm_key_priv, sm_pub = EddsaPrivateKey.generate () in
+        Log.debug (fun m ->
+            m "generated secmod key: %s" (EddsaPublicKey.to_b32 sm_pub));
         let* () = write_eddsa sm_key_fpath sm_key_priv in
         let ht = Hashtbl.create 0xff in
         Ok { sm_key_priv; sm_pub; ht }
@@ -175,14 +185,14 @@ module Make () = struct
     Hashtbl.find_opt t.ht pub |> Option.to_result ~none:"key not found"
 
   let add t1 t2 =
-    let priv, pub = EddsaPrivateKey.generate () in
-    let k = { priv; pub; t1; t2 } in
+    let k = gen_key t1 t2 in
     Hashtbl.replace t.ht k.pub k;
     ()
 
   let delete pub =
     let* k = find pub in
-    Hashtbl.remove t.ht k.pub; delete_key_file k
+    Hashtbl.remove t.ht k.pub;
+    delete_file (key_fpath k)
 
   let _delete_outdated ~now =
     Hashtbl.to_seq_values t.ht
diff --git a/src/secmod_rsa.ml b/src/secmod_rsa.ml
index 5aa348b8..70195e79 100644
--- a/src/secmod_rsa.ml
+++ b/src/secmod_rsa.ml
@@ -1,4 +1,5 @@
 (* TODO refacto common parts with secmod_eddsa *)
+module Log = (val Logs.src_log (Logs.Src.create "mte.secmod_rsa") : Logs.LOG)
 open Syntax
 open Crypto
 open Time
@@ -67,11 +68,12 @@ let write_rsa fpath priv =
 
 let write_key k = write_rsa (key_fpath k) k.priv
 
-let delete_key_file k =
-  let+ () =
-    Bos.OS.File.delete ~must_exist:true (key_fpath k) |> unwrap_err_msg
-  in
-  ()
+let delete_file fpath =
+  Log.debug (fun m -> m "(disabled) delete key file `%a`" Fpath.pp fpath);
+  (* TODO just to be safe~~
+  let+ () = Bos.OS.File.delete ~must_exist:true fpath |> unwrap_err_msg in
+*)
+  Ok ()
 
 let get_key_dir_contents dir_fpath =
   let* b = Bos.OS.Dir.create ~mode:0o700 dir_fpath |> unwrap_err_msg in
@@ -202,7 +204,8 @@ module Make () = struct
 
   let delete pub =
     let* k = find pub in
-    Hashtbl.remove t.ht k.pub; delete_key_file k
+    Hashtbl.remove t.ht k.pub;
+    delete_file (key_fpath k)
 
   let _delete_outdated ~now =
     Hashtbl.to_seq_values t.ht