This commit is contained in:
parent
2afce02f3c
commit
e371774753
2 changed files with 8 additions and 8 deletions
|
|
@ -1,29 +1,29 @@
|
||||||
module Secmod_signkey = struct
|
module Secmod_signkey = struct
|
||||||
type t = {
|
type t = {
|
||||||
secmod_key: Signkey.t;
|
secmod_key: Signkey.t;
|
||||||
signkeys: Signkey.t list;
|
keys: Signkey.t list;
|
||||||
}
|
}
|
||||||
|
|
||||||
let v =
|
let v =
|
||||||
let finally _key = () in
|
let finally _key = () in
|
||||||
Vif.Device.v ~name:"secmod_signkey" ~finally [] @@ fun () ->
|
Vif.Device.v ~name:"secmod_signkey" ~finally [] @@ fun () ->
|
||||||
let secmod_key = Signkey.generate () in
|
let secmod_key = Signkey.generate () in
|
||||||
let signkeys = [ Signkey.generate () ] in
|
let keys = [ Signkey.generate () ] in
|
||||||
{ secmod_key; signkeys }
|
{ secmod_key; keys }
|
||||||
end
|
end
|
||||||
|
|
||||||
module Secmod_denom = struct
|
module Secmod_denom = struct
|
||||||
type t = {
|
type t = {
|
||||||
secmod_key: Signkey.t;
|
secmod_key: Signkey.t;
|
||||||
denom_keys: Denomination.t list;
|
keys: Denomination.t list;
|
||||||
}
|
}
|
||||||
|
|
||||||
let v =
|
let v =
|
||||||
let finally _key = () in
|
let finally _key = () in
|
||||||
Vif.Device.v ~name:"secmod_denom" ~finally [] @@ fun () ->
|
Vif.Device.v ~name:"secmod_denom" ~finally [] @@ fun () ->
|
||||||
let secmod_key = Signkey.generate () in
|
let secmod_key = Signkey.generate () in
|
||||||
let denom_keys = List.map Denomination.make Config.coins in
|
let keys = List.map Denomination.make Config.coins in
|
||||||
{ secmod_key; denom_keys }
|
{ secmod_key; keys }
|
||||||
end
|
end
|
||||||
|
|
||||||
let secmod_signkey = Secmod_signkey.v
|
let secmod_signkey = Secmod_signkey.v
|
||||||
|
|
|
||||||
|
|
@ -92,12 +92,12 @@ let mk_future_signkey signkey_signf
|
||||||
let mk_future_keys_response (secmod_signkey : Secmod_signkey.t)
|
let mk_future_keys_response (secmod_signkey : Secmod_signkey.t)
|
||||||
(secmod_denom : Secmod_denom.t) =
|
(secmod_denom : Secmod_denom.t) =
|
||||||
let future_denoms =
|
let future_denoms =
|
||||||
secmod_denom.denom_keys
|
secmod_denom.keys
|
||||||
|> List.filter (fun k -> Option.is_none k.Denomination.master_sig)
|
|> List.filter (fun k -> Option.is_none k.Denomination.master_sig)
|
||||||
|> List.map (mk_future_denom secmod_denom.secmod_key.Signkey.sign)
|
|> List.map (mk_future_denom secmod_denom.secmod_key.Signkey.sign)
|
||||||
in
|
in
|
||||||
let future_signkeys =
|
let future_signkeys =
|
||||||
secmod_signkey.signkeys
|
secmod_signkey.keys
|
||||||
|> List.filter (fun k -> Option.is_none k.Signkey.master_sig)
|
|> List.filter (fun k -> Option.is_none k.Signkey.master_sig)
|
||||||
|> List.map (mk_future_signkey secmod_signkey.secmod_key.sign)
|
|> List.map (mk_future_signkey secmod_signkey.secmod_key.sign)
|
||||||
in
|
in
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue