惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

L
LangChain Blog
雷峰网
雷峰网
博客园_首页
S
Schneier on Security
C
Cyber Attacks, Cyber Crime and Cyber Security
The GitHub Blog
The GitHub Blog
T
The Blog of Author Tim Ferriss
罗磊的独立博客
Cyberwarzone
Cyberwarzone
V
V2EX - 技术
Webroot Blog
Webroot Blog
量子位
Martin Fowler
Martin Fowler
L
LINUX DO - 最新话题
TaoSecurity Blog
TaoSecurity Blog
P
Proofpoint News Feed
Cloudbric
Cloudbric
Microsoft Azure Blog
Microsoft Azure Blog
Recorded Future
Recorded Future
T
Tenable Blog
Y
Y Combinator Blog
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
Hacker News: Ask HN
Hacker News: Ask HN
Recent Commits to openclaw:main
Recent Commits to openclaw:main
阮一峰的网络日志
阮一峰的网络日志
U
Unit 42
B
Blog RSS Feed
Microsoft Security Blog
Microsoft Security Blog
T
Troy Hunt's Blog
P
Palo Alto Networks Blog
I
InfoQ
Project Zero
Project Zero
Blog — PlanetScale
Blog — PlanetScale
小众软件
小众软件
S
Securelist
D
Darknet – Hacking Tools, Hacker News & Cyber Security
Stack Overflow Blog
Stack Overflow Blog
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
C
Check Point Blog
Application and Cybersecurity Blog
Application and Cybersecurity Blog
GbyAI
GbyAI
F
Fortinet All Blogs
The Last Watchdog
The Last Watchdog
Cisco Talos Blog
Cisco Talos Blog
T
Threatpost
大猫的无限游戏
大猫的无限游戏
K
Kaspersky official blog
N
News and Events Feed by Topic
Engineering at Meta
Engineering at Meta

cs.DC updates on arXiv.org

暂无文章

CoBRA: A Universal Strategyproof Confirmation Protocol for Quorum-based Proof-of-Stake Blockchains
Zeta Avarikioti, Eleftherios Kokoris Kogias, Ray Neiheiser, Chri · 2025-03-21 · via cs.DC updates on arXiv.org

The security of many Proof-of-Stake (PoS) payment systems relies on quorum-based State Machine Replication (SMR) protocols. While classical analyses assume purely Byzantine faults, real-world systems must tolerate both arbitrary failures and strategic, profit-driven validators. We therefore study quorum-based SMR under a hybrid model with honest, Byzantine, and rational participants. We first establish the fundamental limitations of traditional consensus mechanisms, proving two impossibility results: (1) in partially synchronous networks, no quorum-based protocol can achieve SMR when rational and Byzantine validators collectively exceed $1/3$ of the participants; and (2) even under synchronous network assumptions, SMR remains unattainable if this coalition comprises more than $2/3$ of the validator set. Assuming a synchrony bound $Δ$, we show how to extend any quorum-based SMR protocol to tolerate up to $1/3$ Byzantine and $1/3$ rational validators by modifying only its finalization rule. Our approach enforces a necessary bound on the total transaction volume finalized within any time window $Δ$ and introduces the \emph{strongest chain rule}, which enables efficient finalization of transactions when a supermajority of honest participants provably supports execution. Empirical analysis of Ethereum and Cosmos demonstrates validator participation exceeding the required $5/6$ threshold in over $99%$ of blocks, supporting the practicality of our design. Finally, we present a recovery mechanism that restores safety and liveness after consistency violations, even with up to $5/9$ Byzantine stake and $1/9$ rational stake, guaranteeing full reimbursement of provable client losses.