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

Browse source
This commit is contained in:
swrup 2026-02-21 16:29:15 +01:00
parent 9b389d6f69
commit f551b75e1c
3 changed files with 28 additions and 33 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/keys.ml
View file

@ -1,8 +1,6 @@
(* TODO better error type *) (* TODO better error type *)
type 'a result = ('a, string) Result.t type 'a result = ('a, string) Result.t
module type S = Keys_intf.S
module Make (Conn : Pg.CONN) = struct module Make (Conn : Pg.CONN) = struct
open Syntax open Syntax
open Crypto open Crypto

30
src/keys.mli
View file

@ -1,3 +1,29 @@
module type S = Keys_intf.S type 'a result = ('a, string) Result.t
module Make (_ : Pg.CONN) : S module Make (_ : Pg.CONN) : sig
open Crypto
val master_pub : eddsa_pub
val secmod_rsa_pub : eddsa_pub
val secmod_eddsa_pub : eddsa_pub
val sign : pub:eddsa_pub -> string -> eddsa_sig
val sign_denom : pub:rsa_pub -> string -> string
val find_signkey : eddsa_pub -> Signkey.t option result
val find_denomination : denom_hash -> Denomination.t option result
val signkeys : unit -> Signkey.t list result
val denominations : unit -> Denomination.t list result
val future_signkeys : unit -> Api.FutureSignKey.t list result
val future_denominations : unit -> Api.FutureDenom.t list result
val certify_future_signkey :
eddsa_pub -> Signatures.ExchangeSigningKeyValidity.t -> unit result
val certify_future_denomination :
denom_hash -> Signatures.DenominationKeyValidity.t -> unit result
val revoke_signkey :
eddsa_pub -> Signatures.MasterSigningKeyRevocation.t -> unit result
val revoke_denomination :
denom_hash -> Signatures.MasterDenominationKeyRevocation.t -> unit result
end

29
src/keys_intf.ml
View file

@ -1,29 +0,0 @@
type 'a result = ('a, string) Result.t
module type S = sig
open Crypto
val master_pub : eddsa_pub
val secmod_rsa_pub : eddsa_pub
val secmod_eddsa_pub : eddsa_pub
val sign : pub:eddsa_pub -> string -> eddsa_sig
val sign_denom : pub:rsa_pub -> string -> string
val find_signkey : eddsa_pub -> Signkey.t option result
val find_denomination : denom_hash -> Denomination.t option result
val signkeys : unit -> Signkey.t list result
val denominations : unit -> Denomination.t list result
val future_signkeys : unit -> Api.FutureSignKey.t list result
val future_denominations : unit -> Api.FutureDenom.t list result
val certify_future_signkey :
eddsa_pub -> Signatures.ExchangeSigningKeyValidity.t -> unit result
val certify_future_denomination :
denom_hash -> Signatures.DenominationKeyValidity.t -> unit result
val revoke_signkey :
eddsa_pub -> Signatures.MasterSigningKeyRevocation.t -> unit result
val revoke_denomination :
denom_hash -> Signatures.MasterDenominationKeyRevocation.t -> unit result
end