Probabilistic Atomic Swaps for Bitcoin and Friends
本文提出了一种名为“概率互换”（Probabilistic Swaps）的新型密码学原语，旨在将区块链中的原子互换从确定性场景扩展到概率性场景。传统原子互换保证“要么双方都获得约定资产，要么都不转移”，但这种全有或全无的确定性限制了彩票、随
#blockchain
共收录 199 条相关情报。
← 返回所有主题Accio: Variable-Amount, Optimized-Unlinkable and NIZK-Free Off-Chain Payments via Hubs.
该论文提出了一种名为 Accio 的链下支付协议，旨在解决现有基于中心节点（hub）的链下支付系统中存在的可扩展性、隐私性和效率问题。现有的 hub 类链下支付方案通常需要昂贵的零知识证明（NIZK）来实现不可链接性，且只能支持固定金额的支
Consensus in the Known Participation Model with Byzantine Faults and Sleepy Replicas.
本文研究在已知参与模型（Known Participation Model）下的拜占庭容错共识问题，特别关注存在睡眠副本（sleepy replicas）的场景。传统共识协议通常假设所有节点始终在线且活跃，但在实际分布式系统中，节点可能由于
Light into Darkness: Demystifying Profit Strategies Throughout the MEV Bot Lifecycle.
本文旨在揭示以太坊MEV（矿工可提取价值）机器人全生命周期的盈利策略。研究背景是MEV机器人在以太坊生态中广泛存在，但其内部运作机制和盈利手段尚不透明。核心问题是如何系统性地理解MEV机器人的行为模式、盈利策略及其演变。作者提出了一种基于链
Scalable Off-Chain Auctions.
该论文针对区块链网络中脱链（off-chain）拍卖的可扩展性问题进行研究。传统的链上拍卖受限于区块大小和交易吞吐量，难以支持高频或大规模竞拍。作者提出一种新的脱链拍卖协议，通过将大部分计算和通信移出链外，仅在链上提交结算证明，从而大幅降低
Pallas and Aegis: Rollback Resilience in TEE-Aided Blockchain Consensus.
该论文提出了Pallas和Aegis两种机制，旨在解决基于可信执行环境（TEE）的区块链共识协议中的回滚攻击问题。在TEE辅助的区块链系统中，恶意节点可能通过回滚TEE的持久状态来破坏共识的安全性。Pallas是一种预防性方案，通过在TEE
Ipotane: Balancing the Good and Bad Cases of Asynchronous BFT.
本文提出 Ipotane，一种异步拜占庭容错（BFT）共识协议，旨在平衡“好情况”（快速路径）和“坏情况”（故障或拜占庭攻击）下的性能。传统的异步 BFT 协议（如 Dumbo 系列）在好情况下有较高的通信复杂度，而坏情况下的恢复速度较慢。
Order Flow Exclusivity and Value Extraction Mechanisms: An Analysis of Ethereum Builder Centralization
本研究调查了以太坊在提议者-构建者分离（PBS）架构下构建者市场的快速中心化现象。现有研究主要关注有影响力的订单流，缺乏对订单流行为模式和经济目的的综合评估。为弥补这一空白，本文分析了2023年9月至2025年8月间的以太坊交易，以刻画排他
Revocation-Ready CP-ABE Key Management for Blockchain-Based IoT Data Sharing
本文提出了一种面向区块链物联网数据共享系统的、支持撤销的CP-ABE密钥管理方案。现有混合架构中，许可链存储防篡改元数据，加密负载置于内容寻址存储，但密钥访问控制存在瓶颈：常见方案依赖在线RBAC或智能合约返回密钥，引入可信在线策略执行点并
Tailored Prompts, Targeted Protection: Vulnerability-Specific LLM Analysis for Smart Contracts
本文提出了一种基于大语言模型（LLM）的智能合约漏洞检测框架。智能合约因其不可篡改特性，易遭受多种安全漏洞攻击，导致重大经济损失。现有检测方法通常依赖人工制定的专家规则，缺乏对不同漏洞类型的灵活适应性。为此，作者构建并公开了一个大规模数据集
EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
本文提出了一个名为EvoPoC的知识驱动智能体系统，用于端到端的DeFi智能合约漏洞检测与利用合成。核心思路是将利用合成视为结构化推理问题，而非代码生成任务，因此需要协议语义、失败根因和利用原语的知识。EvoPoC将知识组织为层次知识图谱（
InsureConnect: Blockchain and Digital Identity for the Property Insurance Market
本文提出了 InsureConnect，一个基于区块链的系统，旨在提高财产保险工作流在自然灾害后的透明度、可认证性和可审计性。该系统结合了自我主权身份（SSI）、去中心化标识符（DID）、可验证凭证（VC）、卫星图像、Hyperledger
Practical Settlement Bounds for Proof-of-Work Blockchains.
本论文针对 Nakamoto 共识（即比特币使用的工作量证明链式共识）的实际结算边界问题展开研究。该共识机制目前支撑着大多数加密货币和智能合约区块链。尽管已有大量理论工作精确确定了 Nakamoto 共识的安全区域（即保证渐进安全的参数化集
Obscura: Privacy-Preserving Protocol for the Algorand Blockchain Using LSAG Ring Signatures
本文提出 Obscura，一种针对 Algorand 区块链的隐私保护协议。现有区块链隐私方案（如以太坊上的 zk-SNARKs）在高吞吐量链（如 Algorand）上难以实现，因为存在严格的每调用执行预算和全局 Merkle 累加器引起的
Permissionless Verifiable Information Dispersal (Data Availability for Bitcoin Rollups).
本论文针对比特币 rollup 的数据可用性问题，提出一种无需许可的验证信息分散（VID）系统。Rollup 通过将交易执行移至辅助链来提升吞吐量，但通信成为新的瓶颈。传统 VID 系统（如以太坊）依赖于参与节点的公钥身份认证，属于许可模型
Catching the Fly: Practical Challenges in Making Blockchain FlyClient Real
本文针对FlyClient轻量级区块链验证协议在实际部署中面临的技术挑战展开研究。FlyClient原本旨在让资源受限环境（如移动钱包、物联网设备或基于智能合约的跨链桥）仅需极少量数据即可完成工作量证明验证，但其仍处于实验阶段，缺乏真实世界
GoAT-X: A Graph of Auditing Thoughts for Securing Token Transactions in Cross-Chain Contracts
本文提出 GoAT-X 框架，旨在解决跨链桥合约安全审计中的语义复杂性问题。跨链桥作为多链生态的关键基础设施，因实现缺陷已造成超过28亿美元损失。现有防御手段如字节码级静态分析难以处理跨链交互的语义复杂度，而基于大语言模型（LLM）的方法虽
PASS: A Provenanced Access Subaccount System for Blockchain Wallets
提出基于溯源访问的子账户系统 PASS，通过 Inbox-Outbox 机制实现外部动作可验证溯源且内部转账私密，用于区块链钱包的灵活共享访问。
Who Audits the Auditor? Tamper-Proof Fraud Detection with Blockchain-Anchored Explainable ML
提出一种基于区块链锚定可解释机器学习的防篡改欺诈检测系统，解决审计痕迹被内部人员篡改的信任问题。