Liveness Proofs in Veil, Part I: The First Step

3 points | by abiro 7 hours ago