---

# Если diff = SECRET_VICTIM * H^5, то diff * inv(H^5) = SECRET_VICTIM
# Найдём inv(H^5) через solve_linear: X * H^5 = 1 -> X = inv(H^5)
inv_H_k = solve_linear(H_k, 1)
print(f"inv(H^5) = {inv_H_k:032x}" if inv_H_k else "inv(H^5) = None")
if inv_H_k:
    print(f"H^5 * inv(H^5) = {gf128_mul(H_k, inv_H_k):032x} (должно быть 1)")
    SECRET_VICTIM_test = gf128_mul(diff, inv_H_k)
    print(f"SECRET_VICTIM = {SECRET_VICTIM_test:032x}")