The answer is:
At each time T, "proof" consists of: an amount greater than has been discovered by time T