Which of the following is based on the fact that it is hard to factor large numbers into two original prime numbers?