Zk proof was in the mind of the Bitcoin pioneer Hal Finney, 25 years ago! RIP.