{"id":"https://openalex.org/W4410359319","doi":"https://doi.org/10.1109/tvcg.2025.3567130","title":"<i>PrettiSmart</i>: Visual Interpretation of Smart Contracts via Simulation","display_name":"<i>PrettiSmart</i>: Visual Interpretation of Smart Contracts via Simulation","publication_year":2025,"publication_date":"2025-05-14","ids":{"openalex":"https://openalex.org/W4410359319","doi":"https://doi.org/10.1109/tvcg.2025.3567130","pmid":"https://pubmed.ncbi.nlm.nih.gov/40366840"},"language":"en","primary_location":{"id":"doi:10.1109/tvcg.2025.3567130","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tvcg.2025.3567130","pdf_url":null,"source":{"id":"https://openalex.org/S84775595","display_name":"IEEE Transactions on Visualization and Computer Graphics","issn_l":"1077-2626","issn":["1077-2626","1941-0506","2160-9306"],"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 Visualization and Computer Graphics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"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/A5053302866","display_name":"Xiaolin Wen","orcid":"https://orcid.org/0000-0002-8562-7640"},"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":true,"raw_author_name":"Xiaolin Wen","raw_affiliation_strings":["Nanyang Technological University, Singapore"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Tai D. Nguyen","orcid":"https://orcid.org/0000-0003-2109-845X"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Tai D. Nguyen","raw_affiliation_strings":["Singapore Management University, Singapore"],"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Lun Zhang","orcid":"https://orcid.org/0009-0002-9543-1964"},"institutions":[{"id":"https://openalex.org/I4210116765","display_name":"PSP Security (China)","ror":"https://ror.org/01hyggk46","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210116765"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lun Zhang","raw_affiliation_strings":["GoPlus Security, Hong Kong, SAR, China","GoPlus Security, Singapore"],"affiliations":[{"raw_affiliation_string":"GoPlus Security, Hong Kong, SAR, China","institution_ids":["https://openalex.org/I4210116765"]},{"raw_affiliation_string":"GoPlus Security, Singapore","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100429004","display_name":"Jun Sun","orcid":"https://orcid.org/0000-0002-3545-1392"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Jun Sun","raw_affiliation_strings":["Singapore Management University, Singapore"],"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"last","author":{"id":null,"display_name":"Yong Wang","orcid":"https://orcid.org/0000-0002-0092-0793"},"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":"Yong Wang","raw_affiliation_strings":["Nanyang Technological University, Singapore"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5053302866"],"corresponding_institution_ids":["https://openalex.org/I172675005"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1675062,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"31","issue":"6","first_page":"3822","last_page":"3835"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11995","display_name":"FinTech, Crowdfunding, Digital Finance","score":0.7839000225067139,"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/T11995","display_name":"FinTech, Crowdfunding, Digital Finance","score":0.7839000225067139,"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/T13643","display_name":"Artificial Intelligence in Law","score":0.772599995136261,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.6728000044822693,"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.8051781058311462},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.6701613068580627},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.6530672311782837},{"id":"https://openalex.org/keywords/data-visualization","display_name":"Data visualization","score":0.5180047154426575},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.4519958794116974},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3718353509902954},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.33674755692481995},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.260328471660614}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8051781058311462},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.6701613068580627},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.6530672311782837},{"id":"https://openalex.org/C172367668","wikidata":"https://www.wikidata.org/wiki/Q6504956","display_name":"Data visualization","level":3,"score":0.5180047154426575},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.4519958794116974},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3718353509902954},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33674755692481995},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.260328471660614}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tvcg.2025.3567130","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tvcg.2025.3567130","pdf_url":null,"source":{"id":"https://openalex.org/S84775595","display_name":"IEEE Transactions on Visualization and Computer Graphics","issn_l":"1077-2626","issn":["1077-2626","1941-0506","2160-9306"],"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 Visualization and Computer Graphics","raw_type":"journal-article"},{"id":"pmid:40366840","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/40366840","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE transactions on visualization and computer graphics","raw_type":null},{"id":"pmh:oai:dr.ntu.edu.sg:10356/201032","is_oa":false,"landing_page_url":"https://hdl.handle.net/10356/201032","pdf_url":null,"source":{"id":"https://openalex.org/S4306402609","display_name":"DR-NTU (Nanyang Technological University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I172675005","host_organization_name":"Nanyang Technological University","host_organization_lineage":["https://openalex.org/I172675005"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Journal Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320751","display_name":"Ministry of Education - Singapore","ror":"https://ror.org/01kcva023"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":66,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1970569592","https://openalex.org/W2043062123","https://openalex.org/W2120084853","https://openalex.org/W2538848838","https://openalex.org/W2539190473","https://openalex.org/W2735266392","https://openalex.org/W2794965318","https://openalex.org/W2799048584","https://openalex.org/W2846896781","https://openalex.org/W2876884816","https://openalex.org/W2955886508","https://openalex.org/W2962584186","https://openalex.org/W2966847623","https://openalex.org/W2969493429","https://openalex.org/W2970809537","https://openalex.org/W2979783685","https://openalex.org/W2979826091","https://openalex.org/W2982275082","https://openalex.org/W2995871203","https://openalex.org/W2998519442","https://openalex.org/W2998537990","https://openalex.org/W3003036212","https://openalex.org/W3007045600","https://openalex.org/W3033535371","https://openalex.org/W3034136313","https://openalex.org/W3036639905","https://openalex.org/W3043576244","https://openalex.org/W3081808156","https://openalex.org/W3083353120","https://openalex.org/W3088213267","https://openalex.org/W3091620507","https://openalex.org/W3098450669","https://openalex.org/W3123834806","https://openalex.org/W3128660473","https://openalex.org/W3128745440","https://openalex.org/W3152617045","https://openalex.org/W3162054325","https://openalex.org/W3163257481","https://openalex.org/W3177457598","https://openalex.org/W3182763642","https://openalex.org/W4226292196","https://openalex.org/W4285490458","https://openalex.org/W4298326929","https://openalex.org/W4308444555","https://openalex.org/W4309857254","https://openalex.org/W4316661173","https://openalex.org/W4363671822","https://openalex.org/W4366550614","https://openalex.org/W4366590974","https://openalex.org/W4380564003","https://openalex.org/W4384009671","https://openalex.org/W4387805825","https://openalex.org/W4387835442","https://openalex.org/W4400909786","https://openalex.org/W4401269065","https://openalex.org/W4405304894","https://openalex.org/W6747307419","https://openalex.org/W6753645860","https://openalex.org/W6754519360","https://openalex.org/W6757822707","https://openalex.org/W6765722055","https://openalex.org/W6793285265","https://openalex.org/W6799354726","https://openalex.org/W6850818289","https://openalex.org/W6857128133"],"related_works":["https://openalex.org/W2013728941","https://openalex.org/W4225274103","https://openalex.org/W2154046714","https://openalex.org/W2189613078","https://openalex.org/W2579659702","https://openalex.org/W2923661510","https://openalex.org/W1574055964","https://openalex.org/W1965329638","https://openalex.org/W2542318691","https://openalex.org/W3160708108"],"abstract_inverted_index":{"Smart":[0],"contracts":[1,35],"are":[2,10,17,92],"the":[3,29,59,72,76,83,128,149,177,188,238],"fundamental":[4],"components":[5],"of":[6,33,115,127,152,158,242,249],"blockchain":[7],"technology.":[8],"They":[9],"programs":[11],"to":[12,27,57,108,123,146,186,210],"determine":[13],"cryptocurrency":[14,25,30,189,200],"transactions,":[15],"and":[16,111,137,176,202,213,228,240],"irreversible":[18],"once":[19],"deployed,":[20],"making":[21],"it":[22,38],"crucial":[23],"for":[24,46,64,173],"investors":[26,65,91,136,209],"understand":[28,214],"transaction":[31,190],"behaviors":[32,74,85],"smart":[34,116,131,139,154,217,250],"comprehensively.":[36],"However,":[37],"is":[39,79,165,181],"a":[40,54,101,121,153,166,170,216],"challenging":[41],"(if":[42],"not":[43,51],"impossible)":[44],"task":[45],"investors,":[47],"as":[48,196],"they":[49],"do":[50],"necessarily":[52],"have":[53],"programming":[55,68],"background":[56],"check":[58],"complex":[60],"source":[61],"code.":[62],"Even":[63],"with":[66,232],"certain":[67],"skills,":[69],"inferring":[70],"all":[71],"potential":[73],"from":[75],"code":[77],"alone":[78],"still":[80],"difficult,":[81],"since":[82],"actual":[84],"can":[86,207],"be":[87],"different":[88,90],"when":[89],"involved.":[93],"To":[94],"address":[95],"this":[96],"challenge,":[97],"we":[98,119,143],"propose":[99],"PrettiSmart,":[100],"novel":[102],"visualization":[103],"approach":[104],"via":[105],"execution":[106],"simulation":[107,150],"achieve":[109],"intuitive":[110],"reliable":[112],"visual":[113,171],"interpretation":[114,248],"contracts.":[117,251],"Specifically,":[118],"develop":[120],"simulator":[122],"comprehensively":[124],"capture":[125],"most":[126],"possible":[129],"real-world":[130],"contract":[132,140,218],"behaviors,":[133],"involving":[134],"multiple":[135],"various":[138],"functions.":[141],"Then,":[142],"present":[144],"PrettiSmart":[145,223,243],"intuitively":[147,211],"visualize":[148],"results":[151,236],"contract,":[155],"which":[156],"consists":[157],"two":[159,225],"modules:":[160],"The":[161,235],"Simulation":[162,178],"Overview":[163],"Module":[164,180],"barcode-based":[167],"design,":[168],"providing":[169],"summary":[172],"each":[174,193],"simulation,":[175,194],"Detail":[179],"an":[182,246],"augmented":[183],"sequential":[184],"design":[185],"display":[187],"details":[191],"in":[192,244],"such":[195],"function":[197],"call":[198],"sequences,":[199],"flows,":[201],"state":[203],"variable":[204],"changes.":[205],"It":[206],"allow":[208],"inspect":[212],"how":[215],"will":[219],"work.":[220],"We":[221],"evaluate":[222],"through":[224],"case":[226],"studies":[227],"in-depth":[229],"user":[230],"interviews":[231],"12":[233],"investors.":[234],"demonstrate":[237],"effectiveness":[239],"usability":[241],"facilitating":[245],"easy":[247]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}
