From 2dafed22730edc4cb3699cd482786d2a3b61734c Mon Sep 17 00:00:00 2001
From: swrup <swrup@protonmail.com>
Date: Wed, 18 Feb 2026 20:12:30 +0100
Subject: [PATCH] + keys_intf.ml

---
 src/keys.ml      | 44 +-------------------------------------------
 src/keys.mli     | 44 +-------------------------------------------
 src/keys_intf.ml | 43 +++++++++++++++++++++++++++++++++++++++++++
 3 files changed, 45 insertions(+), 86 deletions(-)
 create mode 100644 src/keys_intf.ml

diff --git a/src/keys.ml b/src/keys.ml
index dbd5255c..ea18dba0 100644
--- a/src/keys.ml
+++ b/src/keys.ml
@@ -1,46 +1,4 @@
-module type S = sig
-  open Crypto
-
-  val sm_pubkey : eddsa_pub
-  val sign_with_sm_key : string -> eddsa_sig
-  val sign_with_signkey : pub:eddsa_pub -> string -> eddsa_sig
-  val verify_with_master_key : eddsa_sig -> msg:string -> (unit, string) result
-  val verify_with_sm_key : eddsa_sig -> msg:string -> (unit, string) result
-
-  val verify_with_signkey :
-    pub:eddsa_pub -> eddsa_sig -> msg:string -> (unit, string) result
-
-  val get_signkeys : unit -> Signkey.t list
-  val get_denominations : unit -> Denomination.t list
-  val get_future_signkeys : unit -> Api.FutureSignKey.t list
-  val get_future_denominations : unit -> Api.FutureDenom.t list
-  val find_signkey : eddsa_pub -> Signkey.t option
-  val find_denomination : denom_hash -> Denomination.t option
-  val find_future_signkey : eddsa_pub -> Api.FutureSignKey.t option
-  val find_future_denomination : denom_hash -> Api.FutureDenom.t option
-
-  val certify_future_signkey :
-    eddsa_pub ->
-    master_sig:Signatures.ExchangeSigningKeyValidity.t ->
-    (unit, string) result
-
-  val certify_future_denomination :
-    denom_hash ->
-    master_sig:Signatures.DenominationKeyValidity.t ->
-    (unit, string) result
-
-  val revoke_signkey :
-    eddsa_pub ->
-    Signatures.MasterSigningKeyRevocation.t ->
-    (unit, string) result
-
-  val revoke_denomination :
-    denom_hash ->
-    Signatures.MasterDenominationKeyRevocation.t ->
-    (unit, string) result
-
-  val save : unit -> (unit, string) result
-end
+module type S = Keys_intf.S
 
 module Make (Conn : Pg.CONN) = struct
   open Syntax
diff --git a/src/keys.mli b/src/keys.mli
index cedff889..50b891d4 100644
--- a/src/keys.mli
+++ b/src/keys.mli
@@ -1,45 +1,3 @@
-module type S = sig
-  open Crypto
-
-  val sm_pubkey : eddsa_pub
-  val sign_with_sm_key : string -> eddsa_sig
-  val sign_with_signkey : pub:eddsa_pub -> string -> eddsa_sig
-  val verify_with_master_key : eddsa_sig -> msg:string -> (unit, string) result
-  val verify_with_sm_key : eddsa_sig -> msg:string -> (unit, string) result
-
-  val verify_with_signkey :
-    pub:eddsa_pub -> eddsa_sig -> msg:string -> (unit, string) result
-
-  val get_signkeys : unit -> Signkey.t list
-  val get_denominations : unit -> Denomination.t list
-  val get_future_signkeys : unit -> Api.FutureSignKey.t list
-  val get_future_denominations : unit -> Api.FutureDenom.t list
-  val find_signkey : eddsa_pub -> Signkey.t option
-  val find_denomination : denom_hash -> Denomination.t option
-  val find_future_signkey : eddsa_pub -> Api.FutureSignKey.t option
-  val find_future_denomination : denom_hash -> Api.FutureDenom.t option
-
-  val certify_future_signkey :
-    eddsa_pub ->
-    master_sig:Signatures.ExchangeSigningKeyValidity.t ->
-    (unit, string) result
-
-  val certify_future_denomination :
-    denom_hash ->
-    master_sig:Signatures.DenominationKeyValidity.t ->
-    (unit, string) result
-
-  val revoke_signkey :
-    eddsa_pub ->
-    Signatures.MasterSigningKeyRevocation.t ->
-    (unit, string) result
-
-  val revoke_denomination :
-    denom_hash ->
-    Signatures.MasterDenominationKeyRevocation.t ->
-    (unit, string) result
-
-  val save : unit -> (unit, string) result
-end
+module type S = Keys_intf.S
 
 module Make (_ : Pg.CONN) : S
diff --git a/src/keys_intf.ml b/src/keys_intf.ml
new file mode 100644
index 00000000..48e39dad
--- /dev/null
+++ b/src/keys_intf.ml
@@ -0,0 +1,43 @@
+module type S = sig
+  open Crypto
+
+  val sm_pubkey : eddsa_pub
+  val sign_with_sm_key : string -> eddsa_sig
+  val sign_with_signkey : pub:eddsa_pub -> string -> eddsa_sig
+  val verify_with_master_key : eddsa_sig -> msg:string -> (unit, string) result
+  val verify_with_sm_key : eddsa_sig -> msg:string -> (unit, string) result
+
+  val verify_with_signkey :
+    pub:eddsa_pub -> eddsa_sig -> msg:string -> (unit, string) result
+
+  val get_signkeys : unit -> Signkey.t list
+  val get_denominations : unit -> Denomination.t list
+  val get_future_signkeys : unit -> Api.FutureSignKey.t list
+  val get_future_denominations : unit -> Api.FutureDenom.t list
+  val find_signkey : eddsa_pub -> Signkey.t option
+  val find_denomination : denom_hash -> Denomination.t option
+  val find_future_signkey : eddsa_pub -> Api.FutureSignKey.t option
+  val find_future_denomination : denom_hash -> Api.FutureDenom.t option
+
+  val certify_future_signkey :
+    eddsa_pub ->
+    master_sig:Signatures.ExchangeSigningKeyValidity.t ->
+    (unit, string) result
+
+  val certify_future_denomination :
+    denom_hash ->
+    master_sig:Signatures.DenominationKeyValidity.t ->
+    (unit, string) result
+
+  val revoke_signkey :
+    eddsa_pub ->
+    Signatures.MasterSigningKeyRevocation.t ->
+    (unit, string) result
+
+  val revoke_denomination :
+    denom_hash ->
+    Signatures.MasterDenominationKeyRevocation.t ->
+    (unit, string) result
+
+  val save : unit -> (unit, string) result
+end