{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,28]],"date-time":"2026-05-28T18:05:18Z","timestamp":1779991518440,"version":"3.53.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","funder":[{"name":"Institute of Information & Communications Technology Planning & Evaluation (IITP)","award":["IITP-2026-RS-2024-00428780"],"award-info":[{"award-number":["IITP-2026-RS-2024-00428780"]}]},{"name":"Institute of Information & Communications Technology Planning & Evaluation (IITP)","award":["IITP-2026-RS-2020-II201461"],"award-info":[{"award-number":["IITP-2026-RS-2020-II201461"]}]},{"name":"Korea Institute for Advancement of Technology (KIAT)","award":["P0020535"],"award-info":[{"award-number":["P0020535"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,29]]},"DOI":"10.1145\/3774905.3794708","type":"proceedings-article","created":{"date-parts":[[2026,5,28]],"date-time":"2026-05-28T17:14:56Z","timestamp":1779988496000},"page":"1582-1586","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Spatial Discretization for Fine-Grain Zone Checks with STARKs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1711-5969","authenticated-orcid":false,"given":"Sungmin","family":"Lee","sequence":"first","affiliation":[{"name":"BK21, Intelligent Semiconductor Technology, Yonsei University, Seoul, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7276-7196","authenticated-orcid":false,"given":"Kichang","family":"Lee","sequence":"additional","affiliation":[{"name":"BK21, Intelligent Semiconductor Technology, Yonsei University, Seoul, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-8464-7242","authenticated-orcid":false,"given":"Gyeongmin","family":"Han","sequence":"additional","affiliation":[{"name":"Yonsei University, Seoul, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0799-4039","authenticated-orcid":false,"given":"Jeonggil","family":"Ko","sequence":"additional","affiliation":[{"name":"Yonsei University, Seoul, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Eli Ben-Sasson Iddo Bentov Yinon Horesh and Michael Riabzev. 2018. Scalable Transparent and Post-Quantum Secure Computational Integrity. Cryptology ePrint Archive Report 2018\/046. https:\/\/eprint.iacr.org\/2018\/046."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2020.3048363"},{"key":"e_1_3_2_1_3_1","volume-title":"Scientific reports","author":"De Montjoye Yves-Alexandre","unstructured":"Yves-Alexandre De Montjoye, Cesar A Hidalgo, Michel Verleysen, and Vincent D Blondel. 2013. Unique in the crowd: The privacy bounds of human mobility. In Scientific reports, Vol. 3. Nature Publishing Group, 1376."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/28395.28419"},{"key":"e_1_3_2_1_5_1","unstructured":"Ariel Gabizon and Zachary J Williamson. 2020. plookup: A simplified polynomial protocol for lookup tables. In Cryptology ePrint Archive. https:\/\/eprint.iacr.org\/2020\/315"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Sandro R. Garzon B. Deva G. Pilz and S. Medack. 2015. Infrastructure-Assisted Geofencing: Proactive Location-Based Services with Thin Mobile Clients and Smart Servers. In 2015 IEEE International Conference on Mobile Cloud Computing Services and Engineering (MobileCloud).","DOI":"10.1109\/MobileCloud.2015.31"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_11"},{"key":"e_1_3_2_1_8_1","volume-title":"Multivariate lookups based on logarithmic derivatives. Cryptology ePrint Archive","author":"Hab\u00f6ck Ulrich","year":"2022","unstructured":"Ulrich Hab\u00f6ck. 2022. Multivariate lookups based on logarithmic derivatives. Cryptology ePrint Archive (2022). https:\/\/eprint.iacr.org\/2022\/1530"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s003710050084"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-7721(01)00012-8"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.icte.2024.12.003"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSMT54525.2021.00098"},{"key":"e_1_3_2_1_13_1","unstructured":"OpenStreetMap contributors. 2017. Planet dump retrieved from https:\/\/planet.osm.org. https:\/\/www.openstreetmap.org."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3991(81)90061-9"},{"key":"e_1_3_2_1_15_1","volume-title":"Foundations and Trends in Theoretical Computer Science","author":"Thaler Justin","year":"2018","unstructured":"Justin Thaler. 2018. Proofs, Arguments, and Zero-Knowledge. Foundations and Trends in Theoretical Computer Science (2018). endthebibl"}],"event":{"name":"WWW '26: The ACM Web Conference 2026","location":"Dubai United Arab Emirates","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"]},"container-title":["Companion Proceedings of the ACM Web Conference 2026"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3774905.3794708","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,28]],"date-time":"2026-05-28T17:27:35Z","timestamp":1779989255000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3774905.3794708"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,28]]},"references-count":15,"alternative-id":["10.1145\/3774905.3794708","10.1145\/3774905"],"URL":"https:\/\/doi.org\/10.1145\/3774905.3794708","relation":{},"subject":[],"published":{"date-parts":[[2026,5,28]]},"assertion":[{"value":"2026-05-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}