"verify function of a hash function" -> "verify method of a hash context"