The problem I have with Hal Finney == Satoshi is that by the early 2000s, Hal Finney knew more about the state of the art of proof of work functions than the author of Bitcoin. Lots of Bitcoin design decisions can be justified out of conservatism but ignoring post-hashcash developments looks more like lack of knowledge Hal Finney had.