Algorithm to prove that an event occurred before a point of time (stackoverflow.com)