M. Zara, S. Wang, and H. ul Moin, “Blockchain-Based Verifiable Computation: A Review”, PPASA, vol. 61, no. 2, pp. 113–128, Jun. 2024.