Cryptcoder: An Automatic Code Generator for Cryptographic Tasks in Ethereum Smart Contracts

doi:10.1109/SANER60148.2024.00105

科研成果详情

题名	Cryptcoder: An Automatic Code Generator for Cryptographic Tasks in Ethereum Smart Contracts
作者	Xia，Libin 1,2; Zhang，Jiashuo 1,2; Wang，Che 1,2; Tan，Zezhong 1,2; Gao，Jianbo 1,2; Guan，Zhi 3; Chen，Zhong 1,2
发表日期	2024
会议名称	31st IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024
会议录名称	Proceedings - 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024
页码	976-980
会议日期	2024-03-12——2024-03-12
会议地点	fin,Rovaniemi
摘要	Cryptographic APIs provided by Ethereum are widely adopted in decentralized applications (DApps) for cryptographic operations. However, developers who lack expertise in cryptography frequently encounter difficulties when working with low-level cryptographic APIs, thereby producing insecure code. To address this issue, we introduce Cryptcoder, an automatic code generator designed to bridge the gap between low-level cryptographic APIs and high-level cryptographic tasks in Ethereum. The fundamental component of Cryptcoder is Cryptlang, a Solidity-compatible domain-specific language (DSL) designed for cryptographic tasks. Developers can utilize Cryptlang for the straightforward and secure implementation of cryptographic tasks, such as signatures and commitments, and employ Cryptcoder for the automatic conversion into Solidity code. The evaluation of Cryptcoder demonstrates both its functionality in generating Solidity code and an acceptable overhead, evidenced by a mere 4% average increase in gas costs compared to the reference code. A demonstration video of Cryptcoder is available at https://youtu.be/AxhCdGiu7dw.
关键词	code generation cryptographic API domain-specific language smart contract task-based
DOI	10.1109/SANER60148.2024.00105
URL	查看来源
语种	英语English
Scopus入藏号	2-s2.0-85199764421
引用统计
文献类型	会议论文
条目标识符	https://repository.uic.edu.cn/handle/39GCC9TT/13454
专题	个人在本单位外知识产出
通讯作者	Gao，Jianbo
作者单位	1.Peking University,MoE,Key Laboratory of High Confidence Software Technologies,Beijing,China 2.School of Computer Science,Peking University,Beijing,China 3.Peking University,National Engineering Research Center for Software Engineering,Beijing,China
推荐引用方式 GB/T 7714	Xia，Libin,Zhang，Jiashuo,Wang，Cheet al. Cryptcoder: An Automatic Code Generator for Cryptographic Tasks in Ethereum Smart Contracts[C], 2024: 976-980.