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

+ wip

Browse source
This commit is contained in:
swrup 2026-02-05 17:57:27 +01:00
parent 258db38b52
commit 47925c05da
3 changed files with 87 additions and 85 deletions
Download patch file Download diff file Expand all files Collapse all files

74
src/bin_sig.ml
View file

@ -140,7 +140,7 @@ module DenominationKeyAnnouncement = struct
(* purpose.purpose = TALER_SIGNATURE_SM_DENOMINATION_KEY *) (* purpose.purpose = TALER_SIGNATURE_SM_DENOMINATION_KEY *)
type r = { type r = {
h_denom_pub: DenominationHash.t; h_denom_pub: DenominationHash.t;
h_section_name: Hash_64_cstr.t; h_section_name: Hash.Cstring.H64.t;
anchor_time: TimestampNBO.t; anchor_time: TimestampNBO.t;
duration_withdraw: TimeRelativeNBO.t; duration_withdraw: TimeRelativeNBO.t;
} }
@ -155,7 +155,7 @@ module DenominationKeyAnnouncement = struct
{ h_denom_pub; h_section_name; anchor_time; duration_withdraw }) { h_denom_pub; h_section_name; anchor_time; duration_withdraw })
|+ Purpose.field purpose |+ Purpose.field purpose
|+ field DenominationHash.bin (fun t -> t.h_denom_pub) |+ field DenominationHash.bin (fun t -> t.h_denom_pub)
|+ field Hash_64_cstr.bin (fun t -> t.h_section_name) |+ field Hash.Cstring.H64.bin (fun t -> t.h_section_name)
|+ field TimestampNBO.bin (fun t -> t.anchor_time) |+ field TimestampNBO.bin (fun t -> t.anchor_time)
|+ field TimeRelativeNBO.bin (fun t -> t.duration_withdraw) |+ field TimeRelativeNBO.bin (fun t -> t.duration_withdraw)
|> sealr |> sealr
@ -326,7 +326,7 @@ module MasterAddAuditor = struct
type r = { type r = {
start_date: TimestampNBO.t; start_date: TimestampNBO.t;
auditor_pub: AuditorPublicKeyP.t; auditor_pub: AuditorPublicKeyP.t;
h_auditor_url: Hash_64_cstr.t; h_auditor_url: Hash.Cstring.H64.t;
} }
let bin = let bin =
@ -337,7 +337,7 @@ module MasterAddAuditor = struct
|+ Purpose.field purpose |+ Purpose.field purpose
|+ field TimestampNBO.bin (fun t -> t.start_date) |+ field TimestampNBO.bin (fun t -> t.start_date)
|+ field AuditorPublicKeyP.bin (fun t -> t.auditor_pub) |+ field AuditorPublicKeyP.bin (fun t -> t.auditor_pub)
|+ field Hash_64_cstr.bin (fun t -> t.h_auditor_url) |+ field Hash.Cstring.H64.bin (fun t -> t.h_auditor_url)
|> sealr |> sealr
end end
@ -435,9 +435,9 @@ module MasterWireDetails = struct
(* purpose.purpose = TALER_SIGNATURE_MASTER_WIRE_DETAILS *) (* purpose.purpose = TALER_SIGNATURE_MASTER_WIRE_DETAILS *)
type r = { type r = {
h_wire_details: FullPaytoHash.t; h_wire_details: FullPaytoHash.t;
h_conversion_url: Hash_64_cstr.t; h_conversion_url: Hash.Cstring.H64.t;
h_credit_restrictions: Hash_64_cstr.t; h_credit_restrictions: Hash.Cstring.H64.t;
h_debit_restrictions: Hash_64_cstr.t; h_debit_restrictions: Hash.Cstring.H64.t;
} }
let bin = let bin =
@ -459,9 +459,9 @@ module MasterWireDetails = struct
}) })
|+ Purpose.field purpose |+ Purpose.field purpose
|+ field FullPaytoHash.bin (fun t -> t.h_wire_details) |+ field FullPaytoHash.bin (fun t -> t.h_wire_details)
|+ field Hash_64_cstr.bin (fun t -> t.h_conversion_url) |+ field Hash.Cstring.H64.bin (fun t -> t.h_conversion_url)
|+ field Hash_64_cstr.bin (fun t -> t.h_credit_restrictions) |+ field Hash.Cstring.H64.bin (fun t -> t.h_credit_restrictions)
|+ field Hash_64_cstr.bin (fun t -> t.h_debit_restrictions) |+ field Hash.Cstring.H64.bin (fun t -> t.h_debit_restrictions)
|> sealr |> sealr
end end
@ -475,9 +475,9 @@ module MasterAddWire = struct
type r = { type r = {
start_date: TimestampNBO.t; start_date: TimestampNBO.t;
h_wire: FullPaytoHash.t; h_wire: FullPaytoHash.t;
h_conversion_url: Hash_64_cstr.t; h_conversion_url: Hash.Cstring.H64.t;
h_credit_restrictions: Hash_64_cstr.t; h_credit_restrictions: Hash.Cstring.H64.t;
h_debit_restrictions: Hash_64_cstr.t; h_debit_restrictions: Hash.Cstring.H64.t;
} }
let bin = let bin =
@ -502,9 +502,9 @@ module MasterAddWire = struct
|+ Purpose.field _purpose |+ Purpose.field _purpose
|+ field TimestampNBO.bin (fun t -> t.start_date) |+ field TimestampNBO.bin (fun t -> t.start_date)
|+ field FullPaytoHash.bin (fun t -> t.h_wire) |+ field FullPaytoHash.bin (fun t -> t.h_wire)
|+ field Hash_64_cstr.bin (fun t -> t.h_conversion_url) |+ field Hash.Cstring.H64.bin (fun t -> t.h_conversion_url)
|+ field Hash_64_cstr.bin (fun t -> t.h_credit_restrictions) |+ field Hash.Cstring.H64.bin (fun t -> t.h_credit_restrictions)
|+ field Hash_64_cstr.bin (fun t -> t.h_debit_restrictions) |+ field Hash.Cstring.H64.bin (fun t -> t.h_debit_restrictions)
|> sealr |> sealr
end end
@ -541,7 +541,7 @@ module MasterDrainProfit = struct
wtid: WireTransferIdentifierRawP.t; wtid: WireTransferIdentifierRawP.t;
date: TimestampNBO.t; date: TimestampNBO.t;
amount: AmountNBO.t; amount: AmountNBO.t;
h_section: Hash_64_cstr.t; h_section: Hash.Cstring.H64.t;
h_payto: FullPaytoHash.t; h_payto: FullPaytoHash.t;
} }
@ -554,7 +554,7 @@ module MasterDrainProfit = struct
|+ field WireTransferIdentifierRawP.bin (fun t -> t.wtid) |+ field WireTransferIdentifierRawP.bin (fun t -> t.wtid)
|+ field TimestampNBO.bin (fun t -> t.date) |+ field TimestampNBO.bin (fun t -> t.date)
|+ field AmountNBO.bin (fun t -> t.amount) |+ field AmountNBO.bin (fun t -> t.amount)
|+ field Hash_64_cstr.bin (fun t -> t.h_section) |+ field Hash.Cstring.H64.bin (fun t -> t.h_section)
|+ field FullPaytoHash.bin (fun t -> t.h_payto) |+ field FullPaytoHash.bin (fun t -> t.h_payto)
|> sealr |> sealr
end end
@ -569,7 +569,7 @@ module MasterAmlOfficerStatus = struct
type r = { type r = {
change_date: TimestampNBO.t; change_date: TimestampNBO.t;
officer_pub: AmlOfficerPublicKeyP.t; officer_pub: AmlOfficerPublicKeyP.t;
h_officer_name: Hash_64_cstr.t; h_officer_name: Hash.Cstring.H64.t;
is_active: int32; is_active: int32;
} }
@ -581,7 +581,7 @@ module MasterAmlOfficerStatus = struct
|+ Purpose.field _purpose |+ Purpose.field _purpose
|+ field TimestampNBO.bin (fun t -> t.change_date) |+ field TimestampNBO.bin (fun t -> t.change_date)
|+ field AmlOfficerPublicKeyP.bin (fun t -> t.officer_pub) |+ field AmlOfficerPublicKeyP.bin (fun t -> t.officer_pub)
|+ field Hash_64_cstr.bin (fun t -> t.h_officer_name) |+ field Hash.Cstring.H64.bin (fun t -> t.h_officer_name)
|+ field beint32 (fun t -> t.is_active) |+ field beint32 (fun t -> t.is_active)
|> sealr |> sealr
end end
@ -601,7 +601,7 @@ module PartnerConfiguration = struct
end_date: TimestampNBO.t; end_date: TimestampNBO.t;
wad_frequency: TimeRelativeNBO.t; wad_frequency: TimeRelativeNBO.t;
wad_fee: AmountNBO.t; wad_fee: AmountNBO.t;
h_url: Hash_64_cstr.t; h_url: Hash.Cstring.H64.t;
} }
let bin = let bin =
@ -624,7 +624,7 @@ module PartnerConfiguration = struct
|+ field TimestampNBO.bin (fun t -> t.end_date) |+ field TimestampNBO.bin (fun t -> t.end_date)
|+ field TimeRelativeNBO.bin (fun t -> t.wad_frequency) |+ field TimeRelativeNBO.bin (fun t -> t.wad_frequency)
|+ field AmountNBO.bin (fun t -> t.wad_fee) |+ field AmountNBO.bin (fun t -> t.wad_fee)
|+ field Hash_64_cstr.bin (fun t -> t.h_url) |+ field Hash.Cstring.H64.bin (fun t -> t.h_url)
|> sealr |> sealr
end end
@ -636,7 +636,7 @@ module WadPartnerSignature = struct
module R = struct module R = struct
(* purpose.purpose = TALER_SIGNATURE_MASTER_PARTNER_DETAILS *) (* purpose.purpose = TALER_SIGNATURE_MASTER_PARTNER_DETAILS *)
type r = { type r = {
h_partner_base_url: Hash_64_cstr.t; h_partner_base_url: Hash.Cstring.H64.t;
master_public_key: MasterPublicKeyP.t; master_public_key: MasterPublicKeyP.t;
start_date: TimestampNBO.t; start_date: TimestampNBO.t;
end_date: TimestampNBO.t; end_date: TimestampNBO.t;
@ -667,7 +667,7 @@ module WadPartnerSignature = struct
wad_frequency; wad_frequency;
}) })
|+ Purpose.field _purpose |+ Purpose.field _purpose
|+ field Hash_64_cstr.bin (fun t -> t.h_partner_base_url) |+ field Hash.Cstring.H64.bin (fun t -> t.h_partner_base_url)
|+ field MasterPublicKeyP.bin (fun t -> t.master_public_key) |+ field MasterPublicKeyP.bin (fun t -> t.master_public_key)
|+ field TimestampNBO.bin (fun t -> t.start_date) |+ field TimestampNBO.bin (fun t -> t.start_date)
|+ field TimestampNBO.bin (fun t -> t.end_date) |+ field TimestampNBO.bin (fun t -> t.end_date)
@ -684,7 +684,7 @@ module MasterWireFee = struct
module R = struct module R = struct
(* purpose.purpose = TALER_SIGNATURE_MASTER_WIRE_FEES *) (* purpose.purpose = TALER_SIGNATURE_MASTER_WIRE_FEES *)
type r = { type r = {
h_wire_method: Hash_64_cstr.t; h_wire_method: Hash.Cstring.H64.t;
start_date: TimestampNBO.t; start_date: TimestampNBO.t;
end_date: TimestampNBO.t; end_date: TimestampNBO.t;
wire_fee: AmountNBO.t; wire_fee: AmountNBO.t;
@ -698,7 +698,7 @@ module MasterWireFee = struct
(fun _purpose h_wire_method start_date end_date wire_fee closing_fee -> (fun _purpose h_wire_method start_date end_date wire_fee closing_fee ->
{ h_wire_method; start_date; end_date; wire_fee; closing_fee }) { h_wire_method; start_date; end_date; wire_fee; closing_fee })
|+ Purpose.field _purpose |+ Purpose.field _purpose
|+ field Hash_64_cstr.bin (fun t -> t.h_wire_method) |+ field Hash.Cstring.H64.bin (fun t -> t.h_wire_method)
|+ field TimestampNBO.bin (fun t -> t.start_date) |+ field TimestampNBO.bin (fun t -> t.start_date)
|+ field TimestampNBO.bin (fun t -> t.end_date) |+ field TimestampNBO.bin (fun t -> t.end_date)
|+ field AmountNBO.bin (fun t -> t.wire_fee) |+ field AmountNBO.bin (fun t -> t.wire_fee)
@ -714,7 +714,7 @@ module ExchangeKeyValidity = struct
module R = struct module R = struct
(* purpose.purpose = TALER_SIGNATURE_AUDITOR_EXCHANGE_KEYS *) (* purpose.purpose = TALER_SIGNATURE_AUDITOR_EXCHANGE_KEYS *)
type r = { type r = {
auditor_url_hash: Hash_64_cstr.t; auditor_url_hash: Hash.Cstring.H64.t;
master: MasterPublicKeyP.t; master: MasterPublicKeyP.t;
start: TimestampNBO.t; start: TimestampNBO.t;
expire_withdraw: TimestampNBO.t; expire_withdraw: TimestampNBO.t;
@ -759,7 +759,7 @@ module ExchangeKeyValidity = struct
denom_hash; denom_hash;
}) })
|+ Purpose.field _purpose |+ Purpose.field _purpose
|+ field Hash_64_cstr.bin (fun t -> t.auditor_url_hash) |+ field Hash.Cstring.H64.bin (fun t -> t.auditor_url_hash)
|+ field MasterPublicKeyP.bin (fun t -> t.master) |+ field MasterPublicKeyP.bin (fun t -> t.master)
|+ field TimestampNBO.bin (fun t -> t.start) |+ field TimestampNBO.bin (fun t -> t.start)
|+ field TimestampNBO.bin (fun t -> t.expire_withdraw) |+ field TimestampNBO.bin (fun t -> t.expire_withdraw)
@ -872,7 +872,7 @@ module DepositRequest = struct
amount_with_fee: AmountNBO.t; amount_with_fee: AmountNBO.t;
deposit_fee: AmountNBO.t; deposit_fee: AmountNBO.t;
merchant: MerchantPublicKeyP.t; merchant: MerchantPublicKeyP.t;
wallet_data_hash: Hash_64_cstr.t; wallet_data_hash: Hash.Cstring.H64.t;
} }
end end
@ -935,7 +935,7 @@ module WireDepositData = struct
wire_fee: AmountNBO.t; wire_fee: AmountNBO.t;
merchant_pub: MerchantPublicKeyP.t; merchant_pub: MerchantPublicKeyP.t;
h_wire: MerchantWireHash.t; h_wire: MerchantWireHash.t;
h_details: Hash_64_cstr.t; h_details: Hash.Cstring.H64.t;
} }
end end
@ -996,7 +996,7 @@ end
module MerchantRefundConfirmation = struct module MerchantRefundConfirmation = struct
(* purpose.purpose = TALER_SIGNATURE_MERCHANT_REFUND_OK *) (* purpose.purpose = TALER_SIGNATURE_MERCHANT_REFUND_OK *)
(* Hash of the order ID (a string), hashed without the 0-termination. *) (* Hash of the order ID (a string), hashed without the 0-termination. *)
type t = { h_order_id: Hash_64_cstr.t } type t = { h_order_id: Hash.Cstring.H64.t }
end end
module RecoupRequest = struct module RecoupRequest = struct
@ -1121,7 +1121,7 @@ module PurseDepositSignature = struct
h_denom_pub: DenominationHash.t; h_denom_pub: DenominationHash.t;
h_age_commitment: AgeCommitmentHash.t; h_age_commitment: AgeCommitmentHash.t;
purse_pub: PursePublicKey.t; purse_pub: PursePublicKey.t;
h_exchange_base_url: Hash_64_cstr.t; h_exchange_base_url: Hash.Cstring.H64.t;
} }
end end
@ -1188,7 +1188,7 @@ module WadDataSignature = struct
type t = { type t = {
wad_execution_time: TimestampNBO.t; wad_execution_time: TimestampNBO.t;
total_amount: AmountNBO.t; total_amount: AmountNBO.t;
h_items: Hash_64_cstr.t; h_items: Hash.Cstring.H64.t;
wad_id: WadId.t; wad_id: WadId.t;
} }
end end
@ -1221,11 +1221,11 @@ end
module AmlDecision = struct module AmlDecision = struct
(* purpose.purpose = TALER_SIGNATURE_AML_DECISION *) (* purpose.purpose = TALER_SIGNATURE_AML_DECISION *)
type t = { type t = {
h_justification: Hash_64_cstr.t; h_justification: Hash.Cstring.H64.t;
decision_time: TimestampNBO.t; decision_time: TimestampNBO.t;
new_threshold: AmountNBO.t; new_threshold: AmountNBO.t;
h_payto: NormalizedPaytoHash.t; h_payto: NormalizedPaytoHash.t;
h_kyc_requirements: Hash_64_cstr.t; h_kyc_requirements: Hash.Cstring.H64.t;
new_state: int; new_state: int;
} }
end end
@ -1252,7 +1252,7 @@ module ReserveAttestRequest = struct
(* purpose.purpose = TALER_SIGNATURE_WALLET_ATTEST_REQUEST *) (* purpose.purpose = TALER_SIGNATURE_WALLET_ATTEST_REQUEST *)
type t = { type t = {
request_timestamp: TimestampNBO.t; request_timestamp: TimestampNBO.t;
h_details: Hash_64_cstr.t; h_details: Hash.Cstring.H64.t;
} }
end end
@ -1262,6 +1262,6 @@ module ExchangeAttest = struct
attest_timestamp: TimestampNBO.t; attest_timestamp: TimestampNBO.t;
expiration_time: TimestampNBO.t; expiration_time: TimestampNBO.t;
reserve_pub: ReservePublicKeyP.t; reserve_pub: ReservePublicKeyP.t;
h_attributes: Hash_64_cstr.t; h_attributes: Hash.Cstring.H64.t;
} }
end end

