MHOT: Height-Optimized Authenticated Data Structure for Blockchain State Commitment
该论文提出了一种名为MHOT（高度优化的认证数据结构）的新型区块链状态承诺数据结构，以解决以太坊Merkle Patricia Trie（MPT）存在的两个关键问题：树高度增长过快导致的性能瓶颈，以及易受Nurgle攻击的安全威胁。MPT的
#blockchain
共收录 199 条相关情报。
← 返回所有主题Zapper: Smart Contracts with Data and Identity Privacy.
本文提出Zapper，一个旨在为智能合约提供数据和身份隐私保护的系统。在区块链环境中，智能合约的执行数据通常对所有节点公开，这导致敏感信息（如交易金额、用户身份）面临泄露风险。Zapper通过集成先进的密码学技术（如零知识证明、同态加密或安
PriME-Deal: Privacy-Preserving Bilateral Data Trading with Efficient Matchmaking and Auditable Fair Exchange on Blockchain
该论文提出了一种名为 PriME-Deal 的隐私保护双边数据交易协议，旨在解决现有基于属性的访问控制方案在数据交易中存在的策略泄露、计算开销大、依赖可信第三方等问题。PriME-Deal 是一个非交互式协议，能够在公共区块链上同时实现策略
From Transactions to Records: Reconceptualizing Blockchain Systems through a Lifecycle Lens
本文提出将区块链系统重新概念化为记录管理系统，而非单纯的交易基础设施。当前区块链研究过度聚焦于链上交易，忽略了加密货币资产创建、发布、留存、处置的完整过程。作者借鉴ISO 15489-1:2016记录管理原则，建立了区块链数据七阶段生命周期
snaproot: Decentralized File Integrity Verification Using Blockchain-Anchored Cryptographic Hashing
本文提出 snaproot，一种基于 Solana 区块链的轻量级去中心化文件完整性验证系统。针对现有方案依赖中心化权威（存在单点故障和信任问题）或去中心化存储（资源开销过高）的弊端，snaproot 采用 Haber 和 Stornett
Parent-Hash DAG: A Cost Analysis of Constant-Time Append for On-Chain Registries
本文提出并分析了 Parent-Hash 有向无环图（PHDAG），这是一种用于链上注册表的追加型数据结构，其中每次追加操作只需对之前未触及的存储槽进行恒定数量的写入操作。此前，PHDAG 从未被作为独立原语进行形式化分析，也未被明确边界常
LPOR: A Layered Proof of Reserves Framework for Usable and Publicly Auditable Solvency Verification
本文提出了一种名为LPOR（分层准备金证明）的框架，旨在解决当前中心化加密货币交易所准备金证明（PoR）系统在可用性和公开可审计性方面的不足。现有的PoR方法（如基于Merkle树的证明和零知识PoR系统）虽然能验证交易所链上资产是否足以覆
The Dodona Protocol: A Living Design Science Experiment in Oracle Design
本文针对区块链预言机（oracle）的核心问题——即如何可靠地将外部信息引入区块链系统——进行了深入探讨。现有研究指出，现代区块链预言机在可归因性、可问责性、完整性和查询设计等方面面临挑战，而这些挑战与古代神谕机构（如德尔斐神谕）中的程序和
Blockchain Infrastructure for Intelligent Cyber--Physical--Social Systems:Post-Quantum Security, Interoperability, and Trustworthy Data Economies in the Era of Embodied AI
本教程论文探讨了在具身人工智能（Embodied AI）时代，区块链基础设施如何作为智能网络-物理-社会系统（CPSS）的核心协调层。研究背景：基于世界模型的机器人部署对可信数据溯源、跨组织治理和激励兼容的数据共享提出了迫切需求；同时，量子
The Economics of Proof-of-Useful-Work
该论文从经济学角度分析了“有用工作量证明”（Proof-of-Useful-Work, PoUW）区块链的均衡特性。传统工作量证明（PoW）如比特币，其计算消耗仅用于维护共识，不产生外部经济价值；而PoUW旨在让同一计算既能保障区块链安全，
Bitcoin After Block Rewards
比特币的区块奖励计划逐步减半并最终归零，这引发了对其网络长期安全性的担忧：当矿工收入完全依赖交易手续费时，是否还能维持诚实挖矿的稳定性。本文基于序贯决策模型，分析了诚实矿工与偏离（如自私挖矿、空块攻击等）矿工的收益，推导出一个偏离阈值G_t
The Usefulness Gap in Proof-of-Useful-Work: An Empirical Study of Pearl's cuPOW Protocol
本研究对 Pearl 区块链的 Proof-of-Useful-Work (PoUW) 协议进行了首次系统性实证测量。Pearl 声称其 PoUW 协议能在保证网络安全的同时执行 AI 推理任务。然而，研究发现其 24 EH/s 的网络算力
TITAN-FedAnil+: Trust-Based Adaptive Blockchain Federated Learning for Resource-Constrained Intelligent Enterprises
该论文提出了一种名为 TITAN-FedAnil+ 的联邦学习框架，旨在解决资源受限智能企业环境中的数据异质性（非独立同分布数据）和去中心化安全威胁。核心贡献包括：1) 基于亲和传播的自适应聚类聚合方法，无需预先知道攻击者数量即可识别并过滤
Formal verification of the S-two AIR
本文介绍了使用Lean 4证明助手对StarkWare的S-two证明器中的代数中间表示（AIR）进行形式化验证的工作。S-two证明器用于在区块链上高效地证明用Cairo虚拟机语言编写的程序能够运行完成。该证明器通过一个代数中间表示（AI
QV-net: Decentralized Self-Tallying Quadratic Voting with Maximal Ballot Secrecy.
该论文提出了QV-net，一种去中心化的自计票二次投票协议，旨在解决现有基于区块链的二次投票（QV）系统中投票隐私缺失的问题。在当前的DAO（去中心化自治组织）投票实践中，QV被广泛用于缓解大额代币持有者的主导作用，但选票以明文形式公开并附
Unicity: Predicates and Atomic Swaps
该论文提出了一种名为 Unicity 的代币所有权模型的泛化版本，将传统简单的所有权条件扩展为可编程的支出条件，称为“谓词”（predicates）。这些谓词允许在链下执行类似智能合约的功能，而无需共识参与者（如矿工或验证者）直接执行，而是
The Unicity Execution Layer
本文提出Unicity执行层（Unicity Execution Layer），作为Unicity框架的一个模块化组件，旨在实现安全的链下交易，同时保持无需信任的双花预防。论文首先建立了形式化安全模型，其中代币所有权由公钥表示，转移需要数字
Strategic Users in a Priority Queue with Bulk Service on Blockchains
本论文研究了区块链网络中的交易费用问题，将交易排队过程建模为优先级队列，并考虑用户策略行为。作者采用 M/G^K/1 优先级队列模型，分析了交易费用与用户延迟成本之间的关系，推导出稳态量的半闭合表达式，并将用户延迟成本与交易费用的关系推广到
Free-Riding in the AI Economy: Demystifying Logic Flaws in x402-Enabled Payment Systems
本文对x402协议（一种用于机器间支付的HTTP支付协议）进行了首次系统性安全分析。x402协议旨在为代理经济提供程序化金融轨道，但其将同步HTTP请求与异步区块链最终性相结合，引入了状态同步挑战。研究者形式化了五个安全不变量（Securi
Ciphera: A Decentralised Biometric Identity Framework
本文提出了一种名为Ciphera的去中心化生物特征身份框架，旨在解决传统中心化生物特征系统中存在的单点故障、验证过程不透明以及生物特征信息一旦泄露便不可逆等安全问题。该框架结合了隐私保护的人脸识别、多节点验证、基于IPFS的凭证元数据存储以