Stefo, Christos, Zhuolun Xiang, and Eleftherios Kokoris Kogias. “Executing and Proving over Dirty Ledgers.”https://doi.org/10.1007/978-3-031-47754-6_1__In 27th International Conference on Financial Cryptography and Data Security, 13950:3–20. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-47754-6_1 .