Liveness proofs in Veil: Part 1
proofsandintuitions.net