Describir: Modern cryptography, probabilistic proofs and pseudorandomness