        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,
