[论文解读] Winning the Caucus Race: Continuous Leader Election via Public Randomness

Sarah Azouvi, Patrick McCorry+1 more|arXiv (Cornell University)|Jan 24, 2018

Blockchain Technology Applications and Security参考文献 22被引用 13

一句话总结

Caucus 是一种低成本、协调开销极小的区块链领导者选举协议，通过使用公开随机性和私有哈希承诺，实现安全、公平且不可预测的领导者选举，无需工作量证明。该协议在以太坊上每轮领导者选举成本仅为 0.10 美元，显著低于现有随机信标解决方案的成本。

ABSTRACT

Consensus protocols inherently rely on the notion of leader election, in which one or a subset of participants are temporarily elected to authorize and announce the network's latest state. While leader election is a well studied problem, the rise of distributed ledgers (i.e., blockchains) has led to a new perspective on how to perform large-scale leader elections via solving a computationally difficult puzzle (i.e., proof of work). In this paper, we present Caucus, a large-scale leader election protocol with minimal coordination costs that does not require the computational cost of proof-of-work. We evaluate Caucus in terms of its security, using a new model for blockchain-focused leader election, before testing an implementation of Caucus on an Ethereum private network. Our experiments highlight that one variant of Caucus costs only $0.10 per leader election if deployed on Ethereum.

研究动机与目标

• 设计一种安全、可扩展的区块链领导者选举协议，避免工作量证明带来的高计算成本，同时最小化协调开销。
• 形式化定义区块链领导者选举特有的安全需求，包括活性、公平性和不可预测性。
• 在以太坊上评估协议的实际实现，证明其具有极低的运行成本和强大的安全保证。
• 通过启动一个安全的随机信标，实现从工作量证明到权益证明区块链的平稳过渡。
• 将领导者选举隔离并作为基础组件进行严格分析，激励机制的构建留待未来工作。

提出的方法

• Caucus 结合了公开随机信标（通过去中心化协议生成）与参与者的私有随机性，参与者通过哈希链头部对随机性进行承诺。
• 参与者根据阈值检查被选为领导者：H(h_i^rnd ⊕ R_k) < target_k，其中 R_k 为公开信标值。
• 协议通过使资格依赖于公开随机性和私有承诺，确保公平性和不可预测性，防止碾压攻击和拒绝服务攻击。
• 采用链上/链下混合设计以降低成本：信标通过 SCRAPE 的一种基于投票的变体初始化，将链上版本的成本从 271 美元降低至 79.8 美元。
• 协议支持每轮额外哈希验证仅消耗 128 gas，当仅需最小验证时，每轮选举成本可低至 0.10 美元。
• Caucus 可作为以太坊上的智能合约部署，初始部署成本约为 50 美元，每轮运行成本为 0.10 美元。

实验结果

研究问题

• RQ1 能否设计一种区块链领导者选举协议，确保公平性、活性和不可预测性，而无需依赖工作量证明？
• RQ2 如何结合公开随机性和私有随机性，实现安全、低成本且协调开销最小的领导者选举？
• RQ3 在以太坊上部署安全随机信标用于领导者选举的实际成本是多少，如何将其最小化？
• RQ4 Caucus 能否支持从工作量证明到权益证明共识的区块链安全启动？
• RQ5 领导者选举协议在去中心化环境中保持安全和高效，其最小信任假设是什么？

主要发现

• 当仅需最小验证时，Caucus 在以太坊上每轮领导者选举成本仅为 0.10 美元，相比现有方案实现显著降低。
• 通过使用基于投票的 SCRAPE 变体，初始信标设置成本可控制在 80 美元以内，避免了完全链上信标 271 美元的高昂成本。
• 由于资格通过公开承诺提前揭示，攻击者无法对领导者实施拒绝服务攻击。
• Caucus 支持事后检测违规行为，要求参与者提交哈希预像，若承诺未被披露则可实施惩罚。
• 协议通过建立最小协调的可验证随机信标，实现从工作量证明到权益证明区块链的安全、低成本过渡。
• 初始合约部署成本约为 50 美元，且在至少存在一名诚实参与者贡献信标的假设下，协议保持安全。