系統設計、安全威脅與審計，與 @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 成本與價值