client_proof < Point >, (rand s_iss_cred_N, rand zQ_show_cred_L, rand
z_show_Hattr_L_blockages, rand z_show_Hattr_L_bucket, rand
z_show_Hattr_L_invites_remaining, rand z_show_Hattr_L_level_since, rand
zQ_show_cred_B, rand z_show_Hattr_B_bucket, iss_Hattr_N_blockages,
iss_Hattr_N_bucket, iss_Jattr_N_id, show_Hattr_L_blockages, show_Hattr_L_bucket,
show_Hattr_L_invites_remaining, show_Hattr_L_level_since, show_Hattr_B_bucket,
pub iss_Iattr_N_invites_remaining, pub iss_Rattr_N_trust_level, pub
show_Rattr_L_id, pub show_Rattr_L_trust_level, pub show_Rattr_B_date, pub
param_credential_expiry, pub param_eligibility_max_age, pub param_max_blockage,
pub param_today,), (cind X_iss_Hattr_N_blockages, cind X_iss_Hattr_N_bucket, cind
X_iss_Jattr_N_id, cind P_show_cred_L, cind X_show_Hattr_L_blockages, cind
X_show_Hattr_L_bucket, cind X_show_Hattr_L_invites_remaining, cind
X_show_Hattr_L_level_since, cind P_show_cred_B, cind X_show_Hattr_B_bucket,
C_iss_cred_N, V_show_cred_L, C_show_Hattr_L_blockages, C_show_Hattr_L_bucket,
C_show_Hattr_L_invites_remaining, C_show_Hattr_L_level_since, V_show_cred_B,
C_show_Hattr_B_bucket, cind const A_generator, cind const B_generator,),
(param_credential_expiry..= param_eligibility_max_age)
.contains(show_Hattr_L_level_since), (0..= param_max_blockage)
.contains(show_Hattr_L_blockages), show_Rattr_B_date = param_today,
show_Hattr_B_bucket = show_Hattr_L_bucket, iss_Hattr_N_bucket =
show_Hattr_L_bucket, iss_Rattr_N_trust_level = show_Rattr_L_trust_level + 1,
iss_Hattr_N_blockages = show_Hattr_L_blockages, C_iss_cred_N = s_iss_cred_N *
A_generator + iss_Hattr_N_blockages * X_iss_Hattr_N_blockages +
iss_Hattr_N_bucket * X_iss_Hattr_N_bucket + iss_Jattr_N_id * X_iss_Jattr_N_id,
C_show_Hattr_L_blockages = show_Hattr_L_blockages * P_show_cred_L +
z_show_Hattr_L_blockages * A_generator, C_show_Hattr_L_bucket =
show_Hattr_L_bucket * P_show_cred_L + z_show_Hattr_L_bucket * A_generator,
C_show_Hattr_L_invites_remaining = show_Hattr_L_invites_remaining * P_show_cred_L
+ z_show_Hattr_L_invites_remaining * A_generator, C_show_Hattr_L_level_since =
show_Hattr_L_level_since * P_show_cred_L + z_show_Hattr_L_level_since *
A_generator, V_show_cred_L = zQ_show_cred_L * B_generator +
z_show_Hattr_L_blockages * X_show_Hattr_L_blockages + z_show_Hattr_L_bucket *
X_show_Hattr_L_bucket + z_show_Hattr_L_invites_remaining *
X_show_Hattr_L_invites_remaining + z_show_Hattr_L_level_since *
X_show_Hattr_L_level_since, C_show_Hattr_B_bucket = show_Hattr_B_bucket *
P_show_cred_B + z_show_Hattr_B_bucket * A_generator, V_show_cred_B =
zQ_show_cred_B * B_generator + z_show_Hattr_B_bucket * X_show_Hattr_B_bucket,