今日 KeyFrame

DeFi Security Summit - DSS

• Ken Thompson的編譯器後門理論仍有現實意義：編譯器可被污染使得惡意代碼隱藏於看似乾淨的源代碼中；Go編譯器用Go寫，Go Ethereum使用Go，這條供應鏈攻擊理論上可行，但實際需克服開源環保監督、多客戶端冗餘等多層防線。
• DeFi開發的心態必須不同於Web服務：Web服務可以修復漏洞並發布新版本，但DeFi代碼部署後通常不可改或難以改，一次駭客攻擊導致不可逆的多億損失，因此需要從設計階段就內化安全優先的思維。
• 金字塔模型的下層比上層更重要：形式化驗證和審計常被認為是安全的銀彈，但實際上正確的開發哲學、完善的流程、充分的測試才是基礎；如代碼品質足夠好，往往一到兩次審計就夠了。

DeFi Security Summit - DSS

• 攻擊的雙維度性質
• 傳統安全漏洞（單點故障、社工釣魚、密鑰管理不當）在實際 DeFi 攻擊中比智能合約漏洞更普遍。Multi-Chain 案例最具典型性：所有 MPC 節點運行在同一人的雲服務器上，該人被當局拘捕後團隊無法訪問，資金永久丟失；Ronin 攻擊中 5 台 MPC 服務器有 4 台位於同一集群且互相可訪問，運維員工遭釣魚一人就能淪陷整個系統。
• DAO 重入攻擊的具體機制

DeFi Security Summit - DSS

• 尋找合約漏洞的四層技術金字塔：單元測試容易偏向快樂路徑，無法發現邊界情況；手工審查效率低且仰賴專家；全自動工具（如Slither）只能找已知的常見漏洞模式；Property-Based Testing則透過定義系統應始終滿足的不變量，由Echidna隨機生成輸入逼迫合約違反這些不變量。
• 不變量的本質是多交易序列才會被破壞的狀態性質：單一交易內的漏洞相對容易發現，但像「Owner被放棄後無法恢復Pause狀態」這類需要多步操作的bug，只能透過讓Echidna自主嘗試不同的函數調用序列才能發現。
• 定義不變量是從英文敘述開始的迭代過程：不應直接寫Solidity，而應先用自然語言描述系統的期望行為（如ERC20的「使用者餘額不應超過總供應量」），再轉譯為Solidity的Boolean條件或Assertion，然後執行Echidna檢驗是否被破壞。

DeFi Security Summit - DSS

• 不變式是可驗證的系統屬性。ERC20的「總供應量等於所有餘額之和」是基礎例子；Compound中「cDAI價格應單調遞增」確保用戶不會虧本提現。每個函數執行前後，不變式應保持不變或優化。
• Compound的價值守恆法則：系統不創造新收益，只重新分配資金。貸款人收益完全來自借款人費用（左側流入=右側流出），形成借貸平台的基礎不變式。
• 清液機制通過抵押率（如0.8）激勵及時清償。當抵押品價值下跌時，清液人被激勵以低於抵押品價值的費用償還借款，換取價值更高的抵押品，防止協議出現壞賬。

DeFi Security Summit - DSS

• 目的感是長期貢獻的核心動力：做智能合約安全的人易被表面的粉絲數、排行榜排名吸引，但tincho強調真正留住人的是相信技術能改變世界、保護有意義的系統這種信念。他提到自己來自拉丁美洲，見過加密技術為家庭和朋友成為救命線，這種使命感驅動他多年來不離開生態。
• 應用層安全比底層更脆弱卻被忽視：智能合約只是冰山一角，環繞合約的索引器、預言機、籤名服務、跨鏈橋接等組件同樣存在漏洞。如果其中一個被攻擊，整個應用可能崩潰。與以太坊共識層的穩固相比，應用層呈現的是複雜交織的依賴關係，更容易被攻擊。
• 任何人都能加入但也帶來風險：Web3安全的開放性（代碼公開、任何背景都能參與）既是優勢也是雙刃劍。好人和壞人都能進場，數十億美元的總鎖定價值暴露在風險中。但正因為風險明確且高額，安全研究的重要性也最高。

