It seems it's only a matter of months for Bitcoin to be able to cheaply verify ZK proofs. This will change everything.