热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
Informal Systems 🌱
协议设计和跨链基础设施的首要合作伙伴 |审计 |验证人 |孵化@cyclesmoney |支持早期项目 @informalvc
.@josef_widder 解析了为什么安全性始于设计，而不仅仅是代码审查，详见 @MacrocosmPod ↴
2025年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 成本与价值
810
热门
排行
收藏