DeFi Security Summit - DSS

• 代理的核心機制：代理合約持有指向實現合約的參考，透過委托調用執行實現合約的代碼，但使用代理自身的存儲空間。這樣升級時只需改變指向的實現合約地址，用戶存儲與資金保持不變。
• 透明代理 vs UUPS 的關鍵差異：透明代理在代理合約中內置升級邏輯與管理員檢查，每次調用都需檢查調用者身份（gas 開銷高）；UUPS 將升級邏輯移到實現合約，降低普通調用的 gas 成本，但要求實現合約實現訪問控制。
• 初始化函數的風險：由於代理無法使用傳統構造函數，需用初始化函數執行初始配置。但初始化函數仍可被直接調用，攻擊者可繞過代理直接初始化實現合約。必須在實現合約構造函數中呼叫 `disableInitializers()` 防止此漏洞。

DeFi Security Summit - DSS

• 基礎知識的深度理解
• 成為安全專家所需學習信息的80%涉及基礎知識（EVM運作、操碼、Gas機制），但關鍵不在於知道事實，而在於達到比開發者更深的理解層次。講者引用《有效思考的五大要素》指出，專家與普通人的差別在於深度理解——比如小提琴手透過反覆練習簡單樂曲而精進，對EVM的透徹理解能幫助審計員發現其他人忽略的漏洞。
• 攻擊者思維模式的培養

DeFi Security Summit - DSS

• 規範定義決定驗證品質——即使驗證工具完美，若規範寫錯也驗證不出實際問題，這是形式驗證最難的部分。
• 驗證不是一次性檢查，應在代碼初期就寫好規範，每次改動都自動跑驗證，規範與代碼一起演進。
• 並非靈丹妙藥，形式驗證、測試、審計三者應搭配使用，各自填補彼此的盲點。

DeFi Security Summit - DSS

• 規範是安全的基礎：將代碼的目標、用戶群、函數簽名、調用堆棧、所有假設條件（入參範圍、呼叫者限制、狀態不變性）明確記錄。規範不是靜態文檔，每次代碼更新都應同步修改，否則過時文檔會成為混淆而非指引。規範能幫助識別邊界情況，指導未來擴展，並讓未來維護者清楚理解系統應如何運行。
• 單元測試驗證規範實現：不只測試正常路徑，也要測試異常情況、邊界值（如 uint256 的上下限）、格式錯誤的輸入。達到 100% 語句和分支覆蓋率，能在開發過程中及早發現規範與實現的差異，並在重構時防止舊 bug 重新出現——測試失敗會立即告訴你問題所在。
• 靜態分析工具自動掃描常見漏洞：Slither 匹配 87 個檢測器針對代碼庫快速檢查（可集成 GitHub CI），能標出重入、危險調用等問題區域。但它無法判定漏洞是否 100% 可利用或實際造成風險，需要人工確認嚴重程度，決定是否立即修復或在文檔中註記未來升級的影響。

DeFi Security Summit - DSS

• Securium 的雙軌教育模式結合月度競賽與工作坊，專為引導 Web 2 安全專家或 Web 3 開發者進入智能合約安全領域而設計，建立了一個自我迴圈的人才培養系統。
• CTF 挑戰的層級設計精心遞進——初級挑戰聚焦基礎代幣標準與合約邏輯，中級引入 Flash Loan 與工廠模式的交互，高級則涵蓋簽名機制驗證、價格操縱與清算邏輯，讓學習者逐步建立完整認知。
• 每個挑戰都繫結真實安全事件，如 ERC20 銷毀漏洞源自 2020 年百萬級黑客事件、Crystal DAO 靈感來自 Optimism 代幣分配失敗，這使理論學習具有切實的威脅感和動機。

