paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Toward Automated Detecting Unanticipated Price Feed in Smart Contract

迈向智能合约中非预期价格馈送的自动检测
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 2/10 · 该论文属于智能合约与 DeFi 安全中的程序分析/抽象解释应用,但未涉及 LLM/Agent、浮点程序分析或贝叶斯程序分析,与用户当前关注的核心交叉方向不匹配。引用 10 inbox
Yifan Mo, Jiachi Chen, Yanlin Wang, Zibin Zheng
crossref: 2026-09-12

AI 速览

一句话:针对 DeFi 智能合约中价格预言机的非预期价格馈送风险,指出需结合交易与代码进行实时自动检测。

基于智能合约的去中心化金融(DeFi)在 2022 年总锁仓量已超过 2000 亿美元。价格预言机为加密货币提供实时价格馈送,是智能合约中资产准确定价的关键。然而,价格预言机也面临安全风险,非预期价格馈送可能导致 DeFi 协议中的债务与资产失衡。现有解决方案难以有效结合交易与代码,对价格预言机进行实时监控。本文因此关注智能合约中非预期价格馈送的自动检测问题,并指向能够融合交易与代码的实时监控能力。摘要未披露具体方法与实验评估。

问题
DeFi 价格预言机可能出现非预期价格馈送,造成协议债务与资产失衡;现有方案不能有效结合交易与代码进行实时监控。
方法
摘要未给出具体技术路线;论文方向是面向智能合约的非预期价格馈送自动检测,并强调结合交易与代码进行实时监控。
评估
摘要未提供评估方式与结果。
原文摘要(Abstract)

Decentralized finance (DeFi) based on smart contracts has reached a total value locked (TVL) of over USD 200 billion in 2022. In DeFi ecosystems, price oracles play a critical role in providing real-time price feeds for cryptocurrencies to ensure accurate asset pricing in smart contracts. However, the price oracle also faces security issues, including the possibility of unanticipated price feeds, which can lead to imbalances in debt and assets in the DeFi protocol. However, existing solutions cannot effectively combine transactions and code for real-time monitoring of price oracles.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot8050,
  title = {Toward Automated Detecting Unanticipated Price Feed in Smart Contract},
  author = {Yifan Mo and Jiachi Chen and Yanlin Wang and Zibin Zheng},
  booktitle = {ISSTA},
  year = {2023},
  doi = {10.1145/3597926.3598133}
}