5 papers
The Ghosts of Polymarket: When Off-Chain Matches Meet On-Chain Reverts
Yiming Shen, Yuhan Jin, Shuohan Wu +2
Polymarket has emerged as a prominent prediction market platform and one of the fastest-growing applications in DeFi. To achieve low-latency trading, it adopts a hybrid architectur…
Beyond the Protocol: Unveiling Attack Vectors in the Model Context Protocol (MCP) Ecosystem
Hao Song, Yiming Shen, Wenxuan Luo +6
The Model Context Protocol (MCP) is an emerging standard designed to enable seamless interaction between Large Language Model (LLM) applications and external tools or resources. Wi…
Web3 x AI Agents: Landscape, Integrations, and Foundational Challenges
Yiming Shen, Jiashuo Zhang, Zhenzhe Shao +5
The convergence of Web3 technologies and AI agents represents a rapidly evolving frontier poised to reshape decentralized ecosystems. This paper presents the first and most compreh…
FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
Jiachi Chen, Yiming Shen, Jiashuo Zhang +7
High-quality smart contract vulnerability datasets are critical for evaluating security tools and advancing smart contract security research. Two major limitations of current manua…
NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
Jiachi Chen, Zhenzhe Shao, Shuo Yang +5
In recent years, the Ethereum platform has witnessed a proliferation of smart contracts, accompanied by exponential growth in total value locked (TVL). High-TVL smart contracts oft…