This is a revision of a paper that first appeared as an eprint back in September when PQ3 was announced.

https://eprint.iacr.org/2024/1395