Ektelo：一种定义差分隐私计算的框架

差分隐私的采用正在增长，但设计私密、高效且准确算法的复杂度仍然很高。我们提出了一种新颖的编程框架与系统Ektelo，用于实现现有及新的隐私算法。针对回答线性计数查询的任务，我们展示了几乎所有现有算法均可由算子组合而成，每个算子符合少数几类算子类之一。尽管过去的编程框架有助于确保程序的隐私性，我们框架的新颖之处在于其对编写准确且高效（以及私密）程序的显著支持。在描述Ektelo系统的设计与架构后，我们展示了Ektelo具有表现力，可通过代码复用实现更安全的实现，并且它使隐私新手与专家都能轻松设计算法。我们通过设计若干新的最先进算法来展示Ektelo的使用。