Zara, M.; Wang, S.; ul Moin, H. Blockchain-Based Verifiable Computation: A Review. PPASA 2024, 61, 113-128.