{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T10:03:06Z","timestamp":1768471386499,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,11,11]],"date-time":"2019-11-11T00:00:00Z","timestamp":1573430400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,11,11]]},"DOI":"10.1145\/3338466.3358925","type":"proceedings-article","created":{"date-parts":[[2019,11,11]],"date-time":"2019-11-11T18:15:00Z","timestamp":1573496100000},"page":"17-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Verifiable Computation using Smart Contracts"],"prefix":"10.1145","author":[{"given":"Sepideh","family":"Avizheh","sequence":"first","affiliation":[{"name":"University of Calgary, Calgary, AB, Canada"}]},{"given":"Mahmudun","family":"Nabi","sequence":"additional","affiliation":[{"name":"University of Calgary, Calgary, AB, Canada"}]},{"given":"Reihaneh","family":"Safavi-Naini","sequence":"additional","affiliation":[{"name":"University of Calgary, Calgary, AB, Canada"}]},{"given":"Muni","family":"Venkateswarlu K.","sequence":"additional","affiliation":[{"name":"University of Calgary, Calgary, AB, Canada"}]}],"member":"320","published-online":{"date-parts":[[2019,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. ETH gas station. https:\/\/ethgasstation.info\/ Accessed on August 19 2019.  2019. ETH gas station. https:\/\/ethgasstation.info\/ Accessed on August 19 2019."},{"key":"e_1_3_2_1_2_1","unstructured":"2019. RSK. https:\/\/www.rsk.co\/solutions\/ Accessed on August 19 2019.  2019. RSK. https:\/\/www.rsk.co\/solutions\/ Accessed on August 19 2019."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/GRID.2004.14"},{"key":"e_1_3_2_1_4_1","volume-title":"International Colloquium on Automata, Languages, and Programming","author":"Applebaum Benny"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/22145.22192"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403027.1403046"},{"key":"e_1_3_2_1_7_1","first-page":"919","article-title":"Snow White: Provably Secure Proofs of Stake","volume":"2016","author":"Bentov Iddo","year":"2016","journal-title":"IACR Cryptology ePrint Archive"},{"key":"e_1_3_2_1_8_1","unstructured":"Vitalik Buterin et al. 2014. A next-generation smart contract and decentralized application platform. white paper (2014).  Vitalik Buterin et al. 2014. A next-generation smart contract and decentralized application platform. white paper (2014)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046759"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14623-7_26"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134032"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/258533.258644"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14623-7_25"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Shafi Goldwasser Silvio Micali and Charles Rackoff. 1989. The knowledge complexity of interactive proof systems. SIAM Journal on computing 18 1 (1989) 186--208.  Shafi Goldwasser Silvio Micali and Charles Rackoff. 1989. The knowledge complexity of interactive proof systems. SIAM Journal on computing 18 1 (1989) 186--208.","DOI":"10.1137\/0218012"},{"key":"e_1_3_2_1_15_1","volume-title":"The Scalability of Trustless Trust. In International Conference on Financial Cryptography and Data Security. Springer, 279--293","author":"Harz Dominik","year":"2018"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of WEIS.","author":"Khouzani MHR","year":"2014"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/129712.129782"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44750-4_25"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813659"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12601-2_5"},{"key":"e_1_3_2_1_21_1","unstructured":"Jason Teutsch and Christian Reitwie\u00dfner. 2017. A scalable verification solution for blockchains. url: https:\/\/people. cs. uchicago. edu\/teutsch\/papers\/truebit pdf (2017).  Jason Teutsch and Christian Reitwie\u00dfner. 2017. A scalable verification solution for blockchains. url: https:\/\/people. cs. uchicago. edu\/teutsch\/papers\/truebit pdf (2017)."},{"key":"e_1_3_2_1_22_1","volume-title":"Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper 151","author":"GavinWood","year":"2014"}],"event":{"name":"CCS '19: 2019 ACM SIGSAC Conference on Computer and Communications Security","location":"London United Kingdom","acronym":"CCS '19","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2019 ACM SIGSAC Conference on Cloud Computing Security Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338466.3358925","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3338466.3358925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:21Z","timestamp":1750207401000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338466.3358925"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,11]]},"references-count":22,"alternative-id":["10.1145\/3338466.3358925","10.1145\/3338466"],"URL":"https:\/\/doi.org\/10.1145\/3338466.3358925","relation":{},"subject":[],"published":{"date-parts":[[2019,11,11]]},"assertion":[{"value":"2019-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}