Verifiable Computing Applications in Blockchain. - Silvio Simunic; Dalen Bernaca; Kristijan Lenac (IEEE Access, 2021)