{"id":"https://openalex.org/W7125981288","doi":"https://doi.org/10.1109/ase63991.2025.00124","title":"ScaleCirc: Scaling the Analysis over Circom Circuits","display_name":"ScaleCirc: Scaling the Analysis over Circom Circuits","publication_year":2025,"publication_date":"2025-11-16","ids":{"openalex":"https://openalex.org/W7125981288","doi":"https://doi.org/10.1109/ase63991.2025.00124"},"language":null,"primary_location":{"id":"doi:10.1109/ase63991.2025.00124","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase63991.2025.00124","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5124149488","display_name":"Jinan Jiang","orcid":null},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Jinan Jiang","raw_affiliation_strings":["Hong Kong Polytechnic University"],"affiliations":[{"raw_affiliation_string":"Hong Kong Polytechnic University","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062909396","display_name":"Haoran Qin","orcid":"https://orcid.org/0009-0003-4361-1012"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Haoran Qin","raw_affiliation_strings":["Hong Kong Polytechnic University"],"affiliations":[{"raw_affiliation_string":"Hong Kong Polytechnic University","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"last","author":{"id":null,"display_name":"Xiapu Luo","orcid":null},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Xiapu Luo","raw_affiliation_strings":["Hong Kong Polytechnic University"],"affiliations":[{"raw_affiliation_string":"Hong Kong Polytechnic University","institution_ids":["https://openalex.org/I14243506"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5124149488"],"corresponding_institution_ids":["https://openalex.org/I14243506"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.75094419,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1464","last_page":"1476"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.3822999894618988,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.3822999894618988,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11424","display_name":"Security and Verification in Computing","score":0.23170000314712524,"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/T10237","display_name":"Cryptography and Data Security","score":0.07660000026226044,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.6392999887466431},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.604200005531311},{"id":"https://openalex.org/keywords/network-analysis","display_name":"Network analysis","score":0.4456999897956848},{"id":"https://openalex.org/keywords/data-deduplication","display_name":"Data deduplication","score":0.42340001463890076},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4075999855995178},{"id":"https://openalex.org/keywords/integrated-circuit","display_name":"Integrated circuit","score":0.3840000033378601},{"id":"https://openalex.org/keywords/scaling","display_name":"Scaling","score":0.3328999876976013}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7347000241279602},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.6392999887466431},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.604200005531311},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.46860000491142273},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.46140000224113464},{"id":"https://openalex.org/C32946077","wikidata":"https://www.wikidata.org/wiki/Q618079","display_name":"Network analysis","level":2,"score":0.4456999897956848},{"id":"https://openalex.org/C32587265","wikidata":"https://www.wikidata.org/wiki/Q1182260","display_name":"Data deduplication","level":2,"score":0.42340001463890076},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4189000129699707},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4075999855995178},{"id":"https://openalex.org/C530198007","wikidata":"https://www.wikidata.org/wiki/Q80831","display_name":"Integrated circuit","level":2,"score":0.3840000033378601},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34929999709129333},{"id":"https://openalex.org/C99844830","wikidata":"https://www.wikidata.org/wiki/Q102441924","display_name":"Scaling","level":2,"score":0.3328999876976013},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3294000029563904},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.3260999917984009},{"id":"https://openalex.org/C190560348","wikidata":"https://www.wikidata.org/wiki/Q3245116","display_name":"Circuit design","level":2,"score":0.31060001254081726},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.30869999527931213},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3052999973297119},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.3050999939441681},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.2872999906539917},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.265500009059906},{"id":"https://openalex.org/C2777946921","wikidata":"https://www.wikidata.org/wiki/Q7449044","display_name":"Semantic analysis (machine learning)","level":2,"score":0.2563999891281128}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase63991.2025.00124","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase63991.2025.00124","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W2496543269","https://openalex.org/W2948043589","https://openalex.org/W2969207949","https://openalex.org/W3213013974","https://openalex.org/W4313270705","https://openalex.org/W4379537474","https://openalex.org/W4385080297","https://openalex.org/W4388667412","https://openalex.org/W4389165109","https://openalex.org/W4394907743","https://openalex.org/W4395960968","https://openalex.org/W4395962272","https://openalex.org/W4400113689","https://openalex.org/W4402264553","https://openalex.org/W4402288699","https://openalex.org/W4402288752","https://openalex.org/W4402594791","https://openalex.org/W4405181423","https://openalex.org/W4405183082","https://openalex.org/W4405633082","https://openalex.org/W4408750006","https://openalex.org/W4411337569","https://openalex.org/W4411337825","https://openalex.org/W4411450103","https://openalex.org/W4411552685"],"related_works":[],"abstract_inverted_index":{"Zero-knowledge":[0],"proof":[1],"(ZKP)":[2],"circuits":[3,43,92],"implemented":[4],"in":[5],"programming":[6],"languages":[7],"like":[8],"Circom":[9,102],"are":[10],"fundamental":[11],"to":[12,27],"blockchain":[13],"and":[14,78,98],"privacy-preserving":[15],"applications.":[16],"These":[17],"code":[18,75],"often":[19],"suffer":[20],"from":[21],"constraint-related":[22],"issues":[23],"where":[24],"constraints":[25],"fail":[26],"accurately":[28],"specify":[29],"intended":[30],"computations.":[31],"While":[32],"existing":[33,105],"analysis":[34,63,86],"tools":[35],"have":[36],"been":[37],"proposed,":[38],"they":[39],"struggle":[40],"with":[41],"large-scale":[42],"containing":[44],"complex":[45],"template":[46],"embeddings.":[47],"We":[48],"present":[49],"ScaleCirc,":[50],"a":[51,80],"novel":[52],"framework":[53,82],"that":[54,104],"addresses":[55],"such":[56],"limitations":[57],"through:":[58],"1)":[59],"systematic":[60],"management":[61],"of":[62],"redundancy":[64],"via":[65],"circuit":[66,85],"deduplication":[67],"strategies;":[68],"2)":[69],"constrainedness":[70],"propagation":[71],"methods":[72],"leveraging":[73],"source":[74],"semantic":[76],"information;":[77],"3)":[79],"generalizable":[81],"for":[83],"different":[84],"tasks.":[87],"Evaluation":[88],"on":[89],"691":[90],"real-world":[91],"shows":[93],"ScaleCirc":[94],"demonstrates":[95],"higher":[96],"efficiency,":[97],"successfully":[99],"analyzes":[100],"many":[101],"programs":[103],"works":[106],"failed":[107],"on.":[108]},"counts_by_year":[],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2026-01-29T00:00:00"}