 Razborov–Rudich natural-proofs barrier

The Razborov–Rudich natural-proofs barrier says that the existence of sufficiently secure pseudorandom function families rules out constructive, large properties useful against the associated circuit class.