Is Mersenne primality testing necessarily EXPTIME?

The computational complexity of primality testing is usually specified in relation to the bit length of the number being tested.

However, Mersenne numbers have the special property that the characterizing instance exponent $$p$$ is exponentially more succinct than the number it signifies. Surprisingly, most of the literature I've found appears to assume a unary representation of $$p$$ rather than binary.

The Great Internet Mersenne Prime Search, for example, aims to identify very large Mersene primes via an optimized distributed Lucas–Lehmer primality test. GIMPS as a virtual computer has at times ranked among the TOP500 in terms of expended computational capacity.

So is all this distributed computing truly necessary? Do we really need to expand $$p$$ to its verbose representation to verify its primality?

Or is there still a possibility that primality testing for Mersenne numbers could be decidable in polynomial time in the size of the instance $$p$$ via some clever certificate tree?