トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Informal Systems 🌱
プロトコル設計とクロスチェーンインフラストラクチャのプレミアパートナー |監査 |バリデーター |インキュベーション@cyclesmoney |初期段階のプロジェクト@informalvcのサポート
.@josef_widderでは、セキュリティがコードレビューだけでなく設計から始まる理由を説明しています@MacrocosmPod ↴
2025年7月10日
@informalincの@josef_widderによるシステム設計、セキュリティ脅威、監査
0:00 イントロ&ロール
1:26アカデミックルーツ
4:19 暗号前の監査
7:07 セキュリティの性質
9:22 デザイン vs ビルド
12:15 監査の限界
14:51 脅威モデリング
17:21 長期セキュリティ
20:13 スコーピング監査
23:28 フルスタックリスク
26:23 コンセンサスとSC
28:54 ブリッジ&レイヤー
31:00 テンダーミント&ラスト
35:01 議定書の構築
38:52 フォーマルスペック
42:29 アノマの考え
43:29 監査プロセス
46:02 言語の選択
48:56 アーリー・インボルブメント
52:16 コストと価値
816
トップ
ランキング
お気に入り