{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T02:31:16Z","timestamp":1771468276560,"version":"3.50.1"},"reference-count":32,"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"}],"funder":[{"DOI":"10.13039\/501100001809","name":"NSF China","doi-asserted-by":"publisher","award":["62272306"],"award-info":[{"award-number":["62272306"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"NSF China","doi-asserted-by":"publisher","award":["62032020"],"award-info":[{"award-number":["62032020"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"NSF China","doi-asserted-by":"publisher","award":["62136006"],"award-info":[{"award-number":["62136006"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007219","name":"Shanghai Natural Science Foundation","doi-asserted-by":"publisher","award":["21JC1403800"],"award-info":[{"award-number":["21JC1403800"]}],"id":[{"id":"10.13039\/100007219","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans.Inform.Forensic Secur."],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/tifs.2023.3288454","type":"journal-article","created":{"date-parts":[[2023,6,27]],"date-time":"2023-06-27T17:34:10Z","timestamp":1687887250000},"page":"3906-3920","source":"Crossref","is-referenced-by-count":4,"title":["A New Zero Knowledge Argument for General Circuits and Its Application"],"prefix":"10.1109","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7508-6852","authenticated-orcid":false,"given":"Haohua","family":"Duan","sequence":"first","affiliation":[{"name":"John Hopcroft Center for Computer Science, Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0165-4930","authenticated-orcid":false,"given":"Liyao","family":"Xiang","sequence":"additional","affiliation":[{"name":"John Hopcroft Center for Computer Science, Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0357-8356","authenticated-orcid":false,"given":"Xinbing","family":"Wang","sequence":"additional","affiliation":[{"name":"John Hopcroft Center for Computer Science, Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-7768-811X","authenticated-orcid":false,"given":"Pengzhi","family":"Chu","sequence":"additional","affiliation":[{"name":"Student Innovation Center, Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chenghu","family":"Zhou","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Resources and Environmental Information System, Institute of Geographic Sciences and Natural Resources Research, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17653-2_4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3133984"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2019.2929409"},{"key":"ref14","first-page":"4672","article-title":"SafetyNets: Verifiable execution of deep neural networks on an untrusted cloud","author":"ghodsi","year":"2017","journal-title":"Proc Adv Neural Inf Process Syst (NIPS)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.14778\/2047485.2047488"},{"key":"ref30","first-page":"201","article-title":"CryptoNets: Applying neural networks to encrypted data with high throughput and accuracy","author":"gilad-bachrach","year":"2016","journal-title":"Proc Int Conf Mach Learn (ICML)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00060"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00020"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.48"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.43"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2699436"},{"key":"ref17","article-title":"ZEN: An optimizing compiler for verifiable, zero-knowledge neural network inferences","author":"feng","year":"2021"},{"key":"ref16","article-title":"vCNN: Verifiable convolutional neural network based on zk-SNARKs","author":"lee","year":"2020"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2090236.2090245"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/146585.146605"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/322217.322225"},{"key":"ref23","year":"2019","journal-title":"Libiop"},{"key":"ref26","first-page":"253","article-title":"Taking proof-based verified computation a few steps closer to practicality","author":"setty","year":"2012","journal-title":"Proc 21st USENIX Secur Symp (USENIX Secur )"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09519-5_73"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40084-1_5"},{"key":"ref22","article-title":"A zero-knowledge version of vSQL","author":"zhang","year":"2017"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417278"},{"key":"ref28","first-page":"186","article-title":"How to prove yourself: Practical solutions to identification and signature problems","author":"fiat","year":"1986","journal-title":"Proc Conf Theory Appl Cryptograph Techn (EUROCRYPT)"},{"key":"ref27","first-page":"14:1","article-title":"Fast Reed–Solomon interactive oracle proofs of proximity","author":"ben-sasson","year":"2018","journal-title":"Proc 45th Int Colloq Automata Lang Program (ICALP)"},{"key":"ref29","year":"2020","journal-title":"Virgo"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.47"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1137\/0218012"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_12"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00052"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-26954-8_24"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3485379"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484767"}],"container-title":["IEEE Transactions on Information Forensics and Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10206\/9970396\/10164203.pdf?arnumber=10164203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T17:41:22Z","timestamp":1690220482000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10164203\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/tifs.2023.3288454","relation":{},"ISSN":["1556-6013","1556-6021"],"issn-type":[{"value":"1556-6013","type":"print"},{"value":"1556-6021","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]}}}