一切图灵可计算的产品都是不安全的。 图灵可计算意味着是通用的可归约的计算，即可能存在捷径。 图灵计算是有限的计算，有限边界的计算即意味着捷径。 所以只有一种安全的逻辑，即嵌入到不可逆的物理时间的系统才是安全。 因此 #Binace 和 #ETH 智能合约平台是永远有存在被黑客攻击的漏洞，即永不安全。