Stefo, Christos, et al. “Executing and Proving over Dirty Ledgers.”10.1007/978-3-031-47754-6_1__27th International Conference on Financial Cryptography and Data Security, vol. 13950, Springer Nature, 2023, pp. 3–20, doi:10.1007/978-3-031-47754-6_1.