merge secmod

This commit is contained in:
swrup 2025-12-15 15:01:40 +01:00
parent 50a6137967
commit 15c132829e
11 changed files with 348 additions and 404 deletions

36
src/secmod.mli Normal file
View file

@ -0,0 +1,36 @@
type eddsa_priv = Crypto.EddsaPrivateKey.t
type eddsa_pub = Crypto.EddsaPublicKey.t
type h_denom_pub = Bin_type.DenominationHash.t
type t
val get_sm_key_priv : t -> eddsa_priv
val get_sm_key_pub : t -> eddsa_pub
val get_signkeys : t -> Signkey.t list
val get_denoms : t -> Denomination.t list
val init : (module Pg.CONN) -> t
(* - management operations - *)
val add_signkey_master_signatures :
(module Pg.CONN) ->
t ->
(eddsa_pub * Bin_sig.ExchangeSigningKeyValidity.t) list ->
(unit, string) result
val add_denom_master_signatures :
(module Pg.CONN) ->
t ->
(h_denom_pub * Bin_sig.DenominationKeyValidity.t) list ->
(unit, string) result
val revoke_signkey :
t ->
eddsa_pub ->
Bin_sig.MasterSigningKeyRevocation.t ->
(unit, string) result
val revoke_denomination :
t ->
h_denom_pub ->
Bin_sig.MasterDenominationKeyRevocation.t ->
(unit, string) result