paperbot · PL 论文追踪

全部论文 待读 收藏

P2 When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs

当合约遇上密码学:探究开发者使用以太坊密码学 API 的困境
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 2/10 · 该论文是关于以太坊密码学 API 的开发者实证研究,聚焦智能合约中的 API 可用性与安全问题,与用户画像中的静态分析、LLM/Agent 辅助程序分析、浮点程序分析或贝叶斯程序分析均无直接关联。虽然涉及开发者工具与安全,但方法和问题域与研究方向核心距离较远。引用 11 inbox
Jiashuo Zhang, Jiachi Chen, Zhiyuan Wan, Ting Chen, Jianbo Gao, Zhong Chen
crossref: 2026-09-12

AI 速览

一句话:首个以太坊密码学 API 实践的实证研究,揭示开发者面临的五类障碍与底层 API 同高层任务间的可用性鸿沟。

以太坊为智能合约提供椭圆曲线运算等底层密码学 API,但开发者并非密码学专家,直接使用这些原语引发了真实安全问题和可用性挑战。本文开展首个以太坊密码学实践的实证研究,分析 9800 余万笔交易、500 个密码学相关合约和 483 条 StackExchange 帖子,刻画开发者需完成的密码学任务并归纳出五类障碍;进而对 78 位从业者开展在线调查,探究障碍成因。研究发现超过半数从业者在密码学任务上比一般业务逻辑面临更多挑战,反馈凸显底层 API 与高层任务间的鸿沟,呼吁改进 API、提供任务模板与辅助工具。论文据此给出实践启示与未来方向。

问题
开发者并非密码学专家,却需直接使用以太坊底层密码学 API(如椭圆曲线运算),这既带来安全风险又造成可用性困难,而此前缺乏对其实际实践与障碍的系统认识。
方法
对 91,484,856 笔以太坊交易、500 个密码学相关合约和 483 条 StackExchange 帖子进行大规模实证分析,并对 78 位智能合约从业者开展在线问卷调查。
评估
归纳出开发者需完成的密码学任务与五类障碍,并通过从业者调查验证障碍的普遍性(超半数认为密码学任务比一般业务逻辑更难)并收集改进需求。
原文摘要(Abstract)

To empower smart contracts with the promising capabilities of cryptography, Ethereum officially introduced a set of cryptographic APIs that facilitate basic cryptographic operations within smart contracts, such as elliptic curve operations. However, since developers are not necessarily cryptography experts, requiring them to directly interact with these basic APIs has caused real-world security issues and potential usability challenges. To guide future research and solutions to these challenges, we conduct the first empirical study on Ethereum cryptographic practices. Through the analysis of 91,484,856 Ethereum transactions, 500 crypto-related contracts, and 483 StackExchange posts, we provide the first in-depth look at cryptographic tasks developers need to accomplish and identify five categories of obstacles they encounter. Furthermore, we conduct an online survey with 78 smart contract practitioners to explore their perspectives on these obstacles and elicit the underlying reasons. We find that more than half of practitioners face more challenges in cryptographic tasks compared to general business logic in smart contracts. Their feedback highlights the gap between low-level cryptographic APIs and high-level tasks they need to accomplish, emphasizing the need for improved cryptographic APIs, task-based templates, and effective assistance tools. Based on these findings, we provide practical implications for further improvements and outline future research directions.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot11460,
  title = {When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs},
  author = {Jiashuo Zhang and Jiachi Chen and Zhiyuan Wan and Ting Chen and Jianbo Gao and Zhong Chen},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3639131}
}