Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations. - Alvaro Alonso Domenech; Jonathan Heiss; Stefan Tai (ICBC, 2024)