On building a verifiable log, part 1: core ideas | Hacker News Reader