This commit is contained in:
parent
0274ba6bd0
commit
ac1e632f16
1 changed files with 8 additions and 1 deletions
|
|
@ -77,7 +77,14 @@ module Keys_post = struct
|
|||
list_iter
|
||||
(fun SignKeySignature.{ key; master_sig } ->
|
||||
match List.find_opt (fun sk -> sk.FutureSignKey.key = key) fsk_l with
|
||||
| None -> Error "future signkey not found"
|
||||
| None ->
|
||||
(
|
||||
let* opt = Keys.find_signkey key in
|
||||
match opt with
|
||||
| None ->
|
||||
Error "future signkey not found"
|
||||
| Some _sk ->
|
||||
)
|
||||
| Some fsk -> verify_sk (module Keys) fsk master_sig)
|
||||
signkey_sigs
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue