~
This commit is contained in:
parent
812b81a966
commit
cc81892a06
1 changed files with 3 additions and 5 deletions
|
|
@ -2,15 +2,11 @@ open Types
|
|||
|
||||
(* TODO
|
||||
- take secmod devices as param
|
||||
- time stuff
|
||||
- hash stuff
|
||||
what is the hash algorithm
|
||||
is it hash'ed then base32'ed in xxxP?
|
||||
... *)
|
||||
|
||||
let mk_denomination_key rsa_pub =
|
||||
DenominationKey.Rsa RsaDenominationKey.{ age_mask= 0; rsa_pub }
|
||||
|
||||
let mk_future_denom denom_secmod_sign_f
|
||||
({
|
||||
section_name;
|
||||
|
|
@ -27,7 +23,9 @@ let mk_future_denom denom_secmod_sign_f
|
|||
sign= _;
|
||||
} :
|
||||
Secmod_denom.rsa_denom) =
|
||||
let denom_pub = mk_denomination_key pub in
|
||||
let denom_pub =
|
||||
DenominationKey.Rsa RsaDenominationKey.{ age_mask= 0; rsa_pub= pub }
|
||||
in
|
||||
let denom_secmod_sig =
|
||||
let open Binary_formats in
|
||||
let h_denom_pub =
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue