All Turing-computable products are insecure. Turing-computable means generalizable and reducible computation, implying the existence of shortcuts. Turing computation is finite computation; computation with finite boundaries implies shortcuts. Therefore, only systems embedded in irreversible physical time are secure. Thus, Binance and Ethereum smart contract platforms will always have vulnerabilities that can be exploited by hackers, meaning they are never truly secure.