BitC is often referenced from object-capability literature, which is one way of decomposing problems to mutually-trustable solutions. It's certainly possible to understand adversarial system design without having come across the ocap model, which is why I said 'most likely'.

Question: What is the fundamental problem that bitcoin solved in a novel way? If your answer is something from cryptography, you don't know its context.