How Can You Tell Whether a Token Is Trustworthy?
三句話摘要
透過模擬轉帳與反編譯技術，識別 ERC20 代幣的隱藏風險與惡意行為。 ERC20 代幣的「可轉移性」只是假設，透過模擬 + 反編譯的雙層審查，才能在與不熟悉的代幣交互前真正評估風險。 「能轉」不等於「永遠能轉」：代幣邏輯可隨時被所有者修改，蜂蜜壺（Honeypot）正是利用此機制——允許買入但禁止賣出，僅靠當下模擬無法發現未來封鎖。
重點整理
重點- 1
「能轉」不等於「永遠能轉」：代幣邏輯可隨時被所有者修改，蜂蜜壺（Honeypot）正是利用此機制——允許買入但禁止賣出，僅靠當下模擬無法發現未來封鎖。
- 2
USDT 是真實的中心化風險案例：USDT 合約內含黑名單機制，所有者不僅可凍結地址交易，更可清空其餘額，且所有者權限未被放棄（non-renounced），此風險長期存在。
- 3
源碼不可得時，反編譯是最後防線：代幣剛部署時最容易被操縱，卻往往尚未開源，此時將 EVM bytecode 反編譯成人類可讀格式，是唯一能審查暫停、黑名單等隱藏行為的方法。
- 4
安全審查需要自動化：手動對每個代幣執行模擬與反編譯不現實，講者提出自動化審查流程是降低交互風險的必要方向。
實用技巧與重點
乾貨- 工具：Foundry（用於模擬轉帳、驗證餘額變化）
- 工具：安全套件 / Dub 反編譯器（講者自研，將 EVM bytecode 轉為可讀格式）
- 平台：USDT (Tether) 作為真實黑名單合約案例
- 技術格式：EVM bytecode（比特代碼）為無源碼時的可用輸入
- 可檢查行為類型：暫停（pause）、黑名單（blacklist）、餘額清空、轉帳稅
- 流程：① 找代幣持有者地址 → ② Foundry 模擬轉帳 → ③ 驗證餘額是否匹配 → ④ 閱讀源碼或反編譯審查邏輯
- 風險指標：所有者是否放棄權限（renounced）
結論
結論“ERC20 代幣的「可轉移性」只是假設，透過模擬 + 反編譯的雙層審查，才能在與不熟悉的代幣交互前真正評估風險。”
完整解析
詳細ERC20 代幣是 DeFi 的基礎積木，用於流動性提供、治理投票與日常交易。然而，大多數人在使用代幣時預設了兩個假設：一是自己完全掌控餘額，二是隨時可以轉移持有的資產。問題在於，代幣本質上是任意程式碼的實現，沒有任何協議層面的機制能強制保證這兩個假設成立。
第一道防線是交易模擬。在實際操作前，可以先找到代幣的現有持有者地址（講者使用自研的安全套件查詢），再透過 Foundry 模擬從該地址向任意地址的轉帳，並比對轉帳前後的餘額是否如預期變化。若餘額吻合，代表目前沒有轉帳稅。但這只是「此刻」的快照，無法反映「未來」的風險——蜂蜜壺合約的典型手法，正是允許買入卻在未來封鎖賣出，而模擬無法偵測這種條件觸發的邏輯。
因此第二步是閱讀合約源碼。以 USDT 為例，其合約明確寫明只有未被列入黑名單的地址才能進行轉帳，且所有者可以主動清空特定地址的餘額。更關鍵的是，USDT 的所有者權限從未放棄，意味著這些操作在技術層面隨時可執行。儘管現實中存在 Tether 公司的社會信任背書，但從純粹的合約邏輯來看，這兩個基本假設都已被打破。
然而，源碼並非總是可得的——代幣剛部署時往往尚未開源，而那恰恰是價格波動最劇烈、操縱風險最高的時期。此時唯一的選項是反編譯：雖然無法取得源碼，但 EVM bytecode 永遠可以從鏈上讀取，透過反編譯器（講者團隊的 Dub 工具）可將其轉換為人類可讀的偽代碼，從而審查暫停機制、黑名單邏輯等隱藏行為。由於手動對每個代幣執行這套流程成本極高，講者表示正在開發自動化分析管線，以降低大規模交互時的風險門檻。
關鍵時刻
Pipeline v2帶時間戳的重點，會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。
事實查核
Pipeline v2說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。
