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

JJ: Description from the destination commit:

Browse source 
wip merge secmods

JJ: Description from source commit:
merge secmod
This commit is contained in:
swrup 2025-12-15 15:59:38 +01:00
parent 8d30ce2c82
commit 03ad4fdc81
9 changed files with 328 additions and 396 deletions
Download patch file Download diff file Expand all files Collapse all files

22
src/secmod_signkey.mli
View file

@ -1,22 +0,0 @@
type t
type eddsa_priv = Crypto.EddsaPrivateKey.t
type eddsa_pub = Crypto.EddsaPublicKey.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 init : (module Pg.CONN) -> t
(* - management operations - *)
val add_master_signatures :
(module Pg.CONN) ->
t ->
(eddsa_pub * Bin_sig.ExchangeSigningKeyValidity.t) list ->
(unit, string) result
val revoke_signkey :
t ->
eddsa_pub ->
Bin_sig.MasterSigningKeyRevocation.t ->
(unit, string) result