Thiết kế hệ thống, Các mối đe dọa bảo mật & Kiểm toán với @informalinc 's @josef_widder 0:00 Giới thiệu & Vai trò 1:26 Nền tảng học thuật 4:19 Kiểm toán trước Crypto 7:07 Bản chất của bảo mật 9:22 Thiết kế so với Xây dựng 12:15 Giới hạn của Kiểm toán 14:51 Mô hình mối đe dọa 17:21 Bảo mật lâu dài 20:13 Phạm vi Kiểm toán 23:28 Rủi ro Full Stack 26:23 Đồng thuận & SCs 28:54 Cầu & Lớp 31:00 Tendermint & Rust 35:01 Xây dựng Giao thức 38:52 Đặc tả chính thức 42:29 Suy nghĩ về Anoma 43:29 Quy trình Kiểm toán 46:02 Lựa chọn Ngôn ngữ 48:56 Tham gia sớm 52:16 Chi phí & Giá trị