client_proof < Point >,
(rand s_iss_cred_N, rand zQ_show_cred_L, rand
z_show_Hattr_L_level_since, rand z_show_Hattr_L_bucket, rand zQ_show_cred_M, rand
z_show_Hattr_M_to_bucket, rand z_show_Hattr_M_from_bucket, iss_Jattr_N_id,
iss_Hattr_N_bucket, show_Hattr_L_level_since, show_Hattr_L_bucket,
show_Hattr_M_to_bucket, show_Hattr_M_from_bucket, pub iss_Iattr_N_trust_level,
pub iss_Iattr_N_invites_remaining, pub iss_Iattr_N_blockages, pub
show_Rattr_L_id, pub show_Rattr_L_trust_level, pub
show_Rattr_L_invites_remaining, pub show_Rattr_L_blockages, pub
show_Rattr_M_lox_id, pub show_Iattr_M_migration_type,),
(cind X_iss_Jattr_N_id,
cind X_iss_Hattr_N_bucket, cind P_show_cred_L, cind X_show_Hattr_L_level_since,
cind X_show_Hattr_L_bucket, cind P_show_cred_M, cind X_show_Hattr_M_to_bucket,
cind X_show_Hattr_M_from_bucket, C_iss_cred_N, V_show_cred_L,
C_show_Hattr_L_level_since, C_show_Hattr_L_bucket, V_show_cred_M,
C_show_Hattr_M_to_bucket, C_show_Hattr_M_from_bucket, cind const A_generator,
cind const B_generator,),
show_Rattr_L_id = show_Rattr_M_lox_id,
show_Hattr_L_bucket = show_Hattr_M_from_bucket,
iss_Hattr_N_bucket = show_Hattr_M_to_bucket,
C_iss_cred_N = s_iss_cred_N * A_generator + iss_Jattr_N_id * X_iss_Jattr_N_id + iss_Hattr_N_bucket * X_iss_Hattr_N_bucket,
C_show_Hattr_L_level_since = show_Hattr_L_level_since * P_show_cred_L + z_show_Hattr_L_level_since * A_generator,
C_show_Hattr_L_bucket = show_Hattr_L_bucket * P_show_cred_L + z_show_Hattr_L_bucket * A_generator,
V_show_cred_L = zQ_show_cred_L * B_generator + z_show_Hattr_L_level_since * X_show_Hattr_L_level_since + z_show_Hattr_L_bucket * X_show_Hattr_L_bucket,
C_show_Hattr_M_to_bucket = show_Hattr_M_to_bucket * P_show_cred_M + z_show_Hattr_M_to_bucket * A_generator,
C_show_Hattr_M_from_bucket = show_Hattr_M_from_bucket * P_show_cred_M + z_show_Hattr_M_from_bucket * A_generator,
V_show_cred_M = zQ_show_cred_M * B_generator + z_show_Hattr_M_to_bucket * X_show_Hattr_M_to_bucket + z_show_Hattr_M_from_bucket * X_show_Hattr_M_from_bucket,