{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T23:49:36Z","timestamp":1783036176509,"version":"3.54.6"},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/tc.2023.3235975","type":"journal-article","created":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T19:10:15Z","timestamp":1673377815000},"page":"1-14","source":"Crossref","is-referenced-by-count":10,"title":["Split: A Hash-based Memory Optimization Method for Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARK)"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8251-4221","authenticated-orcid":false,"given":"Huayi","family":"Qi","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ye","family":"Cheng","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3675-3461","authenticated-orcid":false,"given":"Minghui","family":"Xu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6835-5981","authenticated-orcid":false,"given":"Dongxiao","family":"Yu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4201-1122","authenticated-orcid":false,"given":"Haipeng","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Weifeng","family":"Lyu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shandong University, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2015.2448099"},{"key":"ref35","first-page":"519","article-title":"Poseidon: A new hash function for zero-knowledge proof systems","author":"grassi","year":"2021","journal-title":"Proc 30th USENIX Secur Symp"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2014.2298013"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53887-6_7"},{"key":"ref15","first-page":"4675","article-title":"SafetyNets: Verifiable execution of deep neural networks on an untrusted cloud","author":"ghodsi","year":"2017","journal-title":"Proc 31st Int Conf Neural Inf Process Syst"},{"key":"ref14","first-page":"781","article-title":"Succinct non-interactive zero knowledge for a von neumann architecture","author":"ben-sasson","year":"2014","journal-title":"Proc 23rd USENIX Secur Symp"},{"key":"ref31","article-title":"Leo: A programming language for formally verified, zero-knowledge applications","author":"chin","year":"2021","journal-title":"Cryptology-eprint-archive"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00199"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2090236.2090263"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3046025"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2022.3148379"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38348-9_37"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2020.2969565"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.36"},{"key":"ref17","article-title":"Benchmarking zero-knowledge proofs with isekai","author":"drevon","year":"2019"},{"key":"ref16","article-title":"ZEN: An optimizing compiler for verifiable, zero-knowledge neural network inferences","author":"feng","year":"2021","journal-title":"Cryptology-eprint-archive"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.47"},{"key":"ref18","first-page":"675","article-title":"DIZK: A distributed zero knowledge proof system","author":"wu","year":"2018","journal-title":"Proc 27th USENIX Secur Symp"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17653-2_4"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134104"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s11277-013-1555-4"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-26954-8_24"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_11"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53644-5_2"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2021.3078639"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2022.3147960"},{"key":"ref27","first-page":"307","article-title":"BANZKP: A secure authentication scheme using zero knowledge proof for WBANs","author":"khernane","year":"2016","journal-title":"Proc IEEE Int Conf Mobile Ad-hoc Sensor Syst"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00018"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2015.2510646"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2022.3150724"},{"key":"ref9","article-title":"Privacy-preserving COVID-19 contact tracing app: A zero-knowledge proof approach","volume":"2020","author":"liu","year":"2020","journal-title":"IACR Cryptol ePrint Arch"},{"key":"ref4","first-page":"1","article-title":"Filecoin: A decentralized storage network","volume":"1","author":"benet","year":"2018","journal-title":"Protocol Labs"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2020.3025129"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3028189"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC51069.2021.9461122"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/4358213\/10014647.pdf?arnumber=10014647","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,9]],"date-time":"2023-06-09T15:30:49Z","timestamp":1686324649000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10014647\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/tc.2023.3235975","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"value":"0018-9340","type":"print"},{"value":"1557-9956","type":"electronic"},{"value":"2326-3814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]}}}