From d90e485b416b6495bf30122f6de85dc4bb283ef2 Mon Sep 17 00:00:00 2001 From: swrup Date: Tue, 16 Dec 2025 18:13:45 +0100 Subject: [PATCH] --- src/secmod.mli | 1 + 1 file changed, 1 insertion(+) diff --git a/src/secmod.mli b/src/secmod.mli index f7f6a3d0..4a0778ea 100644 --- a/src/secmod.mli +++ b/src/secmod.mli @@ -10,6 +10,7 @@ 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 +(* TODO query database instead? *) val get_sm_key_pub : t -> eddsa_pub val get_signkeys_data : t -> Signkey_data.t list val get_denoms_data : t -> Denom_data.t list