KeyFrame內部研究專用

Stellar - DeFi Security Summit 2024 Gold Sponsorship Interviews

DeFi Security Summit - DSS·12月22日週日·8 min英文

三句話摘要

Stellar 區塊鏈在 DeFi 安全峰會上展示的智能合約平台與風險防控體系。 通過從協議、開發工具到審計支持的多層次防護,再加上對新用戶教育的重視,Stellar 試圖建立一個「安全優先」的區塊鏈生態,以滿足新一代用戶對信任的需求。 Stellar 的市場差異位置 — 不同於純技術導向的區塊鏈,Stellar 從創立起就瞄準現實世界金融應用,跨境支付、資產代幣化、金融工具訪問權限是核心,最近推出的 Soroban 智能合約平台延續這一務實路線,已見 DeFi 應用。

重點整理

重點
  • 1

    Stellar 的市場差異位置 — 不同於純技術導向的區塊鏈,Stellar 從創立起就瞄準現實世界金融應用,跨境支付、資產代幣化、金融工具訪問權限是核心,最近推出的 Soroban 智能合約平台延續這一務實路線,已見 DeFi 應用。

  • 2

    多層次安全架構理念 — 安全不是單一環節問題,而是從協議設計(預設禁止重入攻擊)、開發工具層(單元測試、集成測試、模糊測試內建於 SDK)、到生態基礎設施層(形式化驗證工具如 Cur Prover、Scout)逐層防護,再加上人力資源的審計專家介入。

  • 3

    「審計橋」的風險分擔機制 — 認知到資金受限的小團隊無法負擔完整審計成本,Stellar 基金會主動資助並媒合審計員,讓開發者帶著已審計的合約上線,這直接降低生態安全風險。

  • 4

    監管機遇與新用戶風險悖論 — 2025 年監管壁壘降低是行業發展機遇,但隨之而來的經驗不足的新用戶群體帶來安全隱患,預防駕於事後補救成為關鍵,教育與支持不可或缺。

實用技巧與重點

乾貨
  • Stellar 核心身份:L1 區塊鏈,自 2015 年運作至今
  • 主要應用領域:跨境支付、現實世界資產代幣化、金融工具
  • 新平台:Soroban 智能合約平台(今年推出)
  • 成功案例:Decaf 錢包在拉丁美洲農村社區運營,提供美元支付、金融教育、人群賦能
  • 協議層防護:默認禁止重入攻擊
  • 開發工具內建:單元測試、集成測試、Fork 測試、模糊測試
  • 高級測試基礎設施:Cur Prover(形式化方法)、Scout(形式化工具)
  • 審計計劃:「審計橋」——基金會贊助審計員服務小團隊
  • 支持峰會動機:匯聚全球頂尖安全專家,應對 DeFi 安全現狀惡劣(頻繁漏洞與黑客)

結論

結論

通過從協議、開發工具到審計支持的多層次防護,再加上對新用戶教育的重視,Stellar 試圖建立一個「安全優先」的區塊鏈生態,以滿足新一代用戶對信任的需求。

完整解析

詳細

Stellar 首席產品官在 DeFi 安全峰會上介紹,Stellar 是一個自 2015 年以來持續運營的 L1 區塊鏈,其核心價值定位並非追逐技術前沿,而是關注現實世界的金融應用與普惠。該網絡最初著眼於跨境支付場景,已擴展至資產代幣化、金融工具訪問權限等領域。今年推出的 Soroban 智能合約平台更進一步,已在 DeFi 生態中實踐應用。值得注意的是,Stellar 獨特之處在於已擁有連接傳統金融系統的入出口網路,使傳統金融與 DeFi 交匯成為可能。

在安全策略層面,講者強調安全是多維度問題,需要分層防護。首先,協議層設計上 Soroban 預設禁止重入攻擊,直接消除了智能合約的古典漏洞。其次,開發者工具鏈整合了單元測試、集成測試、Fork 測試、模糊測試等能力,鼓勵開發者從早期即寫測試。此外,生態層提供 Cur Prover、Scout 等形式化驗證工具供高級開發者使用。但講者坦言,最終還是需要安全審計專家的人力介入。為此,Stellar 基金會設立了「審計橋」計劃,主動資助並媒合審計員與資金受限的小團隊合作,讓開發者能帶著經過審計的項目安心上線。

關於支持 DSS 峰會的動機,講者指出當前 DeFi 安全狀況不佳,頻繁的漏洞與黑客攻擊嚴重損害用戶信心,要贏得信任必須先把行業頂尖安全人才聚集起來共同探討對策。而在 2025 年的展望上,他看到監管壁壘降低帶來發展機遇,但隱憂在於大量經驗不足的新用戶湧入,若他們在生態中體驗不佳就難以留存,對加密生態長期發展有害。因此,預防遠優於事後補救,教育與支持新用戶同樣重要。

關鍵時刻

Pipeline v2

帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。

事實查核

Pipeline v2

說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。

更多「Web3 安全」的內容

IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️
8 min
Web3 安全英文8月14日

IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️

Zach Humphries

  • 機構支撐的積極意義:價格操縱常被視為負面,但Ripple掌握大量XRP供應與escrow,在熊市期間提高價格下限,實際上替零售投資者鎖定了低風險的積累區間,這不是剝削而是市場穩定機制。
  • 歷史模式驗證:2024年7月至11月XRP在50美分附近橫盤整理,低點觸及42美分(wick),高點65美分;隨後11月5日至12月5日單月上漲456%,年底到2025年初累計漲幅534%,這個歷史周期正在1美元價位重演。
  • 比特幣聯動邏輯:講者在4-5月就預測「如果比特幣跌至60k以下,XRP會跌至1美元或更低」,此預測精準應驗,反映出熊市中兩者的明確連動關係。
Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady
72 min
Web3 安全英文PODCAST8月5日

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

Zero Knowledge

  • 反向 Linux 架構:Commonware 刻意暴露棧各層級控制,讓開發者自訂執行環境、共識機制、密碼學實現,而非像 Cosmos SDK 只允許應用層以上定制。2-3 個月能組裝一條定製鏈,代價是額外深度但回報是長期維護成本降低及效能優化彈性。
  • 容錯假設的典範轉移:Alpine Glow(Solana 2025)實現單輪投票定終的關鍵是將容錯預算分離為獨立的 Byzantine 和 Crash 容限。傳統系統把 33% 當一個整體預算;新模型允許 20% 惡意加 20% 崩潰,打破了 PBFT 理論界線,釋放單輪設計空間。
  • Minimet 與 Multimet 的遞進:Minimet 是 5F+1 設定下的乾淨構造,實現更短視圖延遲;Multimet(剛發布)進一步允許並行 mini-commits 且驗證者可推翻領導者審查,使用者交易在全球分布式網路達到 200-300 毫秒端到端定終。
Private Information Retrieval (PIR) with Alex Hoover
64 min
Web3 安全英文PODCAST7月29日

Private Information Retrieval (PIR) with Alex Hoover

Zero Knowledge

  • PIR 保護的是訪問模式,不是資料本身
  • PIR 與加密不同,它關注的是隱藏「客戶端查詢了什麼」,而非「資料是否加密」。在公開資料庫(如區塊鏈)上,客戶端可以在不洩露查詢對象給伺服器的情況下檢索特定條目,解決了輕量級客戶端的隱私和防審查問題。
  • 客戶端預處理方案是突破瓶頸的關鍵