Register and share your invite link to earn from video plays and referrals.

michael
@no89thkey
Bring mass adoption to blockchain. @brevis_zk @celernetwork
Joined October 2018
898 Following    8.9K Followers
被黑很可怕,但更可怕的是:你不知道自己有没有被黑,也没有办法证明自己没被黑。这些本来可以被一个看似没用的feature避免。AI时代,高价值系统设计必须重新从“深度防御”的角度出发,尽量避免这种问题。 这次 ZEC Orchard 漏洞真正可怕的地方,不只是它可能允许无限增发,而是因为 ZEC 的隐私特性,系统无法确定这个漏洞到底有没有被利用、被利用了多少。也就是说,也许什么都没发生,也许已经发生过无限增发,但链上没有办法给出一个确定答案。 这件事反映了行业一个更深层的问题:我们不能再把软件安全的设计标准停留在“代码应该是没问题的”。尤其在AI之后,白帽和黑帽发现漏洞的速度都会被极大放大。未来高价值系统的默认假设应该是:实现一定有问题,所以系统必须围绕关键不变量设计足够多的guardrails(安全围栏)。 比如 ZEC 的发行速度和总量规则本身是确定的,那么在网络里增加某种零知识证明,去证明代币总量和发行规则没有被破坏,是完全可以实现的。只是这种功能在没有事故时看起来“没什么用”:不提升性能,不改善用户体验,也没有短期叙事。但如果当时有类似机制,任何无限增发类漏洞一旦被大规模利用,就可能被监控迅速发现,而不是事后两眼一抹黑。 这就是所谓“深度防御”的意义:不要假设某一层永远正确,而是用多层独立防线覆盖预防、检测、限损、响应和恢复。一层失败,其他层至少应该让问题可见、可控、可恢复。 各种DeFi协议也是一样。代码审计、形式化验证、漏洞赏金都很重要,但这些还不够。真正的安全体系还应该包括运营安全、实时监控、异常检测、限额机制、熔断机制、应急治理和主动攻防演练。未来链上系统的标准不应该是“我们相信实现没有问题”,而应该是“即使实现有问题,系统也能尽快发现、限制损失,并证明关键不变量没有被破坏”。 最后希望这个漏洞没有被真的使用过 安全生产 警钟长鸣
Show more