經營男不難

• MA 的核心是三個月的實證觀察期。教授強調不要依賴學歷、測驗成績或紙上資料，而是透過實際相處發現候選人真實的人格特質、工作態度、價值觀。企業應從基層培養接班團隊，確保管理階層的連續性與一致的企業文化。
• MA 不是盲目聘用，而是嚴格的淘汰過程。教授將員工分為四類：不堪用的「木才」（天生資質不足）、應開除的「裁才」（價值觀不對）、占 60% 的基層「人才」（可用但無進步意願）、需重點培育的「財才」（管理潛力）。只有後兩種值得保留。
• 任何規模企業都適用 MA 機制。小微企業可從招募 5-6 人開始，經一個月相處就能判斷誰適任。企業無需擔心找不到人，關鍵是願意投資時間成本進行結構化篩選與培育，這樣的投資能顯著加快企業成長。

經營男不難

• CEO班针对性解决台湾中小企业核心困境。台湾中小企业经营中普遍面临市场、资金/管理、团队三大问题，CEO班通过精简学理、实例印证、强调学以致用的三层教学方法，让企业领导者具体掌握可操作的经营工具。
• 贴身学习与企业交流是独特价值所在。学员可以直接向成功企业家学习，带整个团队参加建立共同管理语言，减少内部沟通成本，同时通过企业间交流获得启发与合作机会。
• 实证效果显著且系统完整。参加者不仅获得目标、方向、系统、工具的支持，还能在实践中快速见效，形成学习型组织文化，学以致用直接提升组织绩效。

經營男不難

• 市場環境已根本改變：電商快速崛起導致消費者購物行為轉向大賣場、Outlet Mall等一次購足的地方，傳統街邊店生存空間被壓縮。
• 實體通路需要升級而非淘汰：講者明確指出虛擬通路不會完全取代實體，街邊店應轉型為複合店或加入連鎖體系才能適應市場。
• 連鎖經營的核心誤解釐清：連鎖不是單純開更多店舖，而必須具備完備的企業識別系統（CIS）等條件，才能真正創造企業發展和市場影響力。

經營男不難

• 多開幾家店與真正的連鎖經營完全不同。講者指出臺灣人常誤解"多店經營"為"連鎖經營"，實際上連鎖要能存活5年以上才是真正的考驗。這是因為短期內靠產品創意和營銷手法可以快速擴張，但沒有系統性基礎的品牌最終會快速消亡。
• 總部的八大職能是連鎖永續經營的基石。單一門店無法同時處理商品開發、物流、行銷、運營、人員培育、財務等工作。當連鎖規模擴大到多地時，沒有統一的總部體系，各分店會"各自為政"，導致品牌形象破裂和服務品質下降。講者舉例臺北牛肉麵連鎖因缺乏管理，員工用汙水汙染麵湯的醜聞，正是這種問題的體現。
• 創新和變革是21世紀企業生存的必須條件。講者用咖啡產業為例：Louisa發現外帶模式無法與便利店競爭，轉型為複合店併成功擴張；同時期起家的Cama因堅持專門店模式，錯失戰略機遇。消費者具有"喜新厭舊"的特性，不斷變革才能維持競爭力。

經營男不難

• 決策團隊是企業大腦：必須設定使命願景、中長期目標、戰略方向、利潤目標、發展目標，並培養接班團隊。台灣真正懂經營戰略的決策層「找不到萬分之一」，多數企業方向模糊、執行無力。
• 系統化管理勝過個人英雄主義：導入策略地圖、年度計劃、績效管理（KPI）、表單系統與行事曆，能讓全員從被動轉主動。Chen教授管理398家連鎖店，每晚10點半即掌握全集團營業額、獲利、達標情況，核心是制度而非個人決定。
• 授權與分權是成長必經之路：企業快速成長時，老闆必須意識到人力短缺即將來臨。應先建立遊戲規則（制度），再進行授權（培養人才），最後導入分權制（各單位自負盈虧）。藉由教育訓練測試員工的學習心態，找出可培養的人選。

