paperbot · PL 论文追踪

全部论文 待读 收藏

P2 When deep learning meets smart contracts

当深度学习遇到智能合约
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 3/10 · 论文处于机器学习与程序语言/安全的交叉点，涉及智能合约漏洞检测与维护，但与用户当前核心问题（Agentic程序静态分析、LLM/Agent辅助静态分析与形式化验证）关联较弱。其方法为深度学习而非LLM/Agent，且未涉及浮点程序分析或贝叶斯程序分析。引用 14 inbox
Zhipeng Gao
机器学习与程序语言安全与隐私
crossref: 2026-09-12

AI 速览

一句话：指出智能合约漏洞带来的经济损失，并引出深度学习用于智能合约安全与维护的交叉方向。

以太坊上的智能合约已广泛用于安全、基于区块链的金融与商业交易，但其中已发现的 bug 和漏洞造成了严重经济损失，引发了对智能合约安全性的高度关注。论文因此强调，迫切需要更好地维护智能合约代码并确保其高可靠性。标题表明本文关注深度学习与智能合约的结合，可能借助深度学习技术应对智能合约的安全、维护与可靠性问题。不过，摘要未报告具体方法、数据集或实验结果，因此其主要贡献在于提出该交叉方向的问题与需求，并为后续利用深度学习进行智能合约缺陷检测、漏洞发现或代码维护提供动机。

问题
智能合约广泛部署于以太坊，但其中已知 bug 和漏洞造成严重经济损失，亟需更好的代码维护与高可靠性保障。
方法
标题表明论文将深度学习与智能合约结合，可能借助深度学习技术应对智能合约安全与维护问题；摘要未展开具体技术方案。
评估
摘要未给出数据集、实验或评估结果，无法判断具体验证方式。
原文摘要（Abstract）

Ethereum has become a widely used platform to enable secure, Blockchain-based financial and business transactions. However, many identified bugs and vulnerabilities in smart contracts have led to serious financial losses, which raises serious concerns about smart contract security. Thus, there is a significant need to better maintain smart contract code and ensure its high reliability.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot6019,
  title = {When deep learning meets smart contracts},
  author = {Zhipeng Gao},
  booktitle = {ASE},
  year = {2020},
  doi = {10.1145/3324884.3418918}
}