Agree on all counts except I believe the hash operates on the input bytes only once, along the lines of: HashValue = HashRound(HashRound(NothingUpSleeveSe

Agree on all counts except I believe the hash operates on the input bytes only once, along the lines of: HashValue = HashRound(HashRound(NothingUpSleeveSeed, BytesCount), Bytes) Then computing the other hashes just use one more round HashRound(HashValue, Index) for each Index. The rounds are just aesdec instructions. He calls this “pelican hashing” which is presumably some reference to the hashing literature, I’m not familiar.