Procedural knowledge gap: public key encryption — LessWrong