Liveness proofs in Veil: Part 1 | Hacker News Reader