让民主发挥作用:修复和简化平等Paxos
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos

原始链接: https://arxiv.org/abs/2511.02743

arXivLabs是一个框架,允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都接受并拥护我们的开放、社群、卓越和用户数据隐私等价值观。arXiv致力于这些价值观,并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法?了解更多关于arXivLabs的信息。

## 平等Paxos更新与讨论总结 一篇名为“让民主发挥作用:修复和简化平等Paxos”的最新论文在Hacker News上引发了讨论。作者解决了他们之前的工作中的问题,旨在改进无领导共识协议。原始EPaxos论文的一位评论员赞扬了这一进展,并建议使用TLA+或Ironfleet/Verus等工具进行形式化验证,可能作为硕士论文项目。 进一步的讨论表明,Apache Cassandra项目中的一个衍生协议Accord的完善和正确性证明工作仍在进行中——这是唯一实际应用。对话还涉及“Paxos”术语的历史背景,源于Lamport的“兼职议会”类比,以及分布式系统中事件排序的挑战。 几位用户辩论了比特币共识机制与平等Paxos之间的关系,以及区块链技术对治理的更广泛影响。一个反复出现的主题质疑了计算机科学和政治背景下“民主”的定义,一些人认为领导力对于有效的决策至关重要。最后,有人呼吁讨论市场失灵和解决方案。
相关文章

原文

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

联系我们 contact @ memedata.com