經營男不難

• 1. BU制的核心是分權管理與自負盈虧
• BU制源自1954年杜拉克的責任中心制，其精神在於將特定功能或任務交給某人或團隊，讓他們負責成敗。這不僅限於大組織，一個人也可成為BU，只要在某一區域、產品線或事業中自負盈虧即可。
• 2. 實施BU制需要組織轉念與制度建設

經營男不難

• 首先，2023年寒冬遠未結束，反而才是開始。講者在2021年就預告2023年會是「黑暗年」，如今已驗證——GDP下修、外銷持續衰退、景氣連續4月亮藍燈（極度蕭條）。台灣産業面臨系統性衰退，不只高科技，連餐飲觀光的短期紅利也即將消退。
• 其次，政府發6000元現金的政策設計有根本缺陷。台灣儲蓄率全球最高（43.7%），國民傾向將收入存起來而非消費。這筆補助只有不足三分之一的貧窮人口會全數花掉，中產階級用來補貼未來漲價的水電費和房貸利息，實質刺激效果微乎其微。應該改發有期限的消費券，強制民眾在期限內花掉。
• 第三，外部環境持續惡化。俄烏戰爭未結束、全球通膨、中國經濟衰退（GDP難破5%）——台灣對中國依存度超過40%，出口産業必然受創。中心產業（出口）疲弱拖累周邊產業（多為中小企業），形成連鎖衰退。

經營男不難

• 組織優先順序的轉變：傳統「產銷人發財」源於1960年代代工生產時代，但1990年後台灣產業轉向商業導向，供過於求局面形成。現代企業應把行銷（了解市場需求）與人力資源放在首位，因為人已不再廉價，成為企業核心資產，而生產能力已轉移到大陸。
• 行銷與銷售的本質差異：行銷是事前規劃與市場研究，銷售是強行推銷。在供過於求時代，了解顧客需求比硬銷更重要。西方企業將銷售部門置於行銷部門之下，亞洲企業卻各自獨立，導致決策順序錯誤。
• 匯率與經濟時序的雙重效應：聯準會升息推高美元，但今年預期最多升息2碼就會停止。上半年台幣貶值利出口；下半年台幣升值降低進口成本，搭配聖誕與農曆春節檔期，形成完美的內需消費時機——前提是購買力沒有崩潰。

經營男不難

• 解決勞動力短缺的三大人才來源：台灣面臨人口老化與年輕勞動力減少，傳統招募管道已不足。企業應開拓二度就業的女性（育兒後重返職場，歷經磨練）、高齡退休者（仍具工作能力，可彈性工時）、外籍配偶（願意工作補貼家用）三大來源。
• 科學面試法：觀察力優於紙筆測驗：應採口試取代筆試以避免作弊。面試官透過三維度判斷：眼睛（眼神閃爍代表欺騙）、語氣（聲音穩定度反映緊張程度）、臉部與額頭（表現內心世界與心胸寬度），並針對履歷深入提問驗證經歷真實性。
• 顛覆傳統的聘用優先順序：適性優先、意願次之、能力最後，因能力可後天培養。對經歷豐富但意願不明的應徵者應要求通過認證考試，避免出現「高頻銜頭、低實力」的彼得症。

經營男不難

• 制度是企業有序運作的基礎。沒有經營管理制度，企業會變成人質，員工無所適從。制度提供明確的行動準則，讓所有人都清楚知道應該如何正確地做事情。
• 制度與企業成長呈正相關。講者在三年內協助企業實現 4 倍到 139 倍的成長，其核心方法就是為企業整建經營管理制度，證明制度化管理是加速成長的關鍵驅動力。
• 制度能消除組織內的人為問題。透過制度化，可以減少個人的擅自主張、內部對立和衝突，讓組織朝著共同方向有序運作。

