{"id":"https://openalex.org/W7154160369","doi":"https://doi.org/10.1109/tifs.2026.3683274","title":"HKT-SmartAudit: Distilling Lightweight Models for Smart Contract Auditing","display_name":"HKT-SmartAudit: Distilling Lightweight Models for Smart Contract Auditing","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7154160369","doi":"https://doi.org/10.1109/tifs.2026.3683274"},"language":null,"primary_location":{"id":"doi:10.1109/tifs.2026.3683274","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2026.3683274","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Forensics and Security","raw_type":"journal-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/A5045985837","display_name":"Zhiyuan Wei","orcid":"https://orcid.org/0009-0001-3539-8659"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiyuan Wei","raw_affiliation_strings":["School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0001-3539-8659","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000934031","display_name":"Jing Sun","orcid":"https://orcid.org/0000-0002-1979-6622"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Jing Sun","raw_affiliation_strings":["School of Computer Science, The University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0002-1979-6622","affiliations":[{"raw_affiliation_string":"School of Computer Science, The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zijian Zhang","orcid":"https://orcid.org/0000-0002-6313-4407"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zijian Zhang","raw_affiliation_strings":["School of Cyberspace Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-6313-4407","affiliations":[{"raw_affiliation_string":"School of Cyberspace Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133491127","display_name":"Zhe Hou","orcid":"https://orcid.org/0000-0001-7164-0580"},"institutions":[{"id":"https://openalex.org/I11701301","display_name":"Griffith University","ror":"https://ror.org/02sc3r913","country_code":"AU","type":"education","lineage":["https://openalex.org/I11701301"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Zhe Hou","raw_affiliation_strings":["School of Information and Communication Technology, Griffith University, Nathan, Australia"],"raw_orcid":"https://orcid.org/0000-0001-7164-0580","affiliations":[{"raw_affiliation_string":"School of Information and Communication Technology, Griffith University, Nathan, Australia","institution_ids":["https://openalex.org/I11701301"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Xianhao Zhang","orcid":"https://orcid.org/0009-0007-1028-6187"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xianhao Zhang","raw_affiliation_strings":["School of Cyberspace Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0007-1028-6187","affiliations":[{"raw_affiliation_string":"School of Cyberspace Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100457571","display_name":"Meng Li","orcid":"https://orcid.org/0000-0003-3553-0813"},"institutions":[{"id":"https://openalex.org/I16365422","display_name":"Hefei University of Technology","ror":"https://ror.org/02czkny70","country_code":"CN","type":"education","lineage":["https://openalex.org/I16365422"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Meng Li","raw_affiliation_strings":["School of Computer Science and Information Engineering, Hefei University of Technology, Hefei, China"],"raw_orcid":"https://orcid.org/0000-0003-3553-0813","affiliations":[{"raw_affiliation_string":"School of Computer Science and Information Engineering, Hefei University of Technology, Hefei, China","institution_ids":["https://openalex.org/I16365422"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yuqiang Sun","orcid":"https://orcid.org/0000-0003-4340-3371"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yuqiang Sun","raw_affiliation_strings":["College of Computing and Data Science, Nanyang Technological University, Nanyang Ave, Singapore"],"raw_orcid":"https://orcid.org/0000-0003-4340-3371","affiliations":[{"raw_affiliation_string":"College of Computing and Data Science, Nanyang Technological University, Nanyang Ave, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063510532","display_name":"Daoyuan Wu","orcid":"https://orcid.org/0000-0002-3752-0718"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Daoyuan Wu","raw_affiliation_strings":["Lingnan University, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-3752-0718","affiliations":[{"raw_affiliation_string":"Lingnan University, Hong Kong, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133513895","display_name":"Yang Liu","orcid":"https://orcid.org/0000-0001-7300-9215"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yang Liu","raw_affiliation_strings":["College of Computing and Data Science, Nanyang Technological University, Nanyang Ave, Singapore"],"raw_orcid":"https://orcid.org/0000-0001-7300-9215","affiliations":[{"raw_affiliation_string":"College of Computing and Data Science, Nanyang Technological University, Nanyang Ave, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102733876","display_name":"Chunmiao Li","orcid":"https://orcid.org/0000-0001-8196-5274"},"institutions":[{"id":"https://openalex.org/I4210139765","display_name":"Beijing Computing Center","ror":"https://ror.org/047r47y76","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210139765"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chunmiao Li","raw_affiliation_strings":["Beijing Academy of Blockchain and Edge Computing, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-8196-5274","affiliations":[{"raw_affiliation_string":"Beijing Academy of Blockchain and Edge Computing, Beijing, China","institution_ids":["https://openalex.org/I4210139765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111057486","display_name":"Mingchao Wan","orcid":"https://orcid.org/0009-0007-7463-9922"},"institutions":[{"id":"https://openalex.org/I4210139765","display_name":"Beijing Computing Center","ror":"https://ror.org/047r47y76","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210139765"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingchao Wan","raw_affiliation_strings":["Beijing Academy of Blockchain and Edge Computing, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0007-7463-9922","affiliations":[{"raw_affiliation_string":"Beijing Academy of Blockchain and Edge Computing, Beijing, China","institution_ids":["https://openalex.org/I4210139765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5133509146","display_name":"Jin Dong","orcid":"https://orcid.org/0009-0006-9708-0220"},"institutions":[{"id":"https://openalex.org/I4210139765","display_name":"Beijing Computing Center","ror":"https://ror.org/047r47y76","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210139765"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jin Dong","raw_affiliation_strings":["Beijing Academy of Blockchain and Edge Computing, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0006-9708-0220","affiliations":[{"raw_affiliation_string":"Beijing Academy of Blockchain and Edge Computing, Beijing, China","institution_ids":["https://openalex.org/I4210139765"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.38472605,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":null,"first_page":"4446","last_page":"4459"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13794","display_name":"Financial Reporting and XBRL","score":0.1768999993801117,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13794","display_name":"Financial Reporting and XBRL","score":0.1768999993801117,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11995","display_name":"FinTech, Crowdfunding, Digital Finance","score":0.06759999692440033,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13972","display_name":"Business Law and Ethics","score":0.05999999865889549,"subfield":{"id":"https://openalex.org/subfields/1402","display_name":"Accounting"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/audit","display_name":"Audit","score":0.5827999711036682},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.31459999084472656},{"id":"https://openalex.org/keywords/data-modeling","display_name":"Data modeling","score":0.2768999934196472},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.25220000743865967},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.2321999967098236}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7092999815940857},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.5827999711036682},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.31459999084472656},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.31060001254081726},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.2768999934196472},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.25220000743865967},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.24660000205039978},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2321999967098236},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.21739999949932098},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.2167000025510788}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tifs.2026.3683274","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2026.3683274","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Forensics and Security","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3537770290","display_name":null,"funder_award_id":"62372149","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3853405475","display_name":null,"funder_award_id":"No.2023YFB2703704","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G5159511720","display_name":null,"funder_award_id":"No. 62372173","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5956705760","display_name":null,"funder_award_id":"U2468205","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6166936766","display_name":null,"funder_award_id":"No. U23A20303","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7042574214","display_name":null,"funder_award_id":"62572168","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7631363620","display_name":null,"funder_award_id":"2508085MF151","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8088234425","display_name":null,"funder_award_id":"No. 62372149","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W2970809537","https://openalex.org/W3034368386","https://openalex.org/W3034459010","https://openalex.org/W3170224286","https://openalex.org/W3186717497","https://openalex.org/W4320560161","https://openalex.org/W4362659486","https://openalex.org/W4384304916","https://openalex.org/W4385080392","https://openalex.org/W4387298393","https://openalex.org/W4391484042","https://openalex.org/W4394769342","https://openalex.org/W4396214504","https://openalex.org/W4396214523","https://openalex.org/W4396242417","https://openalex.org/W4398239389","https://openalex.org/W4400644218","https://openalex.org/W4402543959","https://openalex.org/W4404060141","https://openalex.org/W4408749890","https://openalex.org/W4409494079"],"related_works":[],"abstract_inverted_index":{"The":[0,194],"rapid":[1],"growth":[2],"of":[3,11,39,85],"blockchain":[4],"technology":[5],"has":[6,66,78],"driven":[7],"the":[8,34,83,200],"widespread":[9],"adoption":[10,55],"smart":[12,40,112,191],"contracts;":[13],"however,":[14],"their":[15,54],"inherent":[16],"vulnerabilities":[17,179],"have":[18],"led":[19],"to":[20,30,81,132,146],"significant":[21],"financial":[22],"losses.":[23],"Traditional":[24],"auditing":[25],"methods,":[26],"while":[27,157],"essential,":[28],"struggle":[29],"keep":[31],"pace":[32],"with":[33],"increasing":[35],"complexity":[36],"and":[37,95,129,155,173,180,187],"scale":[38],"contracts.":[41],"Large":[42],"language":[43],"models":[44,70,109,150,168,175],"(LLMs)":[45],"offer":[46],"promising":[47],"capabilities":[48],"for":[49,91,106,111,190],"automating":[50],"vulnerability":[51],"detection,":[52],"but":[53],"is":[56,144,197],"often":[57],"limited":[58],"by":[59],"high":[60,153],"computational":[61,160],"costs.":[62],"Although":[63],"prior":[64],"work":[65],"explored":[67],"leveraging":[68],"large":[69,137],"through":[71],"agents":[72],"or":[73],"workflows,":[74],"relatively":[75],"little":[76],"attention":[77],"been":[79],"given":[80],"improving":[82],"performance":[84],"smaller,":[86],"fine-tuned":[87],"models\u2014a":[88],"critical":[89],"factor":[90],"achieving":[92],"both":[93,170],"efficiency":[94],"data":[96],"privacy.":[97],"In":[98],"this":[99],"paper,":[100],"we":[101],"introduce":[102],"HKT-SmartAudit,":[103],"a":[104,117,184],"framework":[105],"developing":[107],"lightweight":[108],"optimized":[110],"contract":[113,192],"auditing.":[114,193],"It":[115],"features":[116],"multi-stage":[118],"knowledge":[119],"distillation":[120],"pipeline":[121],"that":[122,151,165],"integrates":[123],"classical":[124],"distillation,":[125],"external":[126],"domain":[127],"knowledge,":[128],"reward-guided":[130],"learning":[131,142],"transfer":[133],"high-quality":[134],"insights":[135],"from":[136],"teacher":[138],"models.":[139],"A":[140],"single-task":[141],"strategy":[143],"employed":[145],"train":[147],"compact":[148],"student":[149],"maintain":[152],"accuracy":[154],"robustness":[156],"significantly":[158],"reducing":[159],"overhead.":[161],"Experimental":[162],"results":[163],"show":[164],"our":[166],"distilled":[167],"outperform":[169],"commercial":[171],"tools":[172],"larger":[174],"in":[176,199],"detecting":[177],"complex":[178],"logical":[181],"flaws,":[182],"offering":[183],"practical,":[185],"secure,":[186],"scalable":[188],"solution":[189],"source":[195],"code":[196],"available":[198],"GitHub":[201],"repository1.":[202]},"counts_by_year":[],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2026-04-14T00:00:00"}