diff options
author | Christian Grothoff <christian@grothoff.org> | 2022-01-11 12:47:35 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2022-01-11 12:47:35 +0100 |
commit | e7aeec04f4eb52caaa61b1ff9362f6fe0ffe0f2d (patch) | |
tree | 7e788144cff60c41a07e2bc136e86ddadf610274 /src/auditor | |
parent | aaaaa9a103628d7694a4fb3bac6335501187cc00 (diff) | |
download | exchange-e7aeec04f4eb52caaa61b1ff9362f6fe0ffe0f2d.tar.xz |
The current recoup API is broken. I guess this is another example where "trivial" API changes turn out to have (multiple!) unexpected consequences.
The current "/recoup" API does not have clear idempotency semantics, as we've discussed on the phone. This is already bad by itself, as it makes it hard to write down what the API does other than "whatever the implementation does".
However, it actually breaks correctness in this (admittedly kinda contrived, but not impossible) case:
Say that we have a coin A obtained via withdrawal and a coin B obtained via refreshing coin A. Now the denominations of A gets revoked..
The wallet does a recoup of A for EUR:1.
Now the denomination of B also gets revoked. The wallet recoups B (incidentally also for EUR:1) and now A can be recouped again for EUR:1. But now the exchange is in a state where it will refuse a legitimate recoup request for A because the detection for an idempotent request kicks in.
This is IMHO bad API design, and the exchange should simply always recoup the maximum amount.
Furthermore, we usually follow the principle of "API calls that take up DB space are paid". With the current recoup API, I can do many tiny recoup requests which the exchange then has to store, right?
I guess it would not be a big change to remove the "amount" value from the recoup/recoup-refresh request bodies, right?
- Florian
Diffstat (limited to 'src/auditor')
-rw-r--r-- | src/auditor/taler-helper-auditor-coins.c | 5 | ||||
-rw-r--r-- | src/auditor/taler-helper-auditor-reserves.c | 1 |
2 files changed, 2 insertions, 4 deletions
diff --git a/src/auditor/taler-helper-auditor-coins.c b/src/auditor/taler-helper-auditor-coins.c index a295a035a..3473a8284 100644 --- a/src/auditor/taler-helper-auditor-coins.c +++ b/src/auditor/taler-helper-auditor-coins.c @@ -1896,7 +1896,7 @@ refund_cb (void *cls, * @param coin_blind blinding factor used to blind the coin * @return #GNUNET_OK to continue to iterate, #GNUNET_SYSERR to stop */ -static int +static enum GNUNET_GenericReturnValue check_recoup (struct CoinContext *cc, const char *operation, uint64_t rowid, @@ -1962,7 +1962,6 @@ check_recoup (struct CoinContext *cc, if (GNUNET_OK != TALER_wallet_recoup_verify (&coin->denom_pub_hash, coin_blind, - amount, &coin->coin_pub, coin_sig)) { @@ -2084,7 +2083,7 @@ recoup_cb (void *cls, * @param coin_blind blinding factor used to blind the coin * @return #GNUNET_OK to continue to iterate, #GNUNET_SYSERR to stop */ -static int +static enum GNUNET_GenericReturnValue recoup_refresh_cb (void *cls, uint64_t rowid, struct GNUNET_TIME_Timestamp timestamp, diff --git a/src/auditor/taler-helper-auditor-reserves.c b/src/auditor/taler-helper-auditor-reserves.c index b6b969fea..610193187 100644 --- a/src/auditor/taler-helper-auditor-reserves.c +++ b/src/auditor/taler-helper-auditor-reserves.c @@ -714,7 +714,6 @@ handle_recoup_by_reserve ( if (GNUNET_OK != TALER_wallet_recoup_verify (&coin->denom_pub_hash, coin_blind, - amount, &coin->coin_pub, coin_sig)) { |