-refactor TALER_AgeMask.mask -> TALER_AgeMask.bits

also: fix off-by-one in TALER_age_restriction_commit
This commit is contained in:
Özgür Kesim 2022-03-02 10:59:42 +01:00
parent 4978b1e966
commit 7624db4efd
Signed by: oec
GPG Key ID: 3D76A56D79EDD9D7
15 changed files with 64 additions and 60 deletions

View File

@ -530,7 +530,7 @@ run (void *cls,
{ {
uint64_t seed; uint64_t seed;
struct TALER_AgeMask mask = { struct TALER_AgeMask mask = {
.mask = 1 || 1 << 8 || 1 << 12 || 1 << 16 || 1 << 18 .bits = 1 || 1 << 8 || 1 << 12 || 1 << 16 || 1 << 18
}; };
struct TALER_AgeCommitmentProof acp = {0}; struct TALER_AgeCommitmentProof acp = {0};

View File

@ -3260,7 +3260,7 @@ load_age_mask (const char*section_name)
static const struct TALER_AgeMask null_mask = {0}; static const struct TALER_AgeMask null_mask = {0};
enum GNUNET_GenericReturnValue ret; enum GNUNET_GenericReturnValue ret;
if (age_mask.mask == 0) if (age_mask.bits == 0)
return null_mask; return null_mask;
if (GNUNET_OK != (GNUNET_CONFIGURATION_have_value ( if (GNUNET_OK != (GNUNET_CONFIGURATION_have_value (

View File

@ -131,7 +131,7 @@ extension_update_event_cb (void *cls,
/* Special case age restriction: Update global flag and mask */ /* Special case age restriction: Update global flag and mask */
if (TALER_Extension_AgeRestriction == type) if (TALER_Extension_AgeRestriction == type)
{ {
TEH_age_mask.mask = 0; TEH_age_mask.bits = 0;
TEH_age_restriction_enabled = TEH_age_restriction_enabled =
TALER_extensions_age_restriction_is_enabled (); TALER_extensions_age_restriction_is_enabled ();
if (TEH_age_restriction_enabled) if (TEH_age_restriction_enabled)

View File

@ -797,7 +797,7 @@ load_age_mask (const char*section_name)
static const struct TALER_AgeMask null_mask = {0}; static const struct TALER_AgeMask null_mask = {0};
struct TALER_AgeMask age_mask = TALER_extensions_age_restriction_ageMask (); struct TALER_AgeMask age_mask = TALER_extensions_age_restriction_ageMask ();
if (age_mask.mask == 0) if (age_mask.bits == 0)
return null_mask; return null_mask;
if (GNUNET_OK != (GNUNET_CONFIGURATION_have_value ( if (GNUNET_OK != (GNUNET_CONFIGURATION_have_value (
@ -2120,7 +2120,7 @@ finish_keys_response (struct TEH_KeyStateHandle *ksh)
* the properties of the denomination. Also, we build up the right * the properties of the denomination. Also, we build up the right
* hash for the corresponding array. */ * hash for the corresponding array. */
if (TEH_age_restriction_enabled && if (TEH_age_restriction_enabled &&
(0 != dk->denom_pub.age_mask.mask)) (0 != dk->denom_pub.age_mask.bits))
{ {
have_age_restricted_denoms = true; have_age_restricted_denoms = true;
array = age_restricted_denoms; array = age_restricted_denoms;

View File

@ -3146,13 +3146,13 @@ postgres_insert_denomination_info (
TALER_PQ_query_param_amount_nbo (&issue->properties.fees.deposit), TALER_PQ_query_param_amount_nbo (&issue->properties.fees.deposit),
TALER_PQ_query_param_amount_nbo (&issue->properties.fees.refresh), TALER_PQ_query_param_amount_nbo (&issue->properties.fees.refresh),
TALER_PQ_query_param_amount_nbo (&issue->properties.fees.refund), TALER_PQ_query_param_amount_nbo (&issue->properties.fees.refund),
GNUNET_PQ_query_param_uint32 (&denom_pub->age_mask.mask), GNUNET_PQ_query_param_uint32 (&denom_pub->age_mask.bits),
GNUNET_PQ_query_param_end GNUNET_PQ_query_param_end
}; };
struct TALER_DenomFeeSet fees; struct TALER_DenomFeeSet fees;
GNUNET_assert (denom_pub->age_mask.mask == GNUNET_assert (denom_pub->age_mask.bits ==
issue->age_mask.mask); issue->age_mask.bits);
TALER_denom_pub_hash (denom_pub, TALER_denom_pub_hash (denom_pub,
&denom_hash); &denom_hash);
GNUNET_assert (0 == GNUNET_assert (0 ==
@ -3225,7 +3225,7 @@ postgres_get_denomination_info (
TALER_PQ_RESULT_SPEC_AMOUNT_NBO ("fee_refund", TALER_PQ_RESULT_SPEC_AMOUNT_NBO ("fee_refund",
&issue->properties.fees.refund), &issue->properties.fees.refund),
GNUNET_PQ_result_spec_uint32 ("age_mask", GNUNET_PQ_result_spec_uint32 ("age_mask",
&issue->age_mask.mask), &issue->age_mask.bits),
GNUNET_PQ_result_spec_end GNUNET_PQ_result_spec_end
}; };
@ -3316,7 +3316,7 @@ domination_cb_helper (void *cls,
TALER_PQ_result_spec_denom_pub ("denom_pub", TALER_PQ_result_spec_denom_pub ("denom_pub",
&denom_pub), &denom_pub),
GNUNET_PQ_result_spec_uint32 ("age_mask", GNUNET_PQ_result_spec_uint32 ("age_mask",
&issue.age_mask.mask), &issue.age_mask.bits),
GNUNET_PQ_result_spec_end GNUNET_PQ_result_spec_end
}; };
@ -3464,7 +3464,7 @@ dominations_cb_helper (void *cls,
TALER_PQ_result_spec_denom_pub ("denom_pub", TALER_PQ_result_spec_denom_pub ("denom_pub",
&denom_pub), &denom_pub),
GNUNET_PQ_result_spec_uint32 ("age_mask", GNUNET_PQ_result_spec_uint32 ("age_mask",
&meta.age_mask.mask), &meta.age_mask.bits),
GNUNET_PQ_result_spec_end GNUNET_PQ_result_spec_end
}; };
@ -10329,7 +10329,7 @@ postgres_lookup_denomination_key (
TALER_PQ_RESULT_SPEC_AMOUNT ("fee_refund", TALER_PQ_RESULT_SPEC_AMOUNT ("fee_refund",
&meta->fees.refund), &meta->fees.refund),
GNUNET_PQ_result_spec_uint32 ("age_mask", GNUNET_PQ_result_spec_uint32 ("age_mask",
&meta->age_mask.mask), &meta->age_mask.bits),
GNUNET_PQ_result_spec_end GNUNET_PQ_result_spec_end
}; };
@ -10373,7 +10373,7 @@ postgres_add_denomination_key (
TALER_PQ_query_param_amount (&meta->fees.deposit), TALER_PQ_query_param_amount (&meta->fees.deposit),
TALER_PQ_query_param_amount (&meta->fees.refresh), TALER_PQ_query_param_amount (&meta->fees.refresh),
TALER_PQ_query_param_amount (&meta->fees.refund), TALER_PQ_query_param_amount (&meta->fees.refund),
GNUNET_PQ_query_param_uint32 (&meta->age_mask.mask), GNUNET_PQ_query_param_uint32 (&meta->age_mask.bits),
GNUNET_PQ_query_param_end GNUNET_PQ_query_param_end
}; };

View File

@ -64,7 +64,7 @@ TALER_parse_age_group_string (
if (prev >= val) if (prev >= val)
return GNUNET_SYSERR; return GNUNET_SYSERR;
mask->mask |= 1 << val; mask->bits |= 1 << val;
prev = val; prev = val;
val = 0; val = 0;
continue; continue;
@ -82,8 +82,8 @@ TALER_parse_age_group_string (
if (0>val || 32<=val || prev>=val) if (0>val || 32<=val || prev>=val)
return GNUNET_SYSERR; return GNUNET_SYSERR;
mask->mask |= (1 << val); mask->bits |= (1 << val);
mask->mask |= 1; // mark zeroth group, too mask->bits |= 1; // mark zeroth group, too
return GNUNET_OK; return GNUNET_OK;
} }
@ -100,7 +100,7 @@ char *
TALER_age_mask_to_string ( TALER_age_mask_to_string (
const struct TALER_AgeMask *m) const struct TALER_AgeMask *m)
{ {
uint32_t mask = m->mask; uint32_t bits = m->bits;
unsigned int n = 0; unsigned int n = 0;
char *buf = GNUNET_malloc (32 * 3); // max characters possible char *buf = GNUNET_malloc (32 * 3); // max characters possible
char *pos = buf; char *pos = buf;
@ -110,11 +110,11 @@ TALER_age_mask_to_string (
return buf; return buf;
} }
while (mask != 0) while (bits != 0)
{ {
mask >>= 1; bits >>= 1;
n++; n++;
if (0 == (mask & 1)) if (0 == (bits & 1))
{ {
continue; continue;
} }
@ -125,7 +125,7 @@ TALER_age_mask_to_string (
} }
*(pos++) = '0' + n % 10; *(pos++) = '0' + n % 10;
if (0 != (mask >> 1)) if (0 != (bits >> 1))
{ {
*(pos++) = ':'; *(pos++) = ':';
} }
@ -160,7 +160,7 @@ age_restriction_disable (
this->config_json = NULL; this->config_json = NULL;
} }
_config.mask.mask = 0; _config.mask.bits = 0;
_config.num_groups = 0; _config.num_groups = 0;
} }
@ -212,23 +212,23 @@ age_restriction_load_taler_config (
return GNUNET_SYSERR; return GNUNET_SYSERR;
mask.mask = TALER_EXTENSION_AGE_RESTRICTION_DEFAULT_AGE_MASK; mask.bits = TALER_EXTENSION_AGE_RESTRICTION_DEFAULT_AGE_MASK;
ret = GNUNET_OK; ret = GNUNET_OK;
if (groups != NULL) if (groups != NULL)
{ {
ret = TALER_parse_age_group_string (groups, &mask); ret = TALER_parse_age_group_string (groups, &mask);
if (GNUNET_OK != ret) if (GNUNET_OK != ret)
mask.mask = TALER_EXTENSION_AGE_RESTRICTION_DEFAULT_AGE_MASK; mask.bits = TALER_EXTENSION_AGE_RESTRICTION_DEFAULT_AGE_MASK;
} }
if (GNUNET_OK == ret) if (GNUNET_OK == ret)
{ {
GNUNET_log (GNUNET_ERROR_TYPE_INFO, GNUNET_log (GNUNET_ERROR_TYPE_INFO,
"setting age mask to %x with #groups: %d\n", mask.mask, "setting age mask to %x with #groups: %d\n", mask.bits,
__builtin_popcount (mask.mask) - 1); __builtin_popcount (mask.bits) - 1);
_config.mask.mask = mask.mask; _config.mask.bits = mask.bits;
_config.num_groups = __builtin_popcount (mask.mask) - 1; /* no underflow, first bit always set */ _config.num_groups = __builtin_popcount (mask.bits) - 1; /* no underflow, first bit always set */
this->config = &_config; this->config = &_config;
/* Note: we do now have _config set, however this->config_json is NOT set, /* Note: we do now have _config set, however this->config_json is NOT set,
@ -266,16 +266,16 @@ age_restriction_load_json_config (
if (TALER_Extension_AgeRestriction != this->type) if (TALER_Extension_AgeRestriction != this->type)
return GNUNET_SYSERR; return GNUNET_SYSERR;
_config.mask.mask = mask.mask; _config.mask.bits = mask.bits;
_config.num_groups = 0; _config.num_groups = 0;
if (mask.mask > 0) if (mask.bits > 0)
{ {
/* if the mask is not zero, the first bit MUST be set */ /* if the mask is not zero, the first bit MUST be set */
if (0 == (mask.mask & 1)) if (0 == (mask.bits & 1))
return GNUNET_SYSERR; return GNUNET_SYSERR;
_config.num_groups = __builtin_popcount (mask.mask) - 1; _config.num_groups = __builtin_popcount (mask.bits) - 1;
} }
this->config = &_config; this->config = &_config;
@ -358,7 +358,7 @@ struct TALER_Extension _extension_age_restriction = {
bool bool
TALER_extensions_age_restriction_is_configured () TALER_extensions_age_restriction_is_configured ()
{ {
return (0 != _config.mask.mask); return (0 != _config.mask.bits);
} }

View File

@ -850,7 +850,7 @@ struct TALER_BlindedDenominationSignature
*/ */
struct TALER_AgeMask struct TALER_AgeMask
{ {
uint32_t mask; uint32_t bits;
}; };
/** /**

View File

@ -253,7 +253,7 @@ parse_denom_pub (void *cls,
GNUNET_JSON_spec_string ("cipher", GNUNET_JSON_spec_string ("cipher",
&cipher), &cipher),
GNUNET_JSON_spec_uint32 ("age_mask", GNUNET_JSON_spec_uint32 ("age_mask",
&denom_pub->age_mask.mask), &denom_pub->age_mask.bits),
GNUNET_JSON_spec_end () GNUNET_JSON_spec_end ()
}; };
const char *emsg; const char *emsg;

View File

@ -64,7 +64,7 @@ TALER_JSON_pack_denom_pub (
GNUNET_JSON_pack_string ("cipher", GNUNET_JSON_pack_string ("cipher",
"RSA"), "RSA"),
GNUNET_JSON_pack_uint64 ("age_mask", GNUNET_JSON_pack_uint64 ("age_mask",
pk->age_mask.mask), pk->age_mask.bits),
GNUNET_JSON_pack_rsa_public_key ("rsa_public_key", GNUNET_JSON_pack_rsa_public_key ("rsa_public_key",
pk->details.rsa_public_key)); pk->details.rsa_public_key));
break; break;
@ -74,7 +74,7 @@ TALER_JSON_pack_denom_pub (
GNUNET_JSON_pack_string ("cipher", GNUNET_JSON_pack_string ("cipher",
"CS"), "CS"),
GNUNET_JSON_pack_uint64 ("age_mask", GNUNET_JSON_pack_uint64 ("age_mask",
pk->age_mask.mask), pk->age_mask.bits),
GNUNET_JSON_pack_data_varsize ("cs_public_key", GNUNET_JSON_pack_data_varsize ("cs_public_key",
&pk->details.cs_public_key, &pk->details.cs_public_key,
sizeof (pk->details.cs_public_key))); sizeof (pk->details.cs_public_key)));

View File

@ -186,7 +186,7 @@ qconv_denom_pub (void *cls,
GNUNET_assert (scratch_length > 0); GNUNET_assert (scratch_length > 0);
GNUNET_break (NULL == cls); GNUNET_break (NULL == cls);
be[0] = htonl ((uint32_t) denom_pub->cipher); be[0] = htonl ((uint32_t) denom_pub->cipher);
be[1] = htonl (denom_pub->age_mask.mask); be[1] = htonl (denom_pub->age_mask.bits);
switch (denom_pub->cipher) switch (denom_pub->cipher)
{ {
case TALER_DENOMINATION_RSA: case TALER_DENOMINATION_RSA:

View File

@ -426,7 +426,7 @@ extract_denom_pub (void *cls,
res += sizeof (be); res += sizeof (be);
len -= sizeof (be); len -= sizeof (be);
pk->cipher = ntohl (be[0]); pk->cipher = ntohl (be[0]);
pk->age_mask.mask = ntohl (be[1]); pk->age_mask.bits = ntohl (be[1]);
switch (pk->cipher) switch (pk->cipher)
{ {
case TALER_DENOMINATION_RSA: case TALER_DENOMINATION_RSA:

View File

@ -1115,7 +1115,7 @@ melt_run (void *cls,
/* Melt amount starts with the melt fee of the old coin; we'll add the /* Melt amount starts with the melt fee of the old coin; we'll add the
values and withdraw fees of the fresh coins next */ values and withdraw fees of the fresh coins next */
melt_amount = melt_denom_pub->fees.refresh; melt_amount = melt_denom_pub->fees.refresh;
age_restricted = melt_denom_pub->key.age_mask.mask != 0; age_restricted = melt_denom_pub->key.age_mask.bits != 0;
for (unsigned int i = 0; i<num_fresh_coins; i++) for (unsigned int i = 0; i<num_fresh_coins; i++)
{ {
const struct TALER_EXCHANGE_DenomPublicKey *fresh_pk; const struct TALER_EXCHANGE_DenomPublicKey *fresh_pk;

View File

@ -425,7 +425,7 @@ TALER_TESTING_find_pk (const struct TALER_EXCHANGE_Keys *keys,
(GNUNET_TIME_timestamp_cmp (now, (GNUNET_TIME_timestamp_cmp (now,
<, <,
pk->withdraw_valid_until)) && pk->withdraw_valid_until)) &&
(age_restricted == (0 != pk->key.age_mask.mask)) ) (age_restricted == (0 != pk->key.age_mask.bits)) )
return pk; return pk;
} }
/* do 2nd pass to check if expiration times are to blame for /* do 2nd pass to check if expiration times are to blame for
@ -442,7 +442,7 @@ TALER_TESTING_find_pk (const struct TALER_EXCHANGE_Keys *keys,
GNUNET_TIME_timestamp_cmp (now, GNUNET_TIME_timestamp_cmp (now,
>, >,
pk->withdraw_valid_until) ) && pk->withdraw_valid_until) ) &&
(age_restricted == (0 != pk->key.age_mask.mask)) ) (age_restricted == (0 != pk->key.age_mask.bits)) )
{ {
GNUNET_log GNUNET_log
(GNUNET_ERROR_TYPE_WARNING, (GNUNET_ERROR_TYPE_WARNING,

View File

@ -38,7 +38,7 @@ TALER_age_commitment_hash (
return; return;
} }
GNUNET_assert (__builtin_popcount (commitment->mask.mask) - 1 == GNUNET_assert (__builtin_popcount (commitment->mask.bits) - 1 ==
commitment->num); commitment->num);
hash_context = GNUNET_CRYPTO_hash_context_start (); hash_context = GNUNET_CRYPTO_hash_context_start ();
@ -67,7 +67,7 @@ get_age_group (
const struct TALER_AgeMask *mask, const struct TALER_AgeMask *mask,
uint8_t age) uint8_t age)
{ {
uint32_t m = mask->mask; uint32_t m = mask->bits;
uint8_t i = 0; uint8_t i = 0;
while (m > 0) while (m > 0)
@ -89,23 +89,26 @@ TALER_age_restriction_commit (
const uint64_t salt, const uint64_t salt,
struct TALER_AgeCommitmentProof *new) struct TALER_AgeCommitmentProof *new)
{ {
uint8_t num_pub = __builtin_popcount (mask->mask) - 1; uint8_t num_pub = __builtin_popcount (mask->bits) - 1;
uint8_t num_priv = get_age_group (mask, age) - 1; uint8_t num_priv = get_age_group (mask, age);
size_t i; size_t i;
GNUNET_assert (NULL != new); GNUNET_assert (NULL != new);
GNUNET_assert (mask->mask & 1); /* fist bit must have been set */ GNUNET_assert (mask->bits & 1); /* fist bit must have been set */
GNUNET_assert (0 <= num_priv); GNUNET_assert (0 <= num_priv);
GNUNET_assert (31 > num_priv); GNUNET_assert (31 > num_priv);
GNUNET_assert (num_priv <= num_pub); GNUNET_assert (num_priv <= num_pub);
new->commitment.mask.mask = mask->mask; new->commitment.mask.bits = mask->bits;
new->commitment.num = num_pub; new->commitment.num = num_pub;
new->proof.num = num_priv; new->proof.num = num_priv;
new->proof.priv = NULL;
new->commitment.pub = GNUNET_new_array ( new->commitment.pub = GNUNET_new_array (
num_pub, num_pub,
struct TALER_AgeCommitmentPublicKeyP); struct TALER_AgeCommitmentPublicKeyP);
if (0 < num_priv)
new->proof.priv = GNUNET_new_array ( new->proof.priv = GNUNET_new_array (
num_priv, num_priv,
struct TALER_AgeCommitmentPrivateKeyP); struct TALER_AgeCommitmentPrivateKeyP);
@ -143,6 +146,7 @@ TALER_age_restriction_commit (
FAIL: FAIL:
GNUNET_free (new->commitment.pub); GNUNET_free (new->commitment.pub);
if (NULL != new->proof.priv)
GNUNET_free (new->proof.priv); GNUNET_free (new->proof.priv);
return GNUNET_SYSERR; return GNUNET_SYSERR;
} }
@ -199,7 +203,7 @@ TALER_age_commitment_derive (
GNUNET_assert (NULL != new); GNUNET_assert (NULL != new);
GNUNET_assert (orig->commitment.num== __builtin_popcount ( GNUNET_assert (orig->commitment.num== __builtin_popcount (
orig->commitment.mask.mask) - 1); orig->commitment.mask.bits) - 1);
GNUNET_assert (orig->proof.num <= orig->commitment.num); GNUNET_assert (orig->proof.num <= orig->commitment.num);
new->commitment.mask = orig->commitment.mask; new->commitment.mask = orig->commitment.mask;
@ -305,7 +309,7 @@ TALER_age_commitment_attest (
return GNUNET_OK; return GNUNET_OK;
} }
if (group > cp->proof.num) if (group >= cp->proof.num)
return GNUNET_NO; return GNUNET_NO;
{ {
@ -316,7 +320,7 @@ TALER_age_commitment_attest (
.age = age .age = age
}; };
GNUNET_CRYPTO_eddsa_sign (&cp->proof.priv[group].eddsa_priv, GNUNET_CRYPTO_eddsa_sign (&cp->proof.priv[group - 1].eddsa_priv,
&at, &at,
&attest->eddsa_signature); &attest->eddsa_signature);
} }
@ -345,7 +349,7 @@ TALER_age_commitment_verify (
if (0 == group) if (0 == group)
return GNUNET_OK; return GNUNET_OK;
if (group > comm->num) if (group >= comm->num)
return GNUNET_NO; return GNUNET_NO;
{ {
@ -360,7 +364,7 @@ TALER_age_commitment_verify (
GNUNET_CRYPTO_eddsa_verify (TALER_SIGNATURE_WALLET_AGE_ATTESTATION, GNUNET_CRYPTO_eddsa_verify (TALER_SIGNATURE_WALLET_AGE_ATTESTATION,
&at, &at,
&attest->eddsa_signature, &attest->eddsa_signature,
&comm->pub[group].eddsa_pub); &comm->pub[group - 1].eddsa_pub);
} }
} }

View File

@ -230,7 +230,7 @@ TALER_denom_pub_hash (const struct TALER_DenominationPublicKey *denom_pub,
struct TALER_DenominationHashP *denom_hash) struct TALER_DenominationHashP *denom_hash)
{ {
uint32_t opt[2] = { uint32_t opt[2] = {
htonl (denom_pub->age_mask.mask), htonl (denom_pub->age_mask.bits),
htonl ((uint32_t) denom_pub->cipher) htonl ((uint32_t) denom_pub->cipher)
}; };
struct GNUNET_HashContext *hc; struct GNUNET_HashContext *hc;
@ -558,8 +558,8 @@ TALER_denom_pub_cmp (const struct TALER_DenominationPublicKey *denom1,
{ {
if (denom1->cipher != denom2->cipher) if (denom1->cipher != denom2->cipher)
return (denom1->cipher > denom2->cipher) ? 1 : -1; return (denom1->cipher > denom2->cipher) ? 1 : -1;
if (denom1->age_mask.mask != denom2->age_mask.mask) if (denom1->age_mask.bits != denom2->age_mask.bits)
return (denom1->age_mask.mask > denom2->age_mask.mask) ? 1 : -1; return (denom1->age_mask.bits > denom2->age_mask.bits) ? 1 : -1;
switch (denom1->cipher) switch (denom1->cipher)
{ {
case TALER_DENOMINATION_INVALID: case TALER_DENOMINATION_INVALID: