Frigate: A Validated, Extensible, and Efficient Compiler and Interpreter for Secure Computation
Frigate: A Validated, Extensible, and Efficient Compiler and Interpreter for Secure Computation
复制标题
DOI：
10.1109/eurosp.2016.20
复制
发表时间：
2016-03
期刊：
影响因子：
--
通讯作者：
Benjamin Mood;Debayan Gupta;Henry Carter;Kevin R. B. Butler;Patrick Traynor
中科院分区：
文献类型：
--
作者：
Benjamin Mood;Debayan Gupta;Henry Carter;Kevin R. B. Butler;Patrick Traynor
安全计算的最新发展使其在效率和功能上都有了显著的提高。这些努力创造了编译器，形成了实际安全计算研究的支柱。不幸的是，许多用于展示安全计算新研究的工件是不完整的，不正确的或不稳定的，导致明显的错误结果和效率低下-甚至延伸到最近开发的编译器系统。这是一个问题，因为当其他研究人员试图使用这些工具时，它阻碍了研究并破坏了可行性测试。我们解决这些问题，并提出护卫舰，一个原则性的编译器和快速电路解释器的安全计算。为了确保正确性，我们应用编译器设计和开发的最佳实践，包括使用标准数据结构，有用的否定结果和结构化验证测试。我们的系统验证测试包括检查内部编译器状态，操作符的组合，以及基于广泛使用的技术和我们在其他工作中观察到的错误的边缘情况。这就产生了一个编译器，它能构建正确的电路，是高效的和可扩展的。Frigate创建的电路具有与以前的工作相当的门计数，但与电路编译器以前工作的最佳结果相比，编译时速度高达447倍。通过创建一个经过验证的工具，我们的编译器将允许未来的安全计算实现被快速和正确地开发。
Recent developments in secure computation have led to significant improvementsin efficiency and functionality. These efforts created compilers that form thebackbone of practical secure computation research. Unfortunately, many of theartifacts that are being used to demonstrate new research for secure computationare incomplete, incorrect, or unstable, leading to demonstrably erroneousresults and inefficiencies - extending even to the most recently developedcompiler systems. This is a problem because it hampers research and underminesfeasibility tests when other researchers attempt to use these tools. We addressthese problems and present Frigate, a principled compiler and fast circuitinterpreter for secure computation. To ensure correctness we apply bestpractices for compiler design and development, including the use of standarddata structures, helpful negative results, and structured validation testing. Our systematic validation tests include checks on the internal compiler state, combinations of operators, and edge cases based on widely used techniques anderrors we have observed in other work. This produces a compiler that buildscorrect circuits, is efficient and extensible. Frigate creates circuits withgate counts comparable to previous work, but does so with compile time speedupsas high as 447x compared with the best results from previous work in circuit compilers. By creating avalidated tool, our compiler will allow future secure computationimplementations to be developed quickly and correctly.