ContractLens: Latent Security Knowledge for Malicious Smart Contract Detection
该论文聚焦 Web3.0 生态中的恶意智能合约审计问题。背景是：基于大语言模型（LLM）的合约审计方法目前主要依赖提示工程（prompt engineering）或针对特定攻击类型的微调，而对 LLM 内部究竟依靠哪些表征来完成恶意逻辑识别
#smart-contract
共收录 60 条相关情报。
← 返回所有主题A Systematization of Knowledge on DeFi Vaults: Architectures, Curation Mechanisms, and Strategy Design
本文是一篇关于去中心化金融（DeFi）金库（Vault）的系统化知识梳理（Systematization of Knowledge）论文。作者指出，DeFi 金库是基于智能合约的资产管理系统：它汇集用户存款、执行可编程策略，并铸造代表对底层
Making Duplicate Reimbursement Unrepresentable: A Verified Ethereum E-Invoice System for Humans and AI Agents
该论文针对电子发票在消费/报销侧长期存在的三个痛点——同一张发票可被重复提交报销、收票方难以验证真伪、数据集中托管在中心化机构从而形成性能瓶颈与单点故障——提出并完整实现了一套基于以太坊的电子发票系统。方法上，作者首先将发票生命周期形式化为
SmartMemory: Detecting On-chain-off-chain Communication Inconsistency for Smart Contract via Memory-based Agent
该论文研究智能合约中链上-链下通信（On-chain/Off-chain Communication, OFC）引发的安全问题。随着跨链桥、现实世界资产代币化（RWA）以及法币背书稳定币等应用快速增长，OFC 已成为去中心化金融的关键基础设
Verifiable Randomness for Blockchain-Based Lottery Systems
该论文聚焦于区块链彩票等高风险去中心化应用所依赖的链上随机数生成（RNG）问题。作者指出，当前缺乏一种既能保证不可预测性、又能被所有参与者公开验证的链上随机数方案，这仍是一个关键开放问题。论文首先系统梳理了历年出现的各类区块链随机数生成方法
Werracle: Sub-Cent Intra-Block AI Reflex Oracles and Flash-Loan Circuit Breakers for EVM Smart Contracts
该论文针对链上 AI 推理在 EVM 环境中的根本性瓶颈展开研究。背景问题是:以太坊虚拟机存储按 gas 计费,若把静态浮点神经网络权重矩阵写入链上存储,成本高达数百万 gas,使直接链上推理在工程上不可行;而零知识机器学习(ZK-ML)虽
A Lightweight Ethereum Voting Prototype for Hospital Ethics Committees with Receipt-Based Inclusion Verification
本文提出并实现了一个面向医院伦理委员会（Hospital Ethics Committee）投票场景的轻量级以太坊原型系统，技术栈为 Solidity 智能合约、Hardhat 开发与测试框架、React 前端、MetaMask 钱包与 e
Solidity Meets LLMs: A Transformer-Based Approach to Smart Contract Vulnerability Detection
该论文关注区块链与以太坊生态中智能合约的安全问题。随着智能合约在去中心化应用中的采用度不断提高，合约逻辑日益复杂、所承载的资金价值持续上升，使其成为网络攻击的重点目标。作者指出现有检测手段（隐性指向传统静态分析与规则/符号执行类工具）在理解
Staged Multi-step UTXO Workflows via Recursive Invariants
该论文针对无状态 UTXO（未花费交易输出）风格的账本执行模型提出了一套名为「递归不变量」（Recursive Invariants, RI）的交易级逻辑与工具链，用以支撑多步工作流。背景问题是：UTXO 模型只依据本地数据和被引用数据即可
Detecting Logic Vulnerabilities Across the Contract and Device Layers of Blockchain-Enabled IoT With Multi-Agent Heterogeneous Graph Attention
该论文聚焦区块链赋能的物联网（Blockchain-enabled IoT）系统中的逻辑漏洞检测问题。这类系统把链上智能合约与链下嵌入式设备固件结合起来，用于去中心化的设备管理与访问控制，因此其安全性同时取决于合约逻辑与固件逻辑：任一层的逻
Ghost-Filled Orders: Detecting and Testing Atomicity Violations in Non-Custodial Prediction Markets
该论文研究区块链预测市场中由「链上结算 + 链下订单簿」混合架构引入的原子性缺口问题。此类市场为兼顾用户自托管（用户资金始终留在自己的钱包或智能合约中），采用链下撮合、链上结算的模式：用户签署订单并提交至链下订单簿，订单在链下被接受或撮合时
TasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savelist Abstraction
该论文关注 The Open Network (TON) 区块链上的智能合约安全。TON 峰值市值超过 200 亿美元，已有超过 1.75 亿个激活链上地址，其合约由 TVM（TON 虚拟机）执行。TVM 的一大特点是使用一等续体（firs
EchoFuzz: Empowering Smart Contract Fuzzing with Large Language Models
本文提出 EchoFuzz，一个由大语言模型（LLM）引导的智能合约模糊测试框架，旨在解决现有智能合约模糊测试中的两大瓶颈。背景方面：智能合约作为去中心化应用的基石，自主管理着规模达万亿美元级别的数字资产，因而成为攻击者的高价值目标，漏洞检
The Deception Delta: Adversarial Evaluation of LLM-Based Smart Contract Bytecode Forensics
该论文系统评估了大型语言模型在区块链取证场景中解读未验证智能合约字节码时的鲁棒性。作者构造了 13 个目的性设计的合约（其中 9 个为欺骗向量、4 个为功能匹配的对照组），并在 6 种提示策略下测试 22 个前沿模型，最终得到 8,528
On Identifying Sound Conditions for Frontrunning Resistance
该论文研究区块链智能合约中的抢跑（frontrunning）攻击与抗抢跑性质的形式化定义问题。背景上，智能合约通过共识执行，但交易排序本质上是异步的：交易由矿工（或验证者）决定打包、排序与延迟。由于用户必须通过交易与合约交互，掌握排序权的节
EventSpec: Defining and Detecting Event-Semantic Issues in Blockchain Ecosystems
近年来，智能合约已成为去中心化应用（DApp）的核心基础设施，而链下系统（如跨链桥、钱包、索引器等）高度依赖事件日志（event logs）来跟踪合约执行和状态变化。然而，以太坊虚拟机（EVM）并不验证或强制事件语义，导致日志可能与链上状态
Automated Vulnerability Injection in Smart Contracts Using Large Language Models
这篇论文提出了一种利用大型语言模型（LLM）自动向 Solidity 智能合约中注入漏洞的方法，旨在解决智能合约漏洞检测工具评估中“带真实标签数据集稀缺且人工构建困难”的问题。作者以 OpenSCV 分类中的 49 种漏洞类型为目标，对来自
Bonded Recourse for Smart-Contract Settlement of Compensable Agent Side Effects
本文面向自主智能体（autonomous agents）在跨组织执行工具操作时所产生的副作用治理问题。现有的授权机制仅能在操作前做准入控制，本地补偿模块只能处理运行时的回滚，二者都无法解决‘操作被允许却执行失败后留下残余损害’的难题。作者提
When Verified Source Becomes Attack Input: Defending Smart Contracts Against LLM-Based Vulnerability Scanning
该论文关注智能合约在区块链上公开源代码所带来的新型安全威胁。传统上，智能合约项目为了建立用户信任，会在区块链浏览器上发布并验证源代码，使链上程序以可读形式公开。然而，随着LLM（大语言模型）智能体的发展，攻击者可以借助这些公开源码，利用自动
Information Flow Control in Off-Chain Components
本文针对带有链下组件的区块链智能合约语言，建立了一种形式化模型。链下组件是在区块链节点网络之外的指定位置执行的智能合约片段，但它们与链上合约状态保持同步。它们不仅响应链上状态的变化，还能将外部世界的事件（如股票价格、天气数据）通知给链上组件