12
votes
Accepted
Function that is guaranteed to be one-way if one-way functions exist?
Yes, such a function was found by Levin himself, published somewhat recently:
The tale of one-way functions. Problems of Information Transmission (= Problemy Peredachi Informatsii), 39(1):92-103, ...
8
votes
Is it possible to encrypt a CNF?
The application you mention is called "proof of useful work" in the literature, see for instance this article.
You can use a fully homomorphic encryption scheme (where the plaintext is the CNF ...
6
votes
Accepted
Is it possible to encrypt a CNF?
Feigenbaum in, Encrypting Problem Instances, proposes a definition (Def. 1) of encryption function for NP-complete problems which satisfies your requirements. She proves that the NP-complete problem ...
3
votes
Accepted
What is the simplest one-way function (in terms of boolean circuit complexity)?
A reasonable approach is probably to take a lightweight block cipher, $E_\cdot(\cdot)$, fix a constant $c$, and use the function $f(k) = E_k(c)$ as the function. While we have no proof that $f$ is a ...
3
votes
Consequences of OWFs for Complexity
This is a late response.
First, to correct what you wrote:
Cryptographic pseudorandomness (the one obtained from OWFs) doesn't have enough stretch to derandomize "naturally defined" computational ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
one-way-function × 34cr.crypto-security × 20
cc.complexity-theory × 18
complexity-classes × 5
average-case-complexity × 3
reference-request × 2
np-hardness × 2
big-picture × 2
permutations × 2
hash-function × 2
key-exchange × 2
co.combinatorics × 1
approximation-algorithms × 1
circuit-complexity × 1
turing-machines × 1
boolean-functions × 1
derandomization × 1
nt.number-theory × 1
space-bounded × 1
conditional-results × 1
descriptive-complexity × 1
relativization × 1
universal-computation × 1
logspace × 1
pseudorandom-generators × 1