Verifiable Computing Applications in Blockchain[J] IEEE ACCESS 2021(9) Simunic, Silvio Bernaca, Dalen Lenac, Kristijan