update HATestZK