_id,doi,title
14735,10.1007/978-3-031-47754-6_1,"Executing and proving over dirty ledgers"