swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

.

Browse source
This commit is contained in:
swrup 2025-12-16 17:36:53 +01:00
parent e870972808
commit ba68b2b8a6
4 changed files with 57 additions and 114 deletions
Download patch file Download diff file Expand all files Collapse all files

73
src/pg.ml
View file

@ -243,65 +243,26 @@ let insert_signkey =
in
fun (module Conn : CONN) v -> Conn.exec insert_signkey v
(* TODO return type *)
let lookup_denomination_key =
let lookup_denomination_key =
Caqti_type.(
denomination_hash
->? t10 time time time time amount amount amount amount amount age_mask)
"SELECT valid_from, expire_withdraw, expire_deposit, expire_legal, \
(coin).*, (fee_withdraw).*, (fee_deposit).*, (fee_refresh).*, \
(fee_refund).*, age_mask FROM denominations WHERE denom_pub_hash=$1"
let find_denom =
let find_denom =
Caqti_type.(denomination_hash ->? denom_data)
"SELECT denom_pub, (coin).*, valid_from, expire_withdraw, \
expire_deposit, expire_legal, (fee_withdraw).*, (fee_deposit).*, \
(fee_refresh).*, (fee_refund).*, age_mask, denom_pub_hash, master_sig \
FROM denominations WHERE denom_pub_hash=$1"
in
fun (module Conn : CONN) (h_denom_pub : DenominationHash.t) ->
Conn.find_opt lookup_denomination_key h_denom_pub
fun (module Conn : CONN) h_denom_pub -> Conn.find_opt find_denom h_denom_pub
let add_denomination_key =
let denomination_insert =
let master_sig = Bin_sig.DenominationKeyValidity.caqti in
Caqti_type.(
t12 denomination_hash rsa_pub master_sig time time time time amount amount
amount amount (t2 amount age_mask)
->. unit)
"INSERT INTO denominations (denom_pub_hash, denom_pub, master_sig, \
valid_from, expire_withdraw, expire_deposit, expire_legal, coin, \
fee_withdraw, fee_deposit, fee_refresh, fee_refund, age_mask) VALUES \
($1, $2, $3, $4, $5, $6, $7, ($8,$9), ($10,$11),($12,$13), ($14,$15), \
($16,$17), $18)"
let insert_denom =
let insert_denom =
Caqti_type.(denom_data ->. unit)
"INSERT INTO denominations (denom_pub, (coin).*, valid_from, \
expire_withdraw, expire_deposit, expire_legal, (fee_withdraw).*, \
(fee_deposit).*, (fee_refresh).*, (fee_refund).*, age_mask, \
denom_pub_hash, master_sig) VALUES ($1, ($2, $3), $4, $5, $6, $7, \
($8,$9), ($10,$11), ($12,$13), ($14,$15), $18, $19, $18)"
in
fun (module Conn : CONN)
~master_sig
Denom_data.
{
pub;
value;
stamp_start;
stamp_expire_withdraw;
stamp_expire_deposit;
stamp_expire_legal;
fee_withdraw;
fee_deposit;
fee_refresh;
fee_refund;
age_mask;
h_pub;
master_sig= master_sig_opt;
}
->
assert (master_sig_opt = Some master_sig);
Conn.exec denomination_insert
( h_pub,
pub,
master_sig,
stamp_start,
stamp_expire_withdraw,
stamp_expire_deposit,
stamp_expire_legal,
value,
fee_withdraw,
fee_deposit,
fee_refresh,
(fee_refund, age_mask) )
fun (module Conn : CONN) v -> Conn.exec insert_denom v
let insert_denomination_revocation =
let denomination_revocation_insert =