BunnyFinder: Finding Incentive Flaws for Ethereum Consensus.

该论文提出了一个名为 BunnyFinder 的自动化框架，旨在发现以太坊共识协议中存在的激励缺陷。以太坊采用基于权益证明（PoS）的共识机制，其中验证者的激励设计直接影响网络的安全性和去中心化程度。BunnyFinder 通过形式化方法建

历史摘要 · 未重新核验 · NDSS