„Incremental Proofs of Sequential Work“ Accepted at EUROCRYPT 2019