"""Cryptographic proof, replay, and containment helpers."""