經營男不難

• 失業的五種類型有本質差異：非自願性失業（想工作但沒能力或職缺不符）、自願性失業（不願工作、平躺族）、摩擦性失業（短期求職轉換）、結構性失業（技能與需求不符）。台灣表面缺工實際上是結構性失衡，求職者不符企業要求的門檻。
• 晉升主管需要能力評估與培訓：許多老闆因感念忠誠度就晉升員工為主管（彼得原理），但未評估其管理才能，反而害死了一個好員工。企業成長必須建立職業發展體系與管理人才培育機制，而非臨時挖角。
• 經營團隊培養是企業長期競爭力基礎：講者曾同時經營多家公司，關鍵是透過規劃發展方向與建立經營管理團隊，而非親自操盤。企業應在CEO班與管理者認證課程中培養下一代領導者，以支撐業務成長與交棒。

經營男不難

• 企業規模決定治理模式的演變：微型企業靠「人治」（創辦人決策一切），小型企業進入「法治」時代（需制度化與管理團隊），大型企業則需進入「德治」時代（分權管理與權力下放）。這個進化反映了組織複雜度提升時的必然選擇。
• 管理跨度臨界點的實踐意義：當組織超過 7 人就出現管理灰色地帶，微型企業若仍維持一人決策會導致組織失控，無法有效擴張。因此小型企業必須建立管理團隊與明確的功能分工。
• 成長階段的兩大致命風險：從微型到小型的過程中，組織運作失控與資金運作不足是最常見的致命傷，許多新創正因這兩點而消亡，須同時解決才能存活。

經營男不難

• 1. 中小企業薪資競爭力來自中上水準而非最高
• 台積電、長榮海運的45個月年終是少數特例，不應成為比較基準。中小企業應鎖定「業界中間值以上」的薪資水準。講者實行16個月年薪（12個月+端午+中秋+年終2個月），這已超越大多數企業，反而容易找到員工，原因是規模小、薪資集中在少數人，更容易付出好待遇。
• 2. 企業形象與透明制度是留人關鍵

經營男不難

• 台灣經歷多次經濟奇蹟（1960年代、1990年PC產業、2010年AI電動車），導致許多企業誤認為不需要計畫也能生存。但全世界成功企業都將計畫經營視為基本功，這是經營者的共識。
• 講者在1973年赴日本談商品代理權時，被日本企業問「你們有沒有做VP？」才首次認識年度計畫的重要性。這次啟蒙改變了他對經營管理的理解，奠定了他日後倡導計畫經營的基礎。
• 年度計畫的實質效果不只是寫文件，而是產生四項具體成果：明確營業額目標、規劃人力配置、指導產銷計畫、控制費用預算。預算應由經營層先訂目標，下屬部門依目標制定營運計畫，進而產生部門預算，最後匯總成公司總預算。

大愛人文講堂

• 原生家庭決定了我們的信念系統：父母的言行舉止、對世界的態度深刻影響子女的溝通方式與心態。成長在不安全環境中的人，往往終身處於防守狀態，對他人的善意也容易誤讀為惡意。
• 轉念的實踐方法是質疑思想的真實性：當某個念頭讓我們痛苦時，關鍵問句是「這真的是事實嗎？」而非被念頭驅動。透過檢視思想本質，我們能擁有對自己情緒與反應的主動權。
• 非暴力溝通的四要素缺一不可：觀察只述客觀事實（不加評判），感受說的是自己的真實情感（不是對他人的推測），需要表達潛在的價值觀與渴望，請求必須具體、正向、可行。這四步能有效轉化衝突為相互理解。

經營男不難

