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

wip functorize secmod

Browse source
This commit is contained in:
swrup 2026-01-22 05:12:20 +01:00
parent 0fed6735db
commit 0bf16a6320
1 changed files with 41 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

80
src/secmod.mli
View file

@ -1,50 +1,52 @@
(* TODO functorize *) module type S = sig
open Crypto open Crypto
type t type t
val sign_with_sm_key : t -> string -> eddsa_sig val sign_with_sm_key : t -> string -> eddsa_sig
val sign_with_signkey : t -> pub:eddsa_pub -> string -> eddsa_sig val sign_with_signkey : t -> pub:eddsa_pub -> string -> eddsa_sig
val verify_with_master_key : eddsa_sig -> msg:string -> (unit, string) result val verify_with_master_key : eddsa_sig -> msg:string -> (unit, string) result
val verify_with_sm_key : t -> eddsa_sig -> msg:string -> (unit, string) result val verify_with_sm_key : t -> eddsa_sig -> msg:string -> (unit, string) result
val verify_with_signkey : val verify_with_signkey :
t -> pub:eddsa_pub -> eddsa_sig -> msg:string -> (unit, string) result t -> pub:eddsa_pub -> eddsa_sig -> msg:string -> (unit, string) result
(* TODO query database instead? *) (* TODO query database instead? *)
val get_sm_key_pub : t -> eddsa_pub val get_sm_key_pub : t -> eddsa_pub
val get_signkeys_data : t -> Signkey_data.t list val get_signkeys_data : t -> Signkey_data.t list
val get_denoms_data : t -> Denom_data.t list val get_denoms_data : t -> Denom_data.t list
val find_signkey_data : t -> eddsa_pub -> Signkey_data.t option val find_signkey_data : t -> eddsa_pub -> Signkey_data.t option
val find_denom_data : t -> denomination_hash -> Denom_data.t option val find_denom_data : t -> denomination_hash -> Denom_data.t option
val find_denom_section_name : t -> denomination_hash -> string option val find_denom_section_name : t -> denomination_hash -> string option
(* - management operations - *) (* - management operations - *)
(* TODO (* TODO
problem of keeping db and secmod state syncronized problem of keeping db and secmod state syncronized
do db interaction from secmod? *) do db interaction from secmod? *)
val init : (module Pg.CONN) -> t
val add_signkey_master_signatures : val add_signkey_master_signatures :
(module Pg.CONN) -> (module Pg.CONN) ->
t -> t ->
(eddsa_pub * Bin_sig.ExchangeSigningKeyValidity.t) list -> (eddsa_pub * Bin_sig.ExchangeSigningKeyValidity.t) list ->
(unit, string) result (unit, string) result
val add_denom_master_signatures : val add_denom_master_signatures :
(module Pg.CONN) -> (module Pg.CONN) ->
t -> t ->
(denomination_hash * Bin_sig.DenominationKeyValidity.t) list -> (denomination_hash * Bin_sig.DenominationKeyValidity.t) list ->
(unit, string) result (unit, string) result
val revoke_signkey : val revoke_signkey :
t -> t ->
eddsa_pub -> eddsa_pub ->
Bin_sig.MasterSigningKeyRevocation.t -> Bin_sig.MasterSigningKeyRevocation.t ->
(unit, string) result (unit, string) result
val revoke_denomination : val revoke_denomination :
t -> t ->
denomination_hash -> denomination_hash ->
Bin_sig.MasterDenominationKeyRevocation.t -> Bin_sig.MasterDenominationKeyRevocation.t ->
(unit, string) result (unit, string) result
end
module Make (_ : Pg.CONN) : S