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

Browse source
This commit is contained in:
swrup 2025-12-16 15:01:03 +01:00
parent 5ef99e7099
commit 68b39a5eee
6 changed files with 73 additions and 58 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/secmod.mli
View file

@ -3,11 +3,10 @@ open Crypto
type t
val sign_with_sm_key : t -> 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_sm_key : t -> eddsa_sig -> msg:string -> (unit, string) result
val sign_with_signkey :
t -> pub:eddsa_pub -> string -> (eddsa_sig, string) result
val verify_with_signkey :
t -> pub:eddsa_pub -> eddsa_sig -> msg:string -> (unit, string) result