AMP: Arc Multi-Proposer Protocol with Bounded Inclusion Guarantees
AMP:具有有界包含保证的弧多提议者协议
Daniel Cason, Gordon Liao, Sergio Mena, Nenad Milošević, Adi Seredinschi, Alessandro Sforzin, João Sousa, Preston Vander Vos
AI总结 AMP是一种基于Tendermint共识算法的多提案协议,旨在解决区块链系统中单个验证者对交易包含和排序的绝对控制问题。该协议引入了专门的提案节点,负责收集用户交易并广播至所有验证者,从而消除传统内存池的依赖,实现传播与共识的分离,提升系统吞吐量。通过验证者对提案的公开证明和共识机制,AMP确保每个提案在满足条件后被纳入下一个区块,从而限制了单个验证者的控制权,增强了区块链金融基础设施的公平性和安全性。
详情
处理金融交易的区块链系统面临结构性紧张:组装每个区块的单一验证者对交易包含和排序拥有单边权力。传统市场通过抢先交易和市场操纵法律来遏制这种权力。监管机构已指出缺乏此类规则是基于区块链的金融基础设施的一级关注点。为此,我们在Tendermint共识算法之上引入AMP,一种多提议者协议,其中没有验证者可以控制交易流入区块。相反,称为提议者的专用节点位于用户和验证者之间。他们收集用户交易,将其分组为有效载荷,并将有效载荷广播给所有验证者。因此,没有mempool,AMP应用了分离传播与共识的设计原则,这可以带来更高的吞吐量。验证者公开证明接收到有效载荷,并运行共识来决定下一区块中包含的有效载荷集合。当所有正确的验证者证明给定有效载荷时,AMP保证该有效载荷将被包含在下一区块中;因此一个区块包含来自多个提议者的有效载荷,允许批量终结。这种有界包含保证以及运行在区块中包含的所有有效载荷上的确定性排序算法,遏制了任何单个验证者的权力。验证者不再控制区块中包含的内容,也不能任意排序区块的内容。
Blockchain systems that settle financial transactions face a structural tension: the single validator that assembles each block holds unilateral power over transaction inclusion and ordering. Traditional markets curb this very power through front-running and market-manipulation laws. Regulators have flagged the absence of such rules as a first-order concern for blockchain-based financial infrastructure. In response, we introduce AMP, a multi-proposer protocol, on top of the Tendermint consensus algorithm, where no validator can control the flow of transactions into blocks. Instead, dedicated nodes called proposers sit between users and validators. They collect user transactions, group them into payloads, and broadcast the payloads to all validators. Consequently, there is no mempool, and AMP applies the design principle of separating dissemination from agreement, which can lead to higher throughput. Validators publicly attest to receiving payloads and run consensus to decide the set of payloads to include in the next block. When all correct validators attest to a given payload, AMP guarantees that payload will be included in the next block; a block thus contains payloads from multiple proposers, allowing for bulk finalization. This bounded inclusion guarantee along with a deterministic ordering algorithm which is run over all payloads included in a block, curbs the power of any single validator. Validators no longer control what is included in a block, nor can they arbitrarily order the contents of blocks.