[论文解读] Transaction-Driven Dynamic Reconfiguration for Certificate-Based Payment Systems

Lingkang Shangguan|arXiv (Cornell University)|Jan 14, 2026

Distributed systems and fault tolerance被引用 0

一句话总结

引入 PDCC，一种基于交易驱动的动态重配置协议，结合证书基础的快速路径与无领导者、动态 BFT 结算，以安全高效地在不中断运营的情况下重新配置成员资格。

ABSTRACT

We present a transaction-driven dynamic reconfiguration protocol in Modern payment systems based on Byzantine Consistent Broadcast which can achieve high performance by avoiding global transaction ordering. We demonstrate the fundamental paradigm of modern payment systems, which combines user nonce based transactions ordering with periodic system-wide consensus mechanisms. Building on this foundation, we design PDCC(Payment Dynamic Config Change), which can lead a smooth reconfiguration process without impacting the original system's performance.

研究动机与目标

• 在利用证书基础的快速路径支付的同时，实现对拜占庭故障下的安全动态重配置。
• 集成一个能够保持性能且避免全局事务排序的动态 BFT 结算层。
• 提供一个无领导者的结算协议，具有临时成员资格以支持无缝成员变更。
• 确保重配置请求经过认证并在全球一致的边界上安装。
• 提供一个与现有证书基础支付语义和状态转移机制兼容的实用协议。

提出的方法

• 在每个账户层面使用 Byzantine Consistent Broadcast，以避免全局总排序同时保持一致性。
• 定义一个快速路径重配置过程，其中重配置请求收集 Qc = 2fc+1 个签名以形成 certc(reconfig)。
• 将重配置提案嵌入结算检查点，并通过慢路径结算协议执行安装。
• 维护配置历史 CH 以记录提交证明并确保配置之间的可验证过渡。
• 为新验证者引入临时成员（学习者）以在不阻塞快速路径的情况下赶上进度。
• 提供一个可选的基于领导者的结算及面向配置的视图变化作为扩展。

实验结果

研究问题

• RQ1 证书基础支付系统如何在不干扰现有支付的情况下实现安全、可扩展的动态重配置？
• RQ2 在拜占庭故障下，哪些协议机制确保成员变更过程中的一致性与活跃性？
• RQ3 如何在全球一致的方式下对验证者进行认证、安装和传播重配置？
• RQ4 临时成员资格在避免动态仲裁活跃性失败方面的作用是什么？
• RQ5 在不影响安全性的前提下，是否可以将无领导者结算扩展为领导者驱动的方法？

主要发现

• 快速路径的重配置需要 certc(reconfig) 与 Qc 签名来启动配置变更。
• 重配置提案嵌入结算检查点，并在提交的检查点交付时安装，确保跨验证者的一致配置过渡。
• 临时成员允许新加入者通过将其视为学习者来赶上进度，直到安装完成，从而在保持现有操作的同时防止陪审团污染。
• 协议支持一个无领导者的结算设计，任何验证者都可以发起提案，如有需要也可转向领导者驱动的变体。
• 安全性保证包括对配置的认证绑定、同一配置的交付以及在部分同步性下的活性保持，且具备重叠条件。
• 设计与现有的证书基础支付语义和 Dyno 风格的动态 BFT 概念集成，以避免中断支付吞吐量。