{"id":"https://openalex.org/W4412373325","doi":"https://doi.org/10.56553/popets-2025-0161","title":"TeleSparse: Practical Privacy-Preserving Verification of Deep Neural Networks","display_name":"TeleSparse: Practical Privacy-Preserving Verification of Deep Neural Networks","publication_year":2025,"publication_date":"2025-07-13","ids":{"openalex":"https://openalex.org/W4412373325","doi":"https://doi.org/10.56553/popets-2025-0161"},"language":"en","primary_location":{"id":"doi:10.56553/popets-2025-0161","is_oa":true,"landing_page_url":"https://doi.org/10.56553/popets-2025-0161","pdf_url":null,"source":{"id":"https://openalex.org/S4210183172","display_name":"Proceedings on Privacy Enhancing Technologies","issn_l":"2299-0984","issn":["2299-0984"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings on Privacy Enhancing Technologies","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.56553/popets-2025-0161","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5094348631","display_name":"Mohammad M Maheri","orcid":null},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Mohammad M Maheri","raw_affiliation_strings":["Imperial College London"],"affiliations":[{"raw_affiliation_string":"Imperial College London","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102978829","display_name":"Hamed Haddadi","orcid":"https://orcid.org/0000-0002-8357-9059"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Hamed Haddadi","raw_affiliation_strings":["Imperial College London"],"affiliations":[{"raw_affiliation_string":"Imperial College London","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066592591","display_name":"Alex Davidson","orcid":"https://orcid.org/0000-0001-9157-3821"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Alex Davidson","raw_affiliation_strings":["LASIGE, Universidade de Lisboa"],"affiliations":[{"raw_affiliation_string":"LASIGE, Universidade de Lisboa","institution_ids":["https://openalex.org/I83558840","https://openalex.org/I141596103"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5094348631"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0921098,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2025","issue":"4","first_page":"861","last_page":"880"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.9761000275611877,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12034","display_name":"Digital and Cyber Forensics","score":0.9157999753952026,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7019519805908203},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5992547273635864},{"id":"https://openalex.org/keywords/deep-neural-networks","display_name":"Deep neural networks","score":0.4790007770061493},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.430860698223114},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.37119895219802856}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7019519805908203},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5992547273635864},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.4790007770061493},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.430860698223114},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37119895219802856}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.56553/popets-2025-0161","is_oa":true,"landing_page_url":"https://doi.org/10.56553/popets-2025-0161","pdf_url":null,"source":{"id":"https://openalex.org/S4210183172","display_name":"Proceedings on Privacy Enhancing Technologies","issn_l":"2299-0984","issn":["2299-0984"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings on Privacy Enhancing Technologies","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.56553/popets-2025-0161","is_oa":true,"landing_page_url":"https://doi.org/10.56553/popets-2025-0161","pdf_url":null,"source":{"id":"https://openalex.org/S4210183172","display_name":"Proceedings on Privacy Enhancing Technologies","issn_l":"2299-0984","issn":["2299-0984"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings on Privacy Enhancing Technologies","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Verification":[0],"of":[1,4,40,146,189],"the":[2,47,144,182,197],"integrity":[3],"deep":[5,228],"learning":[6],"inference":[7,52],"is":[8,15],"crucial":[9],"for":[10,114,150,163,219],"understanding":[11],"whether":[12],"a":[13,80,160],"model":[14,26,51,221],"being":[16],"applied":[17],"correctly.":[18],"However,":[19,59],"such":[20,56,66],"verification":[21],"typically":[22],"requires":[23],"access":[24,54],"to":[25,45,49,55,62,84,88,100,130],"weights":[27],"and":[28,69,120,175,201,211],"(potentially":[29],"sensitive":[30,57],"or":[31,140],"private)":[32],"training":[33],"data.":[34,58],"So-called":[35],"Zero-knowledge":[36],"Succinct":[37],"Non-Interactive":[38],"Arguments":[39],"Knowledge":[41],"(ZK-SNARKs)":[42],"would":[43],"appear":[44],"provide":[46],"capability":[48],"verify":[50],"without":[53,137],"applying":[60,98,128],"ZK-SNARKs":[61,99],"modern":[63,101],"neural":[64,102,131,158],"networks,":[65],"as":[67],"transformers":[68],"large":[70],"vision":[71],"models,":[72,133],"introduces":[73],"significant":[74],"computational":[75],"overhead.":[76],"We":[77,124,192],"present":[78],"TeleSparse,":[79],"ZK-friendly":[81,220],"post-processing":[82],"mechanisms":[83],"produce":[85],"practical":[86],"solutions":[87],"this":[89,126],"problem.":[90],"TeleSparse":[91,168],"tackles":[92],"two":[93],"fundamental":[94],"challenges":[95],"inherent":[96],"in":[97,111],"networks:":[103],"(1)":[104],"Reducing":[105],"circuit":[106],"constraints:":[107],"Over-parameterized":[108],"models":[109],"result":[110],"numerous":[112],"constraints":[113],"ZK-SNARK":[115],"verification,":[116],"driving":[117],"up":[118],"memory":[119,171],"proof":[121,135,176],"generation":[122,177],"costs.":[123],"address":[125],"by":[127,153,173,179],"sparsification":[129],"network":[132],"enhancing":[134],"efficiency":[136],"compromising":[138],"accuracy":[139,187],"security.":[141],"(2)":[142],"Minimizing":[143],"size":[145],"lookup":[147],"tables":[148],"required":[149],"non-linear":[151],"functions,":[152],"optimizing":[154],"activation":[155,165],"ranges":[156],"through":[157],"teleportation,":[159],"novel":[161],"adaptation":[162],"narrowing":[164],"functions\u2019":[166],"range.":[167],"reduces":[169],"prover":[170],"usage":[172],"67%":[174],"time":[178],"46%":[180],"on":[181],"same":[183],"model,":[184],"with":[185],"an":[186],"trade-off":[188],"approximately":[190],"1%.":[191],"implement":[193],"our":[194],"framework":[195],"using":[196],"Halo2":[198],"proving":[199],"system":[200],"demonstrate":[202],"its":[203],"effectiveness":[204],"across":[205],"multiple":[206],"architectures":[207],"(Vision-transformer,":[208],"ResNet,":[209],"MobileNet)":[210],"datasets":[212],"(ImageNet,CIFAR-10,CIFAR-100).":[213],"This":[214],"work":[215],"opens":[216],"new":[217],"directions":[218],"design,":[222],"moving":[223],"toward":[224],"scalable,":[225],"resource-efficient":[226],"verifiable":[227],"learning.":[229]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}