0
$\begingroup$

Trapdoor function is a function $f$ that is easy to compute in one direction, yet difficult to compute in the opposite direction (finding its inverse) $f^{-1}$ without special information, called the "trapdoor".

Cryptographers use trapdoor functions and they frown upon subexponential complexity of breaking the trapdoor.

Recently we were working on a search problem which used $k$ nested loops from $1$ to $n$ and we realized the time complexity is $n^k$, which becomes very infeasible even for moderate values of $n,k$.

Let $n$ be the size of the input.

Q1 Is there trapdoor function which require time $n^k$ for some $k>1$?

Q2 Is there trapdoor function which require time $n^k$ when $k$ is moderately large, say $k>5$?

Q3 Is there trapdoor function based on matrix inversion?

The folklore complexity of matrix inversion is $O(n^3)$, but we believe the exact bit complexity is about $O(n^5)$.

$\endgroup$
1
  • $\begingroup$ if the answer is satisfactory you can accept it or clarify why it's not $\endgroup$
    – kodlu
    Commented Mar 18, 2022 at 17:34

1 Answer 1

5
$\begingroup$

Q1 goes right back to the dawn of public-key cryptography, with Merkle's Secure communications over insecure channels (see also Merkle's historical note on this). Merkle showed that running this cryptosystem costs $O(n)$, but adversaries cannot break the system in $o(n^2)$ operations. More recently, Baraz and Mahmoody have given an $O(n^2)$ attack, which is therefore asymptotically optimal.

These notions, including Q2, have been revisited in recent years as "fine-grained cryptography". Fine-grained one-way functions require a fixed polynomial gap between the running time of the cryptosystem for an honest user and the running time of an adversary, as opposed to the superpolynomial gap that is more traditional in conventional public-key crypto. Degwekar, Vaikuntanathan, and Vasudevan's CRYPTO 2016 article might be a good starting-point.

$\endgroup$
3
  • $\begingroup$ Thanks. Is $o(n^2)$ typo? Don't you need lower bound, not upper bound? $\endgroup$
    – joro
    Commented Mar 10, 2022 at 13:29
  • $\begingroup$ Sorry, some muddled phrasing there. I've fixed this and added another reference. $\endgroup$
    – Ben Smith
    Commented Mar 11, 2022 at 10:39
  • $\begingroup$ Thanks, that's an amazing introduction and I now have some reading to start with! $\endgroup$ Commented Nov 1, 2022 at 13:59

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .