Public records

Papers, specifications, machine-checked statements, and measurements supporting Adversarial examples for fast hash functions.

Papers

• UMASH collision bounds

• HalftimeHash: corrected bounds and repair

Specifications and theorems

• ChainHash specification

• ChainHash theorem

• ChainHash-128 specification

• ChainHash-128 theorem

• ChainHash Lean proofs

• ChainHash SMHasher3 and rurban full-suite report

• HalftimeHash24 repaired construction

• HighwayHash exact-count lemma

• Machine-checked statements

Reproduction

• Timing reproduction: pinned sources, patches, manifest, runner, and verification

• Collision verifier packages

• 19 September smoke checks: 27 Makefile targets and two foldhash packages

Measurements

The JSON records retain the reported measurements and run metadata. Timing reproduction instructions are maintained in the repository above.

• chainhash/speeds_chainhash.json

• chainhash/speeds_chainhash128.json

• foldhash/speeds_foldhash.json

• halftime/speeds_halftime_fixed.json

• halftime24-shipped/speeds_halftime24_shipped.json

• museair-v2-timing/speeds_museair_v2.json

• new-hashes/speeds_new_hashes.json

• new-hashes-timing/speeds_new_hashes.json

• speeds.json

• speeds_classic.json

• speeds_existing.json

• speeds_m2_v2.json

• speeds_m2_v2_input.json

• speeds_xeon_add.json

• witness-searches/muse-v2-timing/speeds_museair_v2.json

• witness-searches/random-secret/: random-secret key-model measurements for wyhash, rapidhash v1, rapidhash v3, XXH3-64 and XXH3-128 (search harnesses, independent verifiers, logs; 2026-09-19)

Exact certificates

The following files are the exact arithmetic certificates, check programs, source dependencies, and execution evidence cited in the papers. Source files and JSON are downloadable reproducibility inputs.

Reference papers

• gcm-security

• gcm-spec

• poly1305-20050329