22 lines
553 B
OCaml
22 lines
553 B
OCaml
open Crypto
|
|
|
|
type t = {
|
|
pub: eddsa_pub;
|
|
stamp_start: Timestamp.t;
|
|
stamp_expire: Timestamp.t;
|
|
stamp_end: Timestamp.t;
|
|
master_sig: Signatures.ExchangeSigningKeyValidity.t;
|
|
}
|
|
|
|
let verify_exchange_signing_key_validity ~key sk =
|
|
let open Signatures.ExchangeSigningKeyValidity in
|
|
verify key sk.master_sig
|
|
{
|
|
R.start= sk.stamp_start;
|
|
expire= sk.stamp_expire;
|
|
end_= sk.stamp_end;
|
|
signkey_pub= sk.pub;
|
|
}
|
|
|
|
let is_valid_at ~timestamp sk =
|
|
Timestamp.geq sk.stamp_start timestamp && Timestamp.lt timestamp sk.stamp_end
|