This commit is contained in:
parent
0f1388be6a
commit
64f066def9
1 changed files with 1 additions and 1 deletions
|
|
@ -2,7 +2,7 @@
|
||||||
- key rotation
|
- key rotation
|
||||||
- how many signkey to use?
|
- how many signkey to use?
|
||||||
we just use 1 for now
|
we just use 1 for now
|
||||||
- does the secmod's key as metadata/expiration date? *)
|
- does the secmod's own key as metadata/expiration date? *)
|
||||||
open Syntax
|
open Syntax
|
||||||
open Crypto
|
open Crypto
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue