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,