• 新世代不接受制度的核心因素是企業未溝通清楚。大多數員工（80%）願意配合，關鍵在於公司是否清晰說明工作目標、制度必要性，以及為什麼日誌記錄對自我管理的價值，而非將其視為負擔。
• 企業需掌握主動篩選權。當薪資高於業界時，公司可在職前教育期間（1-3 天）直觀判斷求職者是否有心，不用擔心人力短缺，敢於淘汰不配合的少數人，才能確保團隊素質。
• 制度建設對正規企業不可或缺。沒有制度的公司如同菜市場或擺地攤，必須堅持制度整建，不因 20% 的異議者而動搖。同時要用激勵獎勵機制（如 16 個月年薪、端午獎金、中秋獎金等）留住優質人才。

經營男不難

• 劳动市场的根本逆转：2000年前台湾劳动力供过于求，企业招人容易导致不重视人力资源；2000年后因年轻人口减少与新创企业激增（企业数翻番），人才需求缺口扩大，这是长期趋势而非短期现象。
• 大企业与中小企业的结构性差异：大公司因规模大、获利高，能从营业额中拨出10%作教育训练预算，提供完整的薪资与福利体系，自然吸引优质人才；中小企业须反向思考，用主动投资来弥补规模劣势。
• 正确的人才来源与质量分布：最优秀人才来自校园直招（大三大四学生），次之为主动求职的在职人士，人力网站的99%人员已被挑选或淘汰，不应作为首选渠道。

大人學

• 應對老闆提問的核心是預做功課，而非反應速度。觀察老闆的提問模式，用筆記本記錄老闆問自己及其他同事的每一個問題，久而久之會發現老闆就重複問那8到10個固定問題。在日常工作中邊工作邊預先思考這些問題的答案，當真正被問到時自然不會慌張。
• 宣傳自己不會被討厭，關鍵是採用恰當的修辭方法。不要直接宣稱自己很厲害，而要強調對領域的熱情、長期投入的時間與心血、相對優勢（在特定條件下）；同時立即說明這些優勢如何能幫助對方，把焦點從自我轉向對方的利益。
• 管理下屬時最重要的是改變敘事結構，從對立轉為合作。不要無意中把自己設定為批評者、把下屬當對手，而是和下屬並肩面對工作挑戰這個共同敵人。用共同目標框架（如進度看板）重新敘述情境，下屬就會感受到被支持而非責備，更願意改進。

DeFi Security Summit - DSS

• 預防性驗證機制自5月在Stargate部署，檢查所有經過的消息以防止惡意代碼注入，但這是主動防禦而非被動攔截的設計——重點是預防漏洞而非捕捉攻擊。
• Library upgrades 打破強制升級的束縛——藍籌應用會等待新庫版本經時間考驗再採納（類似開源軟體選擇LTS版本），新興項目則願意嘗試最新特性，形成自然的風險分層，避免整個生態被單一升級決策綁架。
• 完全抗審查需要協議層保障——Layer Zero 採用不可升級合約與強制消息順序機制，使得即使開發團隊被強制也無法執行審查，但這限制了靈活性與創新空間的權衡。

DeFi Security Summit - DSS

• TWAP Oracle 的多層防禦策略：改用中位數而非平均值可移除單點異常，添加異源價格交叉驗證確保偏離幅度有限，設定時間窗口內的波動上限，採用 95 百分位數過濾來消除被操縱的極端值。若協議自己持有部分流動性，可在偵測大交易時動態重新平衡以提高操縱成本。
• 概率模型驗證攻擊可行性：需構建完整模擬涵蓋所有系統內借方與貸方，從鏈上歷史數據採樣，通過改變流動性集中度（假設頂級流動性提供者同時撤出）與市場波動率測試邊界條件。只有在既有協議狀態下才有強約束條件，新協議設計需特別小心 flashloan 等邊界情況。
• 批量測試漏洞的必要性：手工 bug injection 測試比自動化變種測試更精準，測試人員需植入真實觀察到的漏洞模式（變量混淆、位運算誤用為邏輯運算），確保測試套件不只覆蓋代碼路徑，更要捕獲這類語義缺陷。