(rand z_show_Hattr_L_level_since, show_Hattr_M_from_bucket, pub show_Rattr_L_invites_remaining, pub show_Rattr_L_id, show_Hattr_M_to_bucket, pub show_Rattr_L_blockages, rand z_show_Hattr_M_from_bucket, pub iss_Iattr_N_trust_level, rand s_iss_cred_N, pub show_Rattr_L_trust_level, pub iss_Iattr_N_invites_remaining, rand zQ_show_cred_M, rand z_show_Hattr_L_bucket, rand zQ_show_cred_L, show_Hattr_L_level_since, rand z_show_Hattr_M_to_bucket, pub show_Rattr_M_lox_id, iss_Jattr_N_id, pub show_Iattr_M_migration_type, pub iss_Iattr_N_blockages),
(C_show_Hattr_M_from_bucket, cind X_show_Hattr_M_from_bucket, cind P_show_cred_M, cind X_show_Hattr_L_level_since, cind X_iss_Jattr_N_id, cind X_iss_Hattr_N_bucket, cind P_show_cred_L, V_show_cred_L, const cind B_generator, const cind A_generator, C_iss_cred_N, C_show_Hattr_L_bucket, C_show_Hattr_M_to_bucket, V_show_cred_M, cind X_show_Hattr_L_bucket, cind X_show_Hattr_M_to_bucket, C_show_Hattr_L_level_since),
And (
  C_iss_cred_N = s_iss_cred_N * A_generator + iss_Jattr_N_id * X_iss_Jattr_N_id + show_Hattr_M_to_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_M_from_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,
)

fn prove_fragment() {
    if show_Hattr_L_bucket != show_Hattr_M_from_bucket {
        return Err(SigmaError::VerificationFailure);
    }
    if iss_Hattr_N_bucket != show_Hattr_M_to_bucket {
        return Err(SigmaError::VerificationFailure);
    }
    if show_Rattr_L_id != show_Rattr_M_lox_id {
        return Err(SigmaError::VerificationFailure);
    }
}

fn verify_fragment() {
    if show_Rattr_L_id != show_Rattr_M_lox_id {
        return Err(SigmaError::VerificationFailure);
    }
}