56
src/hash.ml
View file

@ -8,6 +8,18 @@
open Digestif open Digestif
module type S = sig
type t
val bin : t Bin.t
val caqti : t Caqti_type.t
val jsont : t Jsont.t
val hash : string -> t
val of_octets : string -> t
val to_octets : t -> string
val of_b32 : B32.t -> (t, string) result
end
module H32 = struct module H32 = struct
type t = SHA256.t type t = SHA256.t
@ -74,42 +86,32 @@ module H64 = struct
end end
(* Hash over string + '\0' *) (* Hash over string + '\0' *)
module H32_cstr = struct module Cstring = struct
module H32 = struct
include H32 include H32
let hash s = let hash s =
let s = s ^ "\x00" in let s = s ^ "\x00" in
SHA256.(digest_string s) hash s
end end
module H64_cstr = struct module H64 = struct
include H64 include H64
let hash s = let hash s =
let s = s ^ "\x00" in let s = s ^ "\x00" in
SHA512.(digest_string s) hash s
end
end end
module type Hash_S = sig module FullPaytoHash : S = H32
type t module NormalizedPaytoHash : S = H32
module DenominationHash : S = H64
val bin : t Bin.t module PrivateContractHash : S = H64
val caqti : t Caqti_type.t module ExtensionsPolicyHash : S = H64
val jsont : t Jsont.t module MerchantWireHash : S = H64
val hash : string -> t module AgeCommitmentHash : S = H64
val of_octets : string -> t module BlindedCoinHash : S = H64
val to_octets : t -> string module CoinPubHash : S = H64
val of_b32 : B32.t -> (t, string) result module OutputCommitmentHash : S = H64
end module HashPlanchetsP : S = H64
module FullPaytoHash : Hash_S = H32
module NormalizedPaytoHash : Hash_S = H32
module DenominationHash : Hash_S = H64
module PrivateContractHash : Hash_S = H64
module ExtensionsPolicyHash : Hash_S = H64
module MerchantWireHash : Hash_S = H64
module AgeCommitmentHash : Hash_S = H64
module BlindedCoinHash : Hash_S = H64
module CoinPubHash : Hash_S = H64
module OutputCommitmentHash : Hash_S = H64
module HashPlanchetsP : Hash_S = H64

