Cayley Linear-Time Computable Groups (Groups, Complexity, Cryptology, 2024)