CRII: SaTC: Efficient Secure Multiparty Computation of Large-Scale, Complex Protocols

许多具有挑战性的现实问题，例如投票和盲拍卖，都需要对由多个相互不信任的实体提供的敏感数据进行计算。优雅的密码理论已经被开发出来，以解决这些问题，而不依赖于相互信任的第三方。实践者还构建了能够安全地计算集合交集、AES加密、Hamming距离等的原型。然而，许多其他应用程序，如数据挖掘和运行通用机器，远远复杂于最先进的技术所能支持的。这项工作研究新的方法和平台，使大规模、复杂的密码协议能够以更有效的方式实现。制作的软件将作为开源项目发布，以利于未来相关领域的研究。本项目的一个部分探索了新的可扩展方法，以适应多个安全多方计算(SMC)协议，并使研究这些协议的有趣组合成为可能，包括一个新的编译器，为生成SMC协议提供更高级别的抽象。另一部分涉及对几个新的优化进行研究，以提高SMC的性能和可伸缩性，通过重用验证的组件来摊销验证成本。该项目的教育活动包括指导本科生和研究生进行应用密码学研究，并开发一门应用密码学研究生课程。欲了解更多信息，请参阅该项目的网站：http://smc-in-action.soic.indiana.edu

Many challenging real world problems, e.g., voting and blind auction, require computation over sensitive data supplied by multiple mutually-distrustful entities. Elegant cryptographic theories have been developed to solve these problems without relying on a mutually-trusted third party. Practitioners also built prototypes capable of securely computing set intersection, AES encryption, Hamming distance, etc. However, many other applications, such as data mining and running universal machines, are far more complex than what can be supported by the state-of-the-art techniques. This work studies new methods and platforms to enable large-scale, complex cryptographic protocols in more efficient ways. Software produced will be released as open-source projects to benefit future research in related areas. One part of this project explores new extensible approaches to accommodate multiple Secure Multiparty Computation (SMC) protocols and enable studying interesting combinations of them, including a new compiler to provide a higher-level abstraction for generating SMC protocols. The other part involves research into several new optimizations to improve the performance and scalability of SMC, through reuse of validated components to amortize validation costs. The educational activities of this project include mentoring both undergraduate and graduate students in applied cryptography research and developing a graduate course in applied cryptography.For further information see the project web site at: http://smc-in-action.soic.indiana.edu