{"id":"https://openalex.org/W7162643691","doi":"https://doi.org/10.1145/3774905.3794708","title":"Spatial Discretization for Fine-Grain Zone Checks with STARKs","display_name":"Spatial Discretization for Fine-Grain Zone Checks with STARKs","publication_year":2026,"publication_date":"2026-05-28","ids":{"openalex":"https://openalex.org/W7162643691","doi":"https://doi.org/10.1145/3774905.3794708"},"language":null,"primary_location":{"id":"doi:10.1145/3774905.3794708","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3774905.3794708","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the ACM Web Conference 2026","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3774905.3794708","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136769641","display_name":"Sungmin Lee","orcid":null},"institutions":[{"id":"https://openalex.org/I193775966","display_name":"Yonsei University","ror":"https://ror.org/01wjejq96","country_code":"KR","type":"education","lineage":["https://openalex.org/I193775966"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sungmin Lee","raw_affiliation_strings":["BK21, Intelligent Semiconductor Technology, Yonsei University, Seoul, Republic of Korea"],"raw_orcid":"https://orcid.org/0000-0002-1711-5969","affiliations":[{"raw_affiliation_string":"BK21, Intelligent Semiconductor Technology, Yonsei University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I193775966"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137258090","display_name":"Kichang Lee","orcid":"https://orcid.org/0000-0001-7276-7196"},"institutions":[{"id":"https://openalex.org/I193775966","display_name":"Yonsei University","ror":"https://ror.org/01wjejq96","country_code":"KR","type":"education","lineage":["https://openalex.org/I193775966"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Kichang Lee","raw_affiliation_strings":["BK21, Intelligent Semiconductor Technology, Yonsei University, Seoul, Republic of Korea"],"raw_orcid":"https://orcid.org/0000-0001-7276-7196","affiliations":[{"raw_affiliation_string":"BK21, Intelligent Semiconductor Technology, Yonsei University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I193775966"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128134328","display_name":"G Han","orcid":null},"institutions":[{"id":"https://openalex.org/I193775966","display_name":"Yonsei University","ror":"https://ror.org/01wjejq96","country_code":"KR","type":"education","lineage":["https://openalex.org/I193775966"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Gyeongmin Han","raw_affiliation_strings":["Yonsei University, Seoul, Republic of Korea"],"raw_orcid":"https://orcid.org/0009-0009-8464-7242","affiliations":[{"raw_affiliation_string":"Yonsei University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I193775966"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5137271164","display_name":"JeongGil Ko","orcid":"https://orcid.org/0000-0003-0799-4039"},"institutions":[{"id":"https://openalex.org/I193775966","display_name":"Yonsei University","ror":"https://ror.org/01wjejq96","country_code":"KR","type":"education","lineage":["https://openalex.org/I193775966"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jeonggil Ko","raw_affiliation_strings":["Yonsei University, Seoul, Republic of Korea"],"raw_orcid":"https://orcid.org/0000-0003-0799-4039","affiliations":[{"raw_affiliation_string":"Yonsei University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I193775966"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I193775966"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1582","last_page":"1586"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.043699998408555984,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.043699998408555984,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.039500001817941666,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12404","display_name":"Mathematical Approximation and Integration","score":0.029899999499320984,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/discretization","display_name":"Discretization","score":0.5770999789237976},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3140000104904175},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.30309998989105225},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.2535000145435333}],"concepts":[{"id":"https://openalex.org/C73000952","wikidata":"https://www.wikidata.org/wiki/Q17007827","display_name":"Discretization","level":2,"score":0.5770999789237976},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4480000138282776},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.41530001163482666},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34060001373291016},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.32409998774528503},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3140000104904175},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.30309998989105225},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.29249998927116394},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.2535000145435333},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.25189998745918274}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3774905.3794708","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3774905.3794708","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the ACM Web Conference 2026","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3774905.3794708","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3774905.3794708","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the ACM Web Conference 2026","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1537089349","https://openalex.org/W1993244675","https://openalex.org/W2100522523","https://openalex.org/W2152005134","https://openalex.org/W2496543269","https://openalex.org/W3122094680","https://openalex.org/W4250600009","https://openalex.org/W4285337808","https://openalex.org/W4405364782"],"related_works":[],"abstract_inverted_index":{"Many":[0],"location-based":[1],"services":[2],"rely":[3],"on":[4,109,121,143,155],"a":[5,13,16,20,64,70,83,95,104,126,166],"point-in-polygon":[6],"test":[7,35],"(":[8],"PiP":[9,34],"),":[10],"checking":[11],"whether":[12],"point":[14],"or":[15,79],"trajectory":[17],"lies":[18],"inside":[19],"geographic":[21],"zone.":[22],"Since":[23],"geometric":[24],"operations":[25],"are":[26],"expensive":[27],"in":[28],"zero-knowledge":[29,138,180],"proofs,":[30],"privately":[31],"performing":[32],"the":[33,43,114,133,148,175],"is":[36,93],"challenging.":[37],"In":[38],"this":[39],"paper,":[40],"we":[41,81],"answer":[42],"research":[44],"questions":[45],"of":[46,50],"how":[47,89],"different":[48],"ways":[49],"encoding":[51,85,132,174],"zones":[52],"affect":[53],"accuracy":[54,120,154,162],"and":[55,98],"proof":[56],"cost":[57],"by":[58],"exploiting":[59],"grid-based":[60,72],"lookup":[61],"tables":[62],"under":[63],"fixed":[65],"STARK":[66],"execution":[67],"model.":[68],"Beyond":[69],"Boolean":[71],"baseline":[73],"that":[74,87,113,147],"marks":[75],"cells":[76],"as":[77],"in-":[78],"outside,":[80],"explore":[82],"distance-aware":[84,116,150],"approach":[86,117,151],"stores":[88],"far":[90],"each":[91],"cell":[92],"from":[94],"zone":[96,131,173],"boundary":[97],"uses":[99],"interpolation":[100],"to":[101],"reason":[102],"within":[103],"cell.":[105],"%":[106,159],"Our":[107,141],"experiments":[108,142],"real-world":[110,144],"data":[111,145],"demonstrate":[112,146],"proposed":[115,149],"achieves":[118,152],"higher":[119,153],"coarse":[122,156],"grids":[123,157],"with":[124,164],"only":[125,165],"moderate":[127,167],"verification":[128,168],"overhead,":[129],"making":[130,172],"key":[134,176],"lever":[135,177],"for":[136,178],"efficient":[137,179],"spatial":[139,181],"checks.":[140,182],"(max.":[158],"60%p":[160,161],"gain)":[163],"overhead":[169],"(approximately":[170],"1.4\u00d7),":[171]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-05-29T00:00:00"}