真正的安全是建立在 人机交互自然涌现过程中。 任何形式化安全都有其确定性的假设，如区块链技术的安全假设建立在 Code Is Law 之上。 但其又不去究竟 Code 由谁来更新管理。 如果只注重Code is Law， 那么必然会把区块链的安全性暴露在 开发者手中（谁 部署更新Code谁控制）。这也是 #Eth 带来形式化区块链技术的通病。不仅 EVM智能合约由于开发者 有意或者无意带来了各种安全性灾难。 而这些安全灾难不管做再多的形式化安全审计，也不解决问题。 安全问题不是出在被审计的 Code 之上。而是出在 被部署更新的代码中。即Code is Law 的中心化或者安全漏洞在于谁开发管理该 Code。 而 像 #Bitcoin 是通过 Miner 去 分布式部署 同意更新 Code的，避免了开发者中心化的问题。 而 #Bitcoin 的技术范畴 已经远远超出了 形式化 的 Code is Law。 Code is Law 只是 #Bitcoin 初始化 条件， 而整个 #Bitcoin 网络是在 Code is Law 的初始条件基础上， 再通过社区人类 个体逐步参与 博弈成长涌现价值的网络。 而这一个过程经历了无序到有序，体现的是 人与自然和谐相处进步的 达尔文演化论的涌现原则。