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

add denom revoke

Browse source
This commit is contained in:
swrup 2025-12-07 17:21:08 +01:00
parent edbe3ceb70
commit 472463e68b
7 changed files with 84 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

24
src/secmod_denom.ml
View file

@ -1,9 +1,15 @@
open Syntax
type h_denom_pub = Bin_type.DenominationHash.t
type t = {
lock: Miou.Mutex.t;
sm_key: Signkey.t;
denom_ht: (Bin_type.DenominationHash.t, Denomination.t) Hashtbl.t;
denom_ht: (h_denom_pub, Denomination.t) Hashtbl.t;
revoked_ht:
( h_denom_pub,
Denomination.t * Bin_sig.MasterDenominationKeyRevocation.t )
Hashtbl.t;
}
let get_sm_key t = t.sm_key
@ -27,8 +33,18 @@ let add_master_signatures conn t l =
Ok ())
l
let revoke_denomination t h_denom_pub master_sig =
Miou.Mutex.protect t.lock @@ fun () ->
match Hashtbl.find_opt t.denom_ht h_denom_pub with
| None -> Error "secmod_denom failure: denomination hash not found."
| Some denom ->
Hashtbl.remove t.denom_ht h_denom_pub;
Hashtbl.replace t.revoked_ht h_denom_pub (denom, master_sig);
Ok ()
let dir = Fpath.(v "data" / "secmod_signkey")
(* TODO secmod store *)
let _store_secmod_data t =
let* () = Data_file.write_eddsa Fpath.(dir / "sm_key") t.sm_key.priv in
get_denoms t
@ -67,7 +83,8 @@ let load conn =
|> List.to_seq
|> Hashtbl.of_seq
in
Ok (Some { lock; sm_key; denom_ht })
let revoked_ht = Hashtbl.create 0xff in
Ok (Some { lock; sm_key; denom_ht; revoked_ht })
| _, _ -> error_invalid_state
let make_new () =
@ -80,7 +97,8 @@ let make_new () =
|> List.to_seq
|> Hashtbl.of_seq
in
{ lock; sm_key; denom_ht }
let revoked_ht = Hashtbl.create 0xff in
{ lock; sm_key; denom_ht; revoked_ht }
let init conn =
match load conn with