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

+ wip copypasta secmod_rsa

Browse source
This commit is contained in:
swrup 2026-02-20 11:04:09 +01:00
parent 213952cbea
commit 3405f9e4ef
3 changed files with 211 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

16
src/secmod_eddsa.ml
View file

@ -1,22 +1,18 @@
open Syntax
open Crypto
open Time
open Mirage_crypto_ec
module Cfg = Config.Exchange_secmod_eddsa
type priv = Ed25519.priv
type pub = Ed25519.pub
type key = {
priv: priv;
pub: pub;
priv: EddsaPrivateKey.t;
pub: EddsaPublicKey.t;
t1: Absolute.t;
t2: Absolute.t;
}
type t = {
sm_key_priv: priv;
sm_key_pub: pub;
sm_key_priv: EddsaPrivateKey.t;
sm_key_pub: EddsaPublicKey.t;
mutable keys: key list;
}
@ -108,7 +104,7 @@ let gen_additional_keys_until_lookahead ~now l =
let new_keys =
List.map
(fun (t1, t2) ->
let priv, pub = Mirage_crypto_ec.Ed25519.generate () in
let priv, pub = EddsaPrivateKey.generate () in
{ priv; pub; t1; t2 })
periodes
in
@ -150,7 +146,7 @@ let init () =
match opt with
| Some t -> Ok t
| None ->
let sm_key_priv, sm_key_pub = Mirage_crypto_ec.Ed25519.generate () in
let sm_key_priv, sm_key_pub = EddsaPrivateKey.generate () in
let* () = write_eddsa sm_key_fpath sm_key_priv in
Ok { sm_key_priv; sm_key_pub; keys= [] }
in