EAGER: Collaborative: Faster and Stronger Onion Routing (FASOR)

Tor每天被数百万用户使用，包括记者、军队和执法人员、活动人士、公司、告密者和普通人，以保护他们的网络浏览免受监视。然而，Tor的内部架构非常复杂。这种复杂性产生了性能问题，并使安全性分析变得困难。此外，Tor的加密将被未来的量子计算机打破。间谍正在记录越来越多的互联网流量；一旦间谍们制造出足够大的量子计算机，他们将能够追溯地看到谁对谁说了什么。这个FASOR（“更快更强的洋葱路由”）项目是跨学科的，理论与实践相结合，研究内容涵盖协议设计、软件工程、后量子密码学和隐私分析。FASOR汇集了三个互补的研究方向。第一个组件是Tor本身，拥有数百万的部署用户群，广泛的部署经验，以及分析隐私协议以发现漏洞的历史。第二个组件是“MinimaLT”，这是一种全新的低延迟加密网络协议，可以降低复杂性，提高安全性和隐私性。第三部分是后量子密码学，它引入了抵抗量子计算机的加密算法，但也带来了效率和网络协议集成问题。FASOR项目统一了这三个组件，提高了性能，提供了高安全性的后量子加密，减少了不同系统层之间的重复，使其更容易引入新功能，并减少了暴露给攻击者的表面积。FASOR项目还将分析这些协议的新型漏洞和威胁，并为世界揭示和澄清新的研究问题。

Tor is used daily by millions of users, including journalists, militaries and law enforcement, activists, companies, whistleblowers, and ordinary people, to protect their web browsing against surveillance. However, the internal architecture of Tor is very complicated. This complexity creates performance problems, and it makes security analysis difficult. Furthermore, Tor's encryption will be broken by future quantum computers. Spies are recording larger and larger fractions of Internet traffic; once the spies build a large enough quantum computer, they will be able to retroactively see who was saying what to whom. This FASOR ("Faster and Stronger Onion Routing") project is interdisciplinary, combining theory and practice, with research covering protocol design, software engineering, post-quantum cryptography, and privacy analysis.FASOR brings together three complementary research directions. The first component is Tor itself, with a deployed user base in the millions, broad deployment experience, and a history of analyzing privacy protocols to discover vulnerabilities. The second component is "MinimaLT", a clean-slate low-latency encrypted network protocol that reduces complexity and increases security and privacy. The third component is post-quantum cryptography, which introduces cryptographic algorithms that resist quantum computers, but which also poses efficiency and network protocol integration issues. The FASOR project unifies these three components, increasing performance, providing high-security post-quantum cryptography, reducing duplication among different system layers, making it easier to introduce new functionality, and reducing surface area exposed to attackers. The FASOR project will also analyze these protocols for new types of vulnerabilities and threats, and expose and clarify new research problems for the world.