Analyzing Solana's Blocks and Transactions
该论文对 Solana 区块链进行了一次大规模实证测量研究。Solana 是目前最流行的公链之一，也被广泛认为是承载智能合约（dApp）最多的区块链，因此弄清链上实际执行的智能合约类型及其相互调用/关联方式，对现代区块链的设计者与智能合约开
#distributed-systems
共收录 44 条相关情报。
← 返回所有主题Deduplication-while-Training: A Resilient Paradigm for Privacy-Preserving Cross-Client Deduplication in Federated Learning
在大语言模型训练语料中，跨客户端重复数据会降低联邦学习（FL）的效率，同时加剧模型记忆化与隐私泄露风险。隐私保护的跨客户端去重可清除重复训练数据，从而缓解该问题。然而现有方案均遵循“先去重、后训练”（Deduplication-before
Steelhead: Interleaving Partially Synchronous and Asynchronous Commit Rules on a Shared DAG
该论文提出 Steelhead——一种双模式共识机制，目标是兼得部分同步协议的高性能与异步协议在恶劣网络条件下的存活性。现有 DAG 类 BFT 协议通常二者只能取其一：部分同步提交规则在健康网络中快，但一旦网络状况超出同步假设就会停滞；异
Hydrozoan: Latency-Adaptive DAG Consensus under Mixed Byzantine and Crash Faults
本文提出 Hydrozoan，一个面向混合故障模型的 DAG（有向无环图）共识协议。背景是：基于 DAG 的共识可达很高吞吐，并在 n=3f+1 的经典设定下达到最优的三消息延迟下界；已有的两消息延迟协议要么靠牺牲容错度（例如需要 5f+1
XIR: A Framework for Interoperability across Cross-Chain Protocols Based on a Verifiable Intermediate Representation
该论文研究的是跨链互操作性中的"点对点配置"瓶颈问题。现有跨链协议（如 Axelar、CCIP、Hyperlane、LayerZero、Relay、Wormhole）在点对点（point-to-point）模式下工作：源链与目的链之间必须存
Fluid Notarization: Verifiable Evolution of Concurrently Edited Structured Documents
本论文针对协作编辑场景下文档公证的失效问题提出了新的范式。传统基于区块链的文档公证是“快照导向”的：每一次文档修订都被视为一个独立状态，通过密码学引用（如哈希）单独锚定到链上。这种模型对不可变工件有效，但在多人协作编辑的文档上力不从心：并发
State Without a Landlord: An Architecture Proposal for Peer-to-Peer Replication of Durable Workflow State
该论文聚焦持久化执行（durable execution）框架中「工作流状态归谁所有、由谁背书」这一根本问题。当前主流做法是：框架把长时运行函数的每个执行步骤写入日志（journal），故障后依靠确定性重放（deterministic re
Channel-Aware Selection of Folded Bloom Filters for Distributed Systems
在通信受限的分布式系统中，周期性传输 Bloom filter 会带来可观的带宽与能耗开销。已有的两类思路各有取舍：无损压缩能完整保留成员性语义，但传输尺寸是固定的、无法按需缩减；OR 折叠（OR folding）可以生成更小的表示并保持“
Scalable Composition of Byzantine Agreements under Reorder Attacks
拜占庭协议（BA）是分布式系统的核心基础组件，多实例执行下的安全性分析近年受到越来越多关注。然而现有敌手模型大多只考虑节点被腐化，忽视了通信信道被对抗性操纵带来的重要威胁。攻击者可通过信道攻击在多个协议执行实例之间对消息进行重排序，从而破坏
Asynchronous Data Dissemination and its Applications.
本论文提出异步数据传播（Asynchronous Data Dissemination, ADD）问题的新协议，并展示了其在多个密码学和分布式计算原语中的显著改进。ADD 的目标是：在一个异步网络中，只要至少有 t+1 个诚实节点初始持有某
Barnacle: Adaptive Multi-Leader Scheduling for DAG-Based Consensus
DAG（有向无环图）共识中，网络内所有验证者并发提出区块，但只由指定的主节点（leader）的区块来驱动交易的最终提交。设计上每轮可以设置多个leader槽位，从而降低排队延迟；但主流生产部署仍然只使用单一leader，原因在于队头阻塞（h
Compositional Verification of Composite Byzantine Protocols.
拜占庭容错（BFT）协议是分布式系统中最难设计和推理的组件之一。近年来，形式化验证领域发展出多种计算机辅助方法，能够对独立（standalone）BFT 协议的安全性与活性进行自动化验证；与此同时，分布式计算社区也尝试将复杂协议拆分为更简单
When Does Authorization End? Effect Closure at Provider Boundaries
该论文研究分布式系统与授权模型中的一个根本性缺口：授权“何时”才算真正结束？论文指出，即使系统报告撤销完成、达到干净状态或操作成功，先前已授权的执行路径仍可能在提供方（如消息中间件、编排平台）未违反自身契约的前提下，继续产生应用程序明确拒绝
Identification of Compositional Risks in Data Protection Impact Assessments and Beyond
本文针对分布式数据处理场景中因服务提供商组合而引发的隐私风险问题展开研究。具体而言，当多个合作的服务提供商共同处理个人数据时，即使每个提供商单独进行的数据保护影响评估（DPIA）均未发现风险，组合后的整体仍可能产生新的隐私风险。文章举例说明
RandRunner: Distributed Randomness from Trapdoor VDFs with Strong Uniqueness.
这篇论文提出了 RandRunner，一个面向现实系统模型的随机信标协议。随机信标是分布式计算中的基础原语，用于为拜占庭容错（BFT）协议、区块链以及更广泛的应用提供不可预测且一致的随机数源。传统随机信标通常依赖 BFT 共识协议来对随机输
Random Beacons in Monte Carlo: Efficient Asynchronous Random Beacon without Threshold Cryptography.
本文提出了一种名为 HashRand 的高效异步随机信标协议，旨在解决区块链、投票、安全分布式计算等场景中对不可预测且无偏随机性的需求。现有随机信标协议大多依赖阈值密码学设置或存在高计算开销，部分协议还要求网络部分同步或具备有界延迟，这些限
Multi-View Trust Evaluation for Collaborator Selection via Evidential Deep Learning
在分布式系统中，选择可信赖的协作者对于高效完成任务至关重要，通常需要从过去的协作经验中推断其可信度。然而，协作者在过往协作中可能服务于不同设备、面临不同场景，导致其信任相关数据具有多源、异构且质量不均的特点。传统信任评估方法难以处理这种复杂
TockOwl: Asynchronous Consensus with Fault and Network Adaptability.
本文提出 TockOwl，据称是首个具备故障自适应能力的异步共识协议。传统拜占庭容错（BFT）协议在遭遇崩溃故障时通常会出现瀑布式的性能下降；部分协议虽能避免这种骤降，但代价是在无故障场景下增加通信与轮次复杂度。TockOwl 通过设计实现
Multivalued Consensus: General Adversaries Require More Communication
本文研究多参与方容错共识问题，特别关注一般性（非阈值）对手模型下的通信复杂度下界。作者基于有限射影几何构造了一个无限族 Z_proj^{n,d} 的对手结构，该结构满足 Q^d 条件（即任意 d 个对手集合的并集不覆盖全部参与者）。对于这类
Vantage: Availability-Graded Broadcast for Signature-Free BFT
Vantage 是一篇关于拜占庭容错（BFT）共识协议的学术论文，发表于分布式计算领域（cs.DC）。传统的高吞吐无签名 BFT 协议依赖数字签名来提供可转移的证据，使区块和投票能够被第三方验证，但签名带来额外开销。本文提出了一种仅使用认证