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