Silvio Simunic, Dalen Bernaca, Kristijan Lenac: Verifiable Computing Applications in Blockchain. IEEE Access 9: 156729-156745 (2021)