Editor's drafts for bas/tighten-prehash branch of lamps-wg/dilithium-certificates