SaTC: CORE: Small: Collaborative: Building Sophisticated Services with Programmable Anonymity Networks

该项目设计并实现了可在匿名网络中运行的可编程系统元素，例如Tor(洋葱路由网络)。其核心思想是，用户可以将新代码注入网络，然后在受保护的执行环境中运行。其动机是能够创建新的和显著增强的匿名服务，例如内容分发网络，用于今天和未来的匿名网络。该项目有可能证明一个匿名通信网络，如今天的Tor网络，可以提供更广泛的服务，可以极大地增强安全匿名网络上的潜在服务范围，从而推动进一步的发展。拟议的研究有四个主要和原创性的推动力：(1)可编程的Tor中间盒，(2)抗审查的隐藏服务，(3)基于隐藏服务的内容分发网络(CDN)，(4)去中心化匿名证书。还将对可以基于提议的功能构建的应用程序进行大量思考和开发，因此，如果成功，最终的可能性预计将是变革性的。学生们在调查期间获得的培训横跨密码学、安全计算和匿名通信网络，预计将产生一组具有独特、重要和有用的技能。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

This project designs and implements programmable system elements to be run within the anonymity networks, such as Tor (The Onion Routing network). The central idea is that users can inject new code into the network that is then run within a protected execution environment. The motivation is to enable the creation of new and significantly enhanced anonymity services, such as content distribution networks, of use in today's and future anonymity networks. The project carries potential to demonstrate that an anonymity communication network, such as today's Tor network, could deliver a much larger range of services that could greatly enhance the potential range of offerings over secure, anonymous networks, motivating further developments.The proposed research has four main and original thrusts: (1) Programmable Tor middleboxes,(2) Censorship-resistant hidden services, (3) Hidden-services-based content distribution network (CDN), (4) Decentralized anonymous credentials. Much thought and development will also go into the applications that can be built upon the proposed functionalities, and as a result, if successful, the end possibilities are expected to be transformative. The training obtained by students during the investigation spanning across cryptography, secure computation, and anonymized communication networks are expected to result in a cohort with a distinctive, important and useful set of skills.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.