CCF-A S&P 2022 动态BFT的形式化描述

POSDAO智能合约 在POSDAO共识算法的实现。 关于 POSDAO是一种权益证明（POS）算法，实现为分散的自治组织（DAO）。 它旨在为公共链提供分散，公平和节能的共识。 该算法可作为以Solidity编写的一组智能合约来工作。 POSDAO是通过通用BFT共识协议实现的，例如具有领导者和概率终结点的AuthorityRound（AuRa）或无领导者且具有即时终结点的Honeybadger BFT（HBBFT）。 它激励参与者为网络的最大利益而行为。 该算法提供了一个Sybil控制机制，用于报告恶意验证者并调整其权益，分配大笔奖励并管理一组验证者。 作者基于以太坊1.0协议为侧链实现POSDAO。 POSDAO资料库和资源 白皮书： : 具有POSDAO功能的反向OpenEthereum客户端： : （v2.7.2） 支持POSDAO功能的原始OpenEthereum

一种健壮的拜占庭容错（BFT）总订单广播协议，旨在最大化广域网上的吞吐量，以允许和禁止权益证明的区块链为目标。Mir在WAN上实现了空前的吞吐量，而无需牺牲等待时间，对恶意行为的鲁棒性，不影响集群的性能。Mir在广泛分布的100个节点，1 Gbps WAN设置下，每秒订购超过60000签署比特币大小的交易，同时防止了包括请求复制性能攻击在内的一系列攻击。

拜占庭容错状态机复制(BFT)协议是一种复制协议，它容忍少量副本的任意故障。 但现有的BFT协议在故障发生时不能提供可接受的性能。 这是由于所有现有的针对高吞吐量的BFT协议都使用了一个称为主副本primary的特殊副本，它向其他副本指示应该处理请求的顺序。 这个主程序可以是恶意的，在不被正确的副本检测的情况下降低系统的性能。