Кажется, ты тут много кого положил на лопатки своей темой ехех
Я слабо знаком с факторизацией, читал когда-то про GNFS, но и все в общем-то (но с удовольствием бы почитал твое обсуждение этой темы с кем-то шарящим). По поводу односторонних функций - мб с развитием математики найдется хитрое преобразование, позволяющее щёлкать их, как орешки. Так ведь обычно бывает?