24
src/http_management.ml
View file

@ -27,7 +27,7 @@ module Keys_get = struct
let denom_secmod_sig = let denom_secmod_sig =
let open Bin_sig.DenominationKeyAnnouncement in let open Bin_sig.DenominationKeyAnnouncement in
let h_denom_pub = h_pub in let h_denom_pub = h_pub in
let h_section_name = Hash_64_cstr.hash section_name in let h_section_name = Hash.Cstring.H64.hash section_name in
let anchor_time = stamp_start in let anchor_time = stamp_start in
let duration_withdraw = let duration_withdraw =
Timestamp.diff stamp_start stamp_expire_withdraw Timestamp.diff stamp_start stamp_expire_withdraw
@ -294,7 +294,7 @@ module Auditors = struct
{ {
start_date= validity_start; start_date= validity_start;
auditor_pub; auditor_pub;
h_auditor_url= Hash_64_cstr.hash auditor_url; h_auditor_url= Hash.Cstring.H64.hash auditor_url;
} }
(* TODO timestamps last_change +/- checks *) (* TODO timestamps last_change +/- checks *)
@ -390,7 +390,7 @@ module Wire_fee = struct
let open Bin_sig.MasterWireFee in let open Bin_sig.MasterWireFee in
verify_f ~f:Sm.verify_with_master_key master_sig_wire verify_f ~f:Sm.verify_with_master_key master_sig_wire
{ {
h_wire_method= Hash_64_cstr.hash wire_method; h_wire_method= Hash.Cstring.H64.hash wire_method;
start_date= fee_start; start_date= fee_start;
end_date= fee_end; end_date= fee_end;
wire_fee; wire_fee;
@ -533,9 +533,9 @@ module Wire = struct
verify_f ~f:Sm.verify_with_master_key master_sig_wire verify_f ~f:Sm.verify_with_master_key master_sig_wire
{ {
h_wire_details= FullPaytoHash.hash payto_uri; h_wire_details= FullPaytoHash.hash payto_uri;
h_conversion_url= Hash_64_cstr.hash conversion_url; h_conversion_url= Hash.Cstring.H64.hash conversion_url;
h_credit_restrictions= Hash_64_cstr.hash credit_restrictions; h_credit_restrictions= Hash.Cstring.H64.hash credit_restrictions;
h_debit_restrictions= Hash_64_cstr.hash debit_restrictions; h_debit_restrictions= Hash.Cstring.H64.hash debit_restrictions;
} }
in in
let* () = let* () =
@ -544,9 +544,9 @@ module Wire = struct
{ {
start_date= validity_start; start_date= validity_start;
h_wire= FullPaytoHash.hash payto_uri; h_wire= FullPaytoHash.hash payto_uri;
h_conversion_url= Hash_64_cstr.hash conversion_url; h_conversion_url= Hash.Cstring.H64.hash conversion_url;
h_credit_restrictions= Hash_64_cstr.hash credit_restrictions; h_credit_restrictions= Hash.Cstring.H64.hash credit_restrictions;
h_debit_restrictions= Hash_64_cstr.hash debit_restrictions; h_debit_restrictions= Hash.Cstring.H64.hash debit_restrictions;
} }
in in
Ok () Ok ()
@ -643,7 +643,7 @@ module Drain = struct
wtid; wtid;
date; date;
amount; amount;
h_section= Hash_64_cstr.hash debit_account_section; h_section= Hash.Cstring.H64.hash debit_account_section;
h_payto= FullPaytoHash.hash credit_payto_uri; h_payto= FullPaytoHash.hash credit_payto_uri;
} }
@ -683,7 +683,7 @@ module AmlOfficer = struct
{ {
change_date; change_date;
officer_pub; officer_pub;
h_officer_name= Hash_64_cstr.hash officer_name; h_officer_name= Hash.Cstring.H64.hash officer_name;
is_active; is_active;
} }
@ -726,7 +726,7 @@ module Partners = struct
end_date; end_date;
wad_frequency; wad_frequency;
wad_fee; wad_fee;
h_url= Hash_64_cstr.hash partner_base_url; h_url= Hash.Cstring.H64.hash partner_base_url;
} }
let do_ ~db_conn v = let do_ ~db_conn v =