On Sarkozy's theorem for shifted primes

Suppose that N is large and that A is a subset of {1,..,N} which does not contain two elements x, y with x - y equal to p-1, p a prime. Then A has cardinality at most N^{1 - c}, for some absolute c > 0. I will discuss the history of this kind of question as well as some aspects of the proof of the stated result.