具有恒定计算开销的加密

当前加密原语的构造通常涉及大量的乘法计算开销，随着所需的安全级别的增加而增加。我们探讨了实现基本加密原语（如加密、身份验证、签名和安全的两方计算）的可能性，同时只需要一个常数计算开销与相同任务的不安全实现相比。在这里，我们提出了通常的安全性要求，即任何多项式时间攻击者的优势在输入长度上必须可以忽略不计。

对于大多数中心密码原语，我们在似是而非，尽管有时是非标准的，难以处理的假设下获得了肯定的答案。我们首先证明了成对相关散列函数可以通过线性电路计算，从而推翻了Mansour、Nisan和Tiwari的猜想（STOC 1990）。该结构不依赖任何未经证实的假设，具有独立的利益。我们的散列函数可以用于构造消息身份验证方案，而任何单向函数的开销都是恒定的。在推广了Alekhnovich（FOCS 2003）之前的一个假设的棘手假设下，我们得到了具有恒定开销的（公钥和私钥）加密方案。使用之前假设的指数强版本，我们得到了类似复杂度的签名方案。假设具有多项式拉伸的NCz中存在伪随机生成器，并且存在（任意）不经意传输协议，对于安全两部分计算这一看似非常复杂的任务，我们得到了类似的结果。更具体地说，我们得到了半诚实模型中安全两方计算的一般协议，在该模型中，双方可以通过电路来实现，电路的大小是待评估电路大小的常数倍。在恶意模型中，我们得到的协议通信复杂性是s的常数倍数，其计算复杂度在s中略为超线性。对于恶意模型中安全性的自然松弛，在实践中仍然有意义，我们也可以将计算复杂度保持为线性秒这些结果扩展到当事方数量不变时，其中任意一部分当事方都可能被破坏。

我们的协议依赖于非黑盒技术，并提出了一种有趣的可能性，即通过这种技术可以获得密码领域的最终效率。