CcrHashable Concept Reference

Circular-correlation-robust (CCR) hash interface for HalfTree schemes. More...

Concept definition

template<typename Hash>
concept CcrHashable =  requires(Hash hash, int4 block) {
  { hash.Hash(block) } -> std::same_as<int4>;
}

Detailed Description

Circular-correlation-robust (CCR) hash interface for HalfTree schemes.

Hash() maps a 128-bit block to a 128-bit block and must satisfy circular correlation robustness, beyond the expression requirements checked here. HalfTree applies its instance seed S separately, as Hash(S xor x). This requirement is distinct from Hashable and XorHashable.