[tedunangst]

I would say the fundamental problem is some sort of distributed knowledge proof system, and in my taxonomy of learning, that'd definitely be near the cryptology department.

To be honest, I think I'd been lumping bitc in too much with PL research, and hadn't considered that other people may have an interest.