.@josef_widder 解析了为什么安全性始于设计,而不仅仅是代码审查,详见 @MacrocosmPod ↴
MACROCOSM
MACROCOSM2025年7月10日
系统设计、安全威胁与审计,@informalinc 的 @josef_widder 0:00 引言与角色 1:26 学术根基 4:19 加密货币之前的审计 7:07 安全的本质 9:22 设计与构建 12:15 审计的局限性 14:51 威胁建模 17:21 长期安全 20:13 审计范围 23:28 全栈风险 26:23 共识与智能合约 28:54 桥接与层 31:00 Tendermint 与 Rust 35:01 构建协议 38:52 正式规范 42:29 Anoma 的想法 43:29 审计过程 46:02 语言选择 48:56 早期参与 52:16 成本与价值
839