The math behind bitcoin and its architectural decisions are fairly straightforward if you understand binary arithmetic. Of course that's easy for me to say as an IC designer.