
Lux(λ) |光尘|空灵|GEB|2025年04月06日 10:57
真正的安全是建立在 人机交互自然涌现过程中。
任何形式化安全都有其确定性的假设,如区块链技术的安全假设建立在 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 的初始条件基础上, 再通过社区人类 个体逐步参与 博弈成长涌现价值的网络。 而这一个过程经历了无序到有序,体现的是 人与自然和谐相处进步的 达尔文演化论的涌现原则。
分享至:
脉络
热门快讯
APP下载
X
Telegram
复制链接