/* This file is part of TALER Copyright (C) 2014-2023 Taler Systems SA TALER is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3, or (at your option) any later version. TALER is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with TALER; see the file COPYING. If not, see */ /** * @file lib/exchange_api_coins_history.c * @brief Implementation of the POST /coins/$COIN_PUB/history requests * @author Christian Grothoff * * NOTE: this is an incomplete draft, never finished! */ #include "platform.h" #include #include /* just for HTTP history codes */ #include #include #include #include "taler_exchange_service.h" #include "taler_json_lib.h" #include "exchange_api_handle.h" #include "taler_signatures.h" #include "exchange_api_curl_defaults.h" /** * @brief A /coins/$RID/history Handle */ struct TALER_EXCHANGE_CoinsHistoryHandle { /** * The url for this request. */ char *url; /** * Handle for the request. */ struct GNUNET_CURL_Job *job; /** * Context for #TEH_curl_easy_post(). Keeps the data that must * persist for Curl to make the upload. */ struct TALER_CURL_PostContext post_ctx; /** * Function to call with the result. */ TALER_EXCHANGE_CoinsHistoryCallback cb; /** * Public key of the coin we are querying. */ struct TALER_CoinSpendPublicKeyP coin_pub; /** * Closure for @a cb. */ void *cb_cls; }; /** * Context for coin helpers. */ struct CoinHistoryParseContext { /** * Keys of the exchange. */ struct TALER_EXCHANGE_Keys *keys; /** * Denomination of the coin. */ const struct TALER_EXCHANGE_DenomPublicKey *dk; /** * Our coin public key. */ const struct TALER_CoinSpendPublicKeyP *coin_pub; /** * Where to sum up total refunds. */ struct TALER_Amount *total_in; /** * Total amount encountered. */ struct TALER_Amount *total_out; }; /** * Signature of functions that operate on one of * the coin's history entries. * * @param[in,out] pc overall context * @param[out] rh where to write the history entry * @param amount main amount of this operation * @param transaction JSON details for the operation * @return #GNUNET_SYSERR on error, * #GNUNET_OK to add, #GNUNET_NO to subtract */ typedef enum GNUNET_GenericReturnValue (*CoinCheckHelper)(struct CoinHistoryParseContext *pc, struct TALER_EXCHANGE_CoinHistoryEntry *rh, const struct TALER_Amount *amount, json_t *transaction); /** * Handle deposit entry in the coin's history. * * @param[in,out] pc overall context * @param[out] rh history entry to initialize * @param amount main amount of this operation * @param transaction JSON details for the operation * @return #GNUNET_SYSERR on error, * #GNUNET_OK to add, #GNUNET_NO to subtract */ static enum GNUNET_GenericReturnValue help_deposit (struct CoinHistoryParseContext *pc, struct TALER_EXCHANGE_CoinHistoryEntry *rh, const struct TALER_Amount *amount, json_t *transaction) { struct GNUNET_JSON_Specification spec[] = { GNUNET_JSON_spec_fixed_auto ("coin_sig", &rh->details.deposit.sig), GNUNET_JSON_spec_fixed_auto ("h_contract_terms", &rh->details.deposit.h_contract_terms), GNUNET_JSON_spec_mark_optional ( GNUNET_JSON_spec_fixed_auto ("wallet_data_hash", &rh->details.deposit.wallet_data_hash), &rh->details.deposit.no_wallet_data_hash), GNUNET_JSON_spec_fixed_auto ("h_wire", &rh->details.deposit.h_wire), GNUNET_JSON_spec_mark_optional ( GNUNET_JSON_spec_fixed_auto ("h_age_commitment", &rh->details.deposit.hac), &rh->details.deposit.no_hac), GNUNET_JSON_spec_mark_optional ( GNUNET_JSON_spec_fixed_auto ("h_policy", &rh->details.deposit.h_policy), &rh->details.deposit.no_h_policy), GNUNET_JSON_spec_timestamp ("timestamp", &rh->details.deposit.wallet_timestamp), GNUNET_JSON_spec_mark_optional ( GNUNET_JSON_spec_timestamp ("refund_deadline", &rh->details.deposit.refund_deadline), NULL), TALER_JSON_spec_amount_any ("deposit_fee", &rh->details.deposit.deposit_fee), GNUNET_JSON_spec_fixed_auto ("merchant_pub", &rh->details.deposit.merchant_pub), GNUNET_JSON_spec_end () }; rh->details.deposit.refund_deadline = GNUNET_TIME_UNIT_ZERO_TS; if (GNUNET_OK != GNUNET_JSON_parse (transaction, spec, NULL, NULL)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (GNUNET_OK != TALER_wallet_deposit_verify ( amount, &rh->details.deposit.deposit_fee, &rh->details.deposit.h_wire, &rh->details.deposit.h_contract_terms, rh->details.deposit.no_wallet_data_hash ? NULL : &rh->details.deposit.wallet_data_hash, rh->details.deposit.no_hac ? NULL : &rh->details.deposit.hac, rh->details.deposit.no_h_policy ? NULL : &rh->details.deposit.h_policy, &pc->dk->h_key, rh->details.deposit.wallet_timestamp, &rh->details.deposit.merchant_pub, rh->details.deposit.refund_deadline, pc->coin_pub, &rh->details.deposit.sig)) { GNUNET_break_op (0); return GNUNET_SYSERR; } /* check that deposit fee matches our expectations from /keys! */ if ( (GNUNET_YES != TALER_amount_cmp_currency (&rh->details.deposit.deposit_fee, &pc->dk->fees.deposit)) || (0 != TALER_amount_cmp (&rh->details.deposit.deposit_fee, &pc->dk->fees.deposit)) ) { GNUNET_break_op (0); return GNUNET_SYSERR; } return GNUNET_YES; } /** * Handle melt entry in the coin's history. * * @param[in,out] pc overall context * @param[out] rh history entry to initialize * @param amount main amount of this operation * @param transaction JSON details for the operation * @return #GNUNET_SYSERR on error, * #GNUNET_OK to add, #GNUNET_NO to subtract */ static enum GNUNET_GenericReturnValue help_melt (struct CoinHistoryParseContext *pc, struct TALER_EXCHANGE_CoinHistoryEntry *rh, const struct TALER_Amount *amount, json_t *transaction) { struct GNUNET_JSON_Specification spec[] = { GNUNET_JSON_spec_fixed_auto ("coin_sig", &rh->details.melt.sig), GNUNET_JSON_spec_fixed_auto ("rc", &rh->details.melt.rc), GNUNET_JSON_spec_mark_optional ( GNUNET_JSON_spec_fixed_auto ("h_age_commitment", &rh->details.melt.h_age_commitment), &rh->details.melt.no_hac), TALER_JSON_spec_amount_any ("melt_fee", &rh->details.melt.melt_fee), GNUNET_JSON_spec_end () }; if (GNUNET_OK != GNUNET_JSON_parse (transaction, spec, NULL, NULL)) { GNUNET_break_op (0); return GNUNET_SYSERR; } /* check that melt fee matches our expectations from /keys! */ if ( (GNUNET_YES != TALER_amount_cmp_currency (&rh->details.melt.melt_fee, &pc->dk->fees.refresh)) || (0 != TALER_amount_cmp (&rh->details.melt.melt_fee, &pc->dk->fees.refresh)) ) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (GNUNET_OK != TALER_wallet_melt_verify ( amount, &rh->details.melt.melt_fee, &rh->details.melt.rc, &pc->dk->h_key, rh->details.melt.no_hac ? NULL : &rh->details.melt.h_age_commitment, pc->coin_pub, &rh->details.melt.sig)) { GNUNET_break_op (0); return GNUNET_SYSERR; } return GNUNET_YES; } /** * Handle refund entry in the coin's history. * * @param[in,out] pc overall context * @param[out] rh history entry to initialize * @param amount main amount of this operation * @param transaction JSON details for the operation * @return #GNUNET_SYSERR on error, * #GNUNET_OK to add, #GNUNET_NO to subtract */ static enum GNUNET_GenericReturnValue help_refund (struct CoinHistoryParseContext *pc, struct TALER_EXCHANGE_CoinHistoryEntry *rh, const struct TALER_Amount *amount, json_t *transaction) { struct GNUNET_JSON_Specification spec[] = { TALER_JSON_spec_amount_any ("refund_fee", &rh->details.refund.refund_fee), GNUNET_JSON_spec_fixed_auto ("merchant_sig", &rh->details.refund.sig), GNUNET_JSON_spec_fixed_auto ("h_contract_terms", &rh->details.refund.h_contract_terms), GNUNET_JSON_spec_fixed_auto ("merchant_pub", &rh->details.refund.merchant_pub), GNUNET_JSON_spec_uint64 ("rtransaction_id", &rh->details.refund.rtransaction_id), GNUNET_JSON_spec_end () }; if (GNUNET_OK != GNUNET_JSON_parse (transaction, spec, NULL, NULL)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (0 > TALER_amount_add (&rh->details.refund.sig_amount, &rh->details.refund.refund_fee, amount)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (GNUNET_OK != TALER_merchant_refund_verify (pc->coin_pub, &rh->details.refund.h_contract_terms, rh->details.refund.rtransaction_id, &rh->details.refund.sig_amount, &rh->details.refund.merchant_pub, &rh->details.refund.sig)) { GNUNET_break_op (0); return GNUNET_SYSERR; } /* NOTE: theoretically, we could also check that the given merchant_pub and h_contract_terms appear in the history under deposits. However, there is really no benefit for the exchange to lie here, so not checking is probably OK (an auditor ought to check, though). Then again, we similarly had no reason to check the merchant's signature (other than a well-formendess check). */ /* check that refund fee matches our expectations from /keys! */ if ( (GNUNET_YES != TALER_amount_cmp_currency (&rh->details.refund.refund_fee, &pc->dk->fees.refund)) || (0 != TALER_amount_cmp (&rh->details.refund.refund_fee, &pc->dk->fees.refund)) ) { GNUNET_break_op (0); return GNUNET_SYSERR; } return GNUNET_NO; } /** * Handle recoup entry in the coin's history. * * @param[in,out] pc overall context * @param[out] rh history entry to initialize * @param amount main amount of this operation * @param transaction JSON details for the operation * @return #GNUNET_SYSERR on error, * #GNUNET_OK to add, #GNUNET_NO to subtract */ static enum GNUNET_GenericReturnValue help_recoup (struct CoinHistoryParseContext *pc, struct TALER_EXCHANGE_CoinHistoryEntry *rh, const struct TALER_Amount *amount, json_t *transaction) { struct GNUNET_JSON_Specification spec[] = { GNUNET_JSON_spec_fixed_auto ("exchange_sig", &rh->details.recoup.exchange_sig), GNUNET_JSON_spec_fixed_auto ("exchange_pub", &rh->details.recoup.exchange_pub), GNUNET_JSON_spec_fixed_auto ("reserve_pub", &rh->details.recoup.reserve_pub), GNUNET_JSON_spec_fixed_auto ("coin_sig", &rh->details.recoup.coin_sig), GNUNET_JSON_spec_fixed_auto ("coin_blind", &rh->details.recoup.coin_bks), GNUNET_JSON_spec_timestamp ("timestamp", &rh->details.recoup.timestamp), GNUNET_JSON_spec_end () }; if (GNUNET_OK != GNUNET_JSON_parse (transaction, spec, NULL, NULL)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (GNUNET_OK != TALER_exchange_online_confirm_recoup_verify ( rh->details.recoup.timestamp, amount, pc->coin_pub, &rh->details.recoup.reserve_pub, &rh->details.recoup.exchange_pub, &rh->details.recoup.exchange_sig)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (GNUNET_OK != TALER_wallet_recoup_verify (&pc->dk->h_key, &rh->details.recoup.coin_bks, pc->coin_pub, &rh->details.recoup.coin_sig)) { GNUNET_break_op (0); return GNUNET_SYSERR; } return GNUNET_YES; } /** * Handle recoup-refresh entry in the coin's history. * This is the coin that was subjected to a recoup, * the value being credited to the old coin. * * @param[in,out] pc overall context * @param[out] rh history entry to initialize * @param amount main amount of this operation * @param transaction JSON details for the operation * @return #GNUNET_SYSERR on error, * #GNUNET_OK to add, #GNUNET_NO to subtract */ static enum GNUNET_GenericReturnValue help_recoup_refresh (struct CoinHistoryParseContext *pc, struct TALER_EXCHANGE_CoinHistoryEntry *rh, const struct TALER_Amount *amount, json_t *transaction) { struct GNUNET_JSON_Specification spec[] = { GNUNET_JSON_spec_fixed_auto ("exchange_sig", &rh->details.recoup_refresh.exchange_sig), GNUNET_JSON_spec_fixed_auto ("exchange_pub", &rh->details.recoup_refresh.exchange_pub), GNUNET_JSON_spec_fixed_auto ("coin_sig", &rh->details.recoup_refresh.coin_sig), GNUNET_JSON_spec_fixed_auto ("old_coin_pub", &rh->details.recoup_refresh.old_coin_pub), GNUNET_JSON_spec_fixed_auto ("coin_blind", &rh->details.recoup_refresh.coin_bks), GNUNET_JSON_spec_timestamp ("timestamp", &rh->details.recoup_refresh.timestamp), GNUNET_JSON_spec_end () }; if (GNUNET_OK != GNUNET_JSON_parse (transaction, spec, NULL, NULL)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (GNUNET_OK != TALER_exchange_online_confirm_recoup_refresh_verify ( rh->details.recoup_refresh.timestamp, amount, pc->coin_pub, &rh->details.recoup_refresh.old_coin_pub, &rh->details.recoup_refresh.exchange_pub, &rh->details.recoup_refresh.exchange_sig)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (GNUNET_OK != TALER_wallet_recoup_verify (&pc->dk->h_key, &rh->details.recoup_refresh.coin_bks, pc->coin_pub, &rh->details.recoup_refresh.coin_sig)) { GNUNET_break_op (0); return GNUNET_SYSERR; } return GNUNET_YES; } /** * Handle old coin recoup entry in the coin's history. * This is the coin that was credited in a recoup, * the value being credited to the this coin. * * @param[in,out] pc overall context * @param[out] rh history entry to initialize * @param amount main amount of this operation * @param transaction JSON details for the operation * @return #GNUNET_SYSERR on error, * #GNUNET_OK to add, #GNUNET_NO to subtract */ static enum GNUNET_GenericReturnValue help_old_coin_recoup (struct CoinHistoryParseContext *pc, struct TALER_EXCHANGE_CoinHistoryEntry *rh, const struct TALER_Amount *amount, json_t *transaction) { struct GNUNET_JSON_Specification spec[] = { GNUNET_JSON_spec_fixed_auto ("exchange_sig", &rh->details.old_coin_recoup.exchange_sig), GNUNET_JSON_spec_fixed_auto ("exchange_pub", &rh->details.old_coin_recoup.exchange_pub), GNUNET_JSON_spec_fixed_auto ("coin_pub", &rh->details.old_coin_recoup.new_coin_pub), GNUNET_JSON_spec_timestamp ("timestamp", &rh->details.old_coin_recoup.timestamp), GNUNET_JSON_spec_end () }; if (GNUNET_OK != GNUNET_JSON_parse (transaction, spec, NULL, NULL)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (GNUNET_OK != TALER_exchange_online_confirm_recoup_refresh_verify ( rh->details.old_coin_recoup.timestamp, amount, &rh->details.old_coin_recoup.new_coin_pub, pc->coin_pub, &rh->details.old_coin_recoup.exchange_pub, &rh->details.old_coin_recoup.exchange_sig)) { GNUNET_break_op (0); return GNUNET_SYSERR; } return GNUNET_NO; } /** * Handle purse deposit entry in the coin's history. * * @param[in,out] pc overall context * @param[out] rh history entry to initialize * @param amount main amount of this operation * @param transaction JSON details for the operation * @return #GNUNET_SYSERR on error, * #GNUNET_OK to add, #GNUNET_NO to subtract */ static enum GNUNET_GenericReturnValue help_purse_deposit (struct CoinHistoryParseContext *pc, struct TALER_EXCHANGE_CoinHistoryEntry *rh, const struct TALER_Amount *amount, json_t *transaction) { struct GNUNET_JSON_Specification spec[] = { GNUNET_JSON_spec_fixed_auto ("purse_pub", &rh->details.purse_deposit.purse_pub), GNUNET_JSON_spec_fixed_auto ("coin_sig", &rh->details.purse_deposit.coin_sig), GNUNET_JSON_spec_mark_optional ( GNUNET_JSON_spec_fixed_auto ("h_age_commitment", &rh->details.purse_deposit.phac), NULL), TALER_JSON_spec_web_url ("exchange_base_url", &rh->details.purse_deposit.exchange_base_url), GNUNET_JSON_spec_bool ("refunded", &rh->details.purse_deposit.refunded), GNUNET_JSON_spec_end () }; if (GNUNET_OK != GNUNET_JSON_parse (transaction, spec, NULL, NULL)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (GNUNET_OK != TALER_wallet_purse_deposit_verify ( rh->details.purse_deposit.exchange_base_url, &rh->details.purse_deposit.purse_pub, amount, &pc->dk->h_key, &rh->details.purse_deposit.phac, pc->coin_pub, &rh->details.purse_deposit.coin_sig)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (rh->details.purse_deposit.refunded) { /* We wave the deposit fee. */ if (0 > TALER_amount_add (pc->total_in, pc->total_in, &pc->dk->fees.deposit)) { /* overflow in refund history? inconceivable! Bad exchange! */ GNUNET_break_op (0); return GNUNET_SYSERR; } } return GNUNET_YES; } /** * Handle purse refund entry in the coin's history. * * @param[in,out] pc overall context * @param[out] rh history entry to initialize * @param amount main amount of this operation * @param transaction JSON details for the operation * @return #GNUNET_SYSERR on error, * #GNUNET_OK to add, #GNUNET_NO to subtract */ static enum GNUNET_GenericReturnValue help_purse_refund (struct CoinHistoryParseContext *pc, struct TALER_EXCHANGE_CoinHistoryEntry *rh, const struct TALER_Amount *amount, json_t *transaction) { struct GNUNET_JSON_Specification spec[] = { TALER_JSON_spec_amount_any ("refund_fee", &rh->details.purse_refund.refund_fee), GNUNET_JSON_spec_fixed_auto ("purse_pub", &rh->details.purse_refund.purse_pub), GNUNET_JSON_spec_fixed_auto ("exchange_sig", &rh->details.purse_refund.exchange_sig), GNUNET_JSON_spec_fixed_auto ("exchange_pub", &rh->details.purse_refund.exchange_pub), GNUNET_JSON_spec_end () }; if (GNUNET_OK != GNUNET_JSON_parse (transaction, spec, NULL, NULL)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (GNUNET_OK != TALER_exchange_online_purse_refund_verify ( amount, &rh->details.purse_refund.refund_fee, pc->coin_pub, &rh->details.purse_refund.purse_pub, &rh->details.purse_refund.exchange_pub, &rh->details.purse_refund.exchange_sig)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if ( (GNUNET_YES != TALER_amount_cmp_currency (&rh->details.purse_refund.refund_fee, &pc->dk->fees.refund)) || (0 != TALER_amount_cmp (&rh->details.purse_refund.refund_fee, &pc->dk->fees.refund)) ) { GNUNET_break_op (0); return GNUNET_SYSERR; } return GNUNET_NO; } /** * Handle reserve deposit entry in the coin's history. * * @param[in,out] pc overall context * @param[out] rh history entry to initialize * @param amount main amount of this operation * @param transaction JSON details for the operation * @return #GNUNET_SYSERR on error, * #GNUNET_OK to add, #GNUNET_NO to subtract */ static enum GNUNET_GenericReturnValue help_reserve_open_deposit (struct CoinHistoryParseContext *pc, struct TALER_EXCHANGE_CoinHistoryEntry *rh, const struct TALER_Amount *amount, json_t *transaction) { struct GNUNET_JSON_Specification spec[] = { GNUNET_JSON_spec_fixed_auto ("reserve_sig", &rh->details.reserve_open_deposit.reserve_sig), GNUNET_JSON_spec_fixed_auto ("coin_sig", &rh->details.reserve_open_deposit.coin_sig), GNUNET_JSON_spec_end () }; if (GNUNET_OK != GNUNET_JSON_parse (transaction, spec, NULL, NULL)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (GNUNET_OK != TALER_wallet_reserve_open_deposit_verify ( amount, &rh->details.reserve_open_deposit.reserve_sig, pc->coin_pub, &rh->details.reserve_open_deposit.coin_sig)) { GNUNET_break_op (0); return GNUNET_SYSERR; } return GNUNET_YES; } enum GNUNET_GenericReturnValue TALER_EXCHANGE_parse_coin_history ( const struct TALER_EXCHANGE_Keys *keys, const struct TALER_EXCHANGE_DenomPublicKey *dk, const json_t *history, const struct TALER_CoinSpendPublicKeyP *coin_pub, struct TALER_Amount *total_in, struct TALER_Amount *total_out, unsigned int rlen, struct TALER_EXCHANGE_CoinHistoryEntry rhistory[static rlen]) { const struct { const char *type; CoinCheckHelper helper; enum TALER_EXCHANGE_CoinTransactionType ctt; } map[] = { { "DEPOSIT", &help_deposit, TALER_EXCHANGE_CTT_DEPOSIT }, { "MELT", &help_melt, TALER_EXCHANGE_CTT_MELT }, { "REFUND", &help_refund, TALER_EXCHANGE_CTT_REFUND }, { "RECOUP", &help_recoup, TALER_EXCHANGE_CTT_RECOUP }, { "RECOUP-REFRESH", &help_recoup_refresh, TALER_EXCHANGE_CTT_RECOUP_REFRESH }, { "OLD-COIN-RECOUP", &help_old_coin_recoup, TALER_EXCHANGE_CTT_OLD_COIN_RECOUP }, { "PURSE-DEPOSIT", &help_purse_deposit, TALER_EXCHANGE_CTT_PURSE_DEPOSIT }, { "PURSE-REFUND", &help_purse_refund, TALER_EXCHANGE_CTT_PURSE_REFUND }, { "RESERVE-OPEN-DEPOSIT", &help_reserve_open_deposit, TALER_EXCHANGE_CTT_RESERVE_OPEN_DEPOSIT }, { NULL, NULL, TALER_EXCHANGE_CTT_NONE } }; struct CoinHistoryParseContext pc = { .dk = dk, .coin_pub = coin_pub, .total_out = total_out, .total_in = total_in }; size_t len; if (NULL == history) { GNUNET_break_op (0); return GNUNET_SYSERR; } len = json_array_size (history); if (0 == len) { GNUNET_break_op (0); return GNUNET_SYSERR; } *total_in = dk->value; GNUNET_assert (GNUNET_OK == TALER_amount_set_zero (total_in->currency, total_out)); for (size_t off = 0; offamount), GNUNET_JSON_spec_string ("type", &type), GNUNET_JSON_spec_end () }; if (GNUNET_OK != GNUNET_JSON_parse (transaction, spec_glob, NULL, NULL)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (GNUNET_YES != TALER_amount_cmp_currency (&rh->amount, total_in)) { GNUNET_break_op (0); return GNUNET_SYSERR; } GNUNET_log (GNUNET_ERROR_TYPE_INFO, "Operation of type %s with amount %s\n", type, TALER_amount2s (&rh->amount)); add = GNUNET_SYSERR; for (unsigned int i = 0; NULL != map[i].type; i++) { if (0 == strcasecmp (type, map[i].type)) { rh->type = map[i].ctt; add = map[i].helper (&pc, rh, &rh->amount, transaction); break; } } switch (add) { case GNUNET_SYSERR: /* entry type not supported, new version on server? */ rh->type = TALER_EXCHANGE_CTT_NONE; GNUNET_break_op (0); GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Unexpected type `%s' in response\n", type); return GNUNET_SYSERR; case GNUNET_YES: /* This amount should be debited from the coin */ if (0 > TALER_amount_add (total_out, total_out, &rh->amount)) { /* overflow in history already!? inconceivable! Bad exchange! */ GNUNET_break_op (0); return GNUNET_SYSERR; } break; case GNUNET_NO: /* This amount should be credited to the coin. */ if (0 > TALER_amount_add (total_in, total_in, &rh->amount)) { /* overflow in refund history? inconceivable! Bad exchange! */ GNUNET_break_op (0); return GNUNET_SYSERR; } break; } /* end of switch(add) */ } return GNUNET_OK; } /** * We received an #MHD_HTTP_OK history code. Handle the JSON * response. * * @param rsh handle of the request * @param j JSON response * @return #GNUNET_OK on success */ static enum GNUNET_GenericReturnValue handle_coins_history_ok (struct TALER_EXCHANGE_CoinsHistoryHandle *rsh, const json_t *j) { struct TALER_EXCHANGE_CoinHistory rs = { .hr.reply = j, .hr.http_status = MHD_HTTP_OK }; struct GNUNET_JSON_Specification spec[] = { TALER_JSON_spec_amount_any ("balance", &rs.details.ok.balance), GNUNET_JSON_spec_fixed_auto ("h_denom_pub", &rs.details.ok.h_denom_pub), GNUNET_JSON_spec_array_const ("history", &rs.details.ok.history), GNUNET_JSON_spec_end () }; if (GNUNET_OK != GNUNET_JSON_parse (j, spec, NULL, NULL)) { GNUNET_break_op (0); return GNUNET_SYSERR; } if (NULL != rsh->cb) { rsh->cb (rsh->cb_cls, &rs); rsh->cb = NULL; } GNUNET_JSON_parse_free (spec); return GNUNET_OK; } /** * Function called when we're done processing the * HTTP /coins/$RID/history request. * * @param cls the `struct TALER_EXCHANGE_CoinsHistoryHandle` * @param response_code HTTP response code, 0 on error * @param response parsed JSON result, NULL on error */ static void handle_coins_history_finished (void *cls, long response_code, const void *response) { struct TALER_EXCHANGE_CoinsHistoryHandle *rsh = cls; const json_t *j = response; struct TALER_EXCHANGE_CoinHistory rs = { .hr.reply = j, .hr.http_status = (unsigned int) response_code }; rsh->job = NULL; switch (response_code) { case 0: rs.hr.ec = TALER_EC_GENERIC_INVALID_RESPONSE; break; case MHD_HTTP_OK: if (GNUNET_OK != handle_coins_history_ok (rsh, j)) { rs.hr.http_status = 0; rs.hr.ec = TALER_EC_GENERIC_REPLY_MALFORMED; } break; case MHD_HTTP_BAD_REQUEST: /* This should never happen, either us or the exchange is buggy (or API version conflict); just pass JSON reply to the application */ GNUNET_break (0); rs.hr.ec = TALER_JSON_get_error_code (j); rs.hr.hint = TALER_JSON_get_error_hint (j); break; case MHD_HTTP_FORBIDDEN: /* This should never happen, either us or the exchange is buggy (or API version conflict); just pass JSON reply to the application */ GNUNET_break (0); rs.hr.ec = TALER_JSON_get_error_code (j); rs.hr.hint = TALER_JSON_get_error_hint (j); break; case MHD_HTTP_NOT_FOUND: /* Nothing really to verify, this should never happen, we should pass the JSON reply to the application */ rs.hr.ec = TALER_JSON_get_error_code (j); rs.hr.hint = TALER_JSON_get_error_hint (j); break; case MHD_HTTP_INTERNAL_SERVER_ERROR: /* Server had an internal issue; we should retry, but this API leaves this to the application */ rs.hr.ec = TALER_JSON_get_error_code (j); rs.hr.hint = TALER_JSON_get_error_hint (j); break; default: /* unexpected response code */ GNUNET_break_op (0); rs.hr.ec = TALER_JSON_get_error_code (j); rs.hr.hint = TALER_JSON_get_error_hint (j); GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Unexpected response code %u/%d for coins history\n", (unsigned int) response_code, (int) rs.hr.ec); break; } if (NULL != rsh->cb) { rsh->cb (rsh->cb_cls, &rs); rsh->cb = NULL; } TALER_EXCHANGE_coins_history_cancel (rsh); } struct TALER_EXCHANGE_CoinsHistoryHandle * TALER_EXCHANGE_coins_history ( struct GNUNET_CURL_Context *ctx, const char *url, const struct TALER_CoinSpendPrivateKeyP *coin_priv, uint64_t start_off, TALER_EXCHANGE_CoinsHistoryCallback cb, void *cb_cls) { struct TALER_EXCHANGE_CoinsHistoryHandle *rsh; CURL *eh; char arg_str[sizeof (struct TALER_CoinSpendPublicKeyP) * 2 + 64]; struct curl_slist *job_headers; rsh = GNUNET_new (struct TALER_EXCHANGE_CoinsHistoryHandle); rsh->cb = cb; rsh->cb_cls = cb_cls; GNUNET_CRYPTO_eddsa_key_get_public (&coin_priv->eddsa_priv, &rsh->coin_pub.eddsa_pub); { char pub_str[sizeof (struct TALER_CoinSpendPublicKeyP) * 2]; char *end; end = GNUNET_STRINGS_data_to_string ( &rsh->coin_pub, sizeof (rsh->coin_pub), pub_str, sizeof (pub_str)); *end = '\0'; if (0 != start_off) GNUNET_snprintf (arg_str, sizeof (arg_str), "coins/%s/history?start=%llu", pub_str, (unsigned long long) start_off); else GNUNET_snprintf (arg_str, sizeof (arg_str), "coins/%s/history", pub_str); } rsh->url = TALER_url_join (url, arg_str, NULL); if (NULL == rsh->url) { GNUNET_free (rsh); return NULL; } eh = TALER_EXCHANGE_curl_easy_get_ (rsh->url); if (NULL == eh) { GNUNET_break (0); GNUNET_free (rsh->url); GNUNET_free (rsh); return NULL; } { struct TALER_CoinSpendSignatureP coin_sig; char *sig_hdr; char *hdr; TALER_wallet_coin_history_sign (start_off, coin_priv, &coin_sig); sig_hdr = GNUNET_STRINGS_data_to_string_alloc ( &coin_sig, sizeof (coin_sig)); GNUNET_asprintf (&hdr, "%s: %s", TALER_COIN_HISTORY_SIGNATURE_HEADER, sig_hdr); GNUNET_free (sig_hdr); job_headers = curl_slist_append (NULL, hdr); GNUNET_free (hdr); if (NULL == job_headers) { GNUNET_break (0); curl_easy_cleanup (eh); return NULL; } } rsh->job = GNUNET_CURL_job_add2 (ctx, eh, job_headers, &handle_coins_history_finished, rsh); curl_slist_free_all (job_headers); return rsh; } void TALER_EXCHANGE_coins_history_cancel ( struct TALER_EXCHANGE_CoinsHistoryHandle *rsh) { if (NULL != rsh->job) { GNUNET_CURL_job_cancel (rsh->job); rsh->job = NULL; } TALER_curl_easy_post_finished (&rsh->post_ctx); GNUNET_free (rsh->url); GNUNET_free (rsh); } /** * Verify that @a coin_sig does NOT appear in the @a history of a coin's * transactions and thus whatever transaction is authorized by @a coin_sig is * a conflict with @a proof. * * @param history coin history to check * @param coin_sig signature that must not be in @a history * @return #GNUNET_OK if @a coin_sig is not in @a history */ enum GNUNET_GenericReturnValue TALER_EXCHANGE_check_coin_signature_conflict ( const json_t *history, const struct TALER_CoinSpendSignatureP *coin_sig) { size_t off; json_t *entry; json_array_foreach (history, off, entry) { struct TALER_CoinSpendSignatureP cs; struct GNUNET_JSON_Specification spec[] = { GNUNET_JSON_spec_fixed_auto ("coin_sig", &cs), GNUNET_JSON_spec_end () }; if (GNUNET_OK != GNUNET_JSON_parse (entry, spec, NULL, NULL)) continue; /* entry without coin signature */ if (0 == GNUNET_memcmp (&cs, coin_sig)) { GNUNET_break_op (0); return GNUNET_SYSERR; } } return GNUNET_OK; } #if FIXME_IMPLEMENT /** * FIXME-Oec: we need some specific routines that show * that certain coin operations are indeed in conflict, * for example that the coin is of a different denomination * or different age restrictions. * This relates to unimplemented error handling for * coins in the exchange! * * Check that the provided @a proof indeeds indicates * a conflict for @a coin_pub. * * @param keys exchange keys * @param proof provided conflict proof * @param dk denomination of @a coin_pub that the client * used * @param coin_pub public key of the coin * @param required balance required on the coin for the operation * @return #GNUNET_OK if @a proof holds */ // FIXME: should be properly defined and implemented! enum GNUNET_GenericReturnValue TALER_EXCHANGE_check_coin_conflict_ ( const struct TALER_EXCHANGE_Keys *keys, const json_t *proof, const struct TALER_EXCHANGE_DenomPublicKey *dk, const struct TALER_CoinSpendPublicKeyP *coin_pub, const struct TALER_Amount *required) { enum TALER_ErrorCode ec; ec = TALER_JSON_get_error_code (proof); switch (ec) { case TALER_EC_EXCHANGE_GENERIC_INSUFFICIENT_FUNDS: /* Nothing to check anymore here, proof needs to be checked in the GET /coins/$COIN_PUB handler */ break; case TALER_EC_EXCHANGE_GENERIC_COIN_CONFLICTING_DENOMINATION_KEY: // FIXME: write check! break; default: GNUNET_break_op (0); return GNUNET_SYSERR; } return GNUNET_OK; } #endif /* end of exchange_api_coins_history.c */