CSR---PDOS: Byzantine faults in a rational world

该项目的目标是发展构建拜占庭理性容错(BRFT)分布式系统的理论和实践。BRFT系统在一组Rational节点上正常运行，这些节点可以任意偏离任何建议的协议，以便最大化它们自己的净收益，并且它还容忍少量拜占庭节点因为任何原因(包括故障、配置错误或恶意)而任意偏离任何建议的协议。BRFT旨在为跨越多个管理域的协作系统和应用程序建模-示例包括互联网路由、无线网状路由、P2P网络中的文件分发、档案存储或协作备份。目前还没有令人满意的方法来对这样的系统进行建模，在这些系统中，如果没有中央权威机构，正确和错误节点之间的经典二分法就变得不充分：所有节点，不仅仅是错误节点，都可能偏离所建议的协议。

The goal of this project is to develop the theory and practice for constructing Byzantine and Rational Fault Tolerant (BRFT) distributed systems. A BRFT system operates properly upon a collection of rational nodes that can arbitrarily deviate from any suggested protocol in order to maximize their own net benefits, and it also tolerates a small number of Byzantine nodes that can arbitrarily deviate from any suggested protocol for any reason including malfunction, misconfiguration, or malice. BRFT is intended to model cooperative systems and applications that span multiple administrative domains---examples include Internet routing, wireless mesh routing, file distribution in P2P networks, archival storage, or cooperative backup. Currently there exists no satisfactory way to model systems such as these, where, absent a central authority, the classical dichotomy between correct and faulty nodes becomes inadequate: all nodes, not just the faulty ones, may depart from the suggested protocol.