Sintr：存在拜占庭客户端时的安全交互式事务
Sintr: Safe Interactive Transactions in the Presence of Byzantine Clients
浏览论文内容
中文总结 AI 辅助
Sintr 是一个加固现有拜占庭容错数据库系统的框架，通过冗余执行和异构策略框架防止拜占庭客户端破坏数据库完整性，仅带来 3%-16% 的吞吐量开销与 3%-21% 的延迟开销。
中文摘要 AI 辅助
拜占庭容错（BFT）系统原则上是涉及互不信任参与者的事务型应用的理想基础，但其 adoption 受到性能和开发者便利性这两个长期障碍的阻碍，二者常相互矛盾。近期系统通过转向以客户端为中心的架构在这两方面取得了有前景的进展：客户端本地并发执行事务，系统则解决所有数据冲突以维持数据库的可串行性。我们认为，这种方法的当前形式存在一个关键漏洞：它使数据库的完整性暴露于可能发出恶意或错误事务的拜占庭客户端。我们提出 Sintr，这一框架通过执行恶意事务防止拜占庭客户端破坏数据库完整性。Sintr 结合冗余执行以验证事务结果，以及灵活的异构策略框架来表达应用的数据完整性要求。我们将 Sintr 应用于加固几个现有 BFT 数据库系统，发现其仅带来适度的开销：吞吐量开销为 3%-16%，延迟开销为 3%-21%。
英文摘要
Byzantine fault-tolerant (BFT) systems are, in principle, an appealing foundation for transactional applications involving mutually distrustful participants. Yet their adoption has been hampered by two persistent stumbling blocks-performance and developer convenience-which are often in tension with one another. Recent systems show promising progress on both fronts by shifting to a client-centric architecture; clients execute transactions locally and concurrently, while the system resolves any data conflicts to maintain database serializability. We argue that, in its current form, this approach introduces a critical vulnerability: it leaves the integrity of the database exposed to Byzantine clients, which may issue malicious or incorrect transactions. We address this threat with Sintr, a framework that prevents Byzantine clients from compromising database integrity by executing rogue transactions. Sintr combines redundant execution to validate transaction outcomes with a flexible, heterogeneous policy framework for expressing an application's data-integrity requirements. We apply Sintr to harden several existing BFT database systems and find that it imposes only modest overheads-3%-16% in throughput and 3%-21% in latency.
