Liveness Proofs in Veil, Part I: The First Step | Hacker News Reader