Current Public-Key Crypto-systems (PKC's) use problems that we
think are hard, but are not proven to be NP-Complete (NPC).
It would be nice to have a PKC based on a problem that is
known to be NPC
Note: Inserting the trap door might still weaken the problem.