以開放與可驗證技術建立安全:從防禦性加速到本機 AI
The Open Secure and Verifiable Half to a Brighter Future
場次摘要
AI 快速發展,既帶來研究與生產力機會,也提高軟體漏洞遭利用、監控與資訊操弄的風險。講者以遊戲資料片比喻這波變化:能力升級讓舊難題更容易解決,卻也帶來更強的新威脅。他主張推動防禦性、去中心化加速,強化實體、網路、資訊與生物安全,並為防禦措施保留建置時間。 安全不應依靠少數組織獨占工具,而應透過開源、以數學檢查安全性的形式化驗證、密碼學證明,以及減少信任依賴來建立。講者將這些原則延伸至作業系統、硬體、健康資料、社群、通訊與 AI,強調使用者選擇權及隱私。他介紹以加密技術保護空氣資料的研究試行計畫,並建議優先使用本機 AI;若需遠端模型,則探索限制權限、移除私人資訊等方法,相關工作仍待投入。
值得記下的 5 件事
- [5:57]
防禦性加速要提升共同保護能力,而非讓少數組織獨占工具
面對更強大的技術,講者主張積極改善實體、網路、資訊與生物等領域的安全,從事後嚇阻轉向事前預防。他也認為,最先進 AI 模型的發展必須留出建置防禦措施的時間,不能只追求能力成長而忽略準備。
- [10:28]
健康資料研究應兼顧公共用途與個人隱私
一項試行計畫正嘗試以全同態加密處理空氣資料,目標是在保護個人隱私的前提下進行去中心化科學研究。講者指出,個人健康資料仍需要更多專案投入,多數智慧健身裝置的設計也未以個人自主與隱私為核心。
- [12:18]
去中心化社群應讓使用者真正有權選擇,也能另建社群
講者不反對社群擁有自身立場,但主張參與者必須有實質選擇,不滿意時能集體組織新社群。改善方向包括提升互通性、讓使用者控制看到的內容並參與內容審核,以及降低另建社群所需的基礎設施門檻。
- [14:10]
安全通訊不只要保護訊息內容,也要保護通聯關係
講者主張通訊工具應開源、安全、經形式化驗證並採用端對端加密,也讓使用者控制資料儲存方式。隱私保護還須涵蓋誰在何時與誰聯絡等中繼資料;內容加密本身,並不等於這些通聯資訊也受到保護。
- [14:59]
AI 應優先在本機使用,遠端模型則應限制權限與私人資料外流
需要遠端先進模型時,可探索用沙盒隔離來限制權限,或先由本機模型改寫請求、移除私人資訊,再檢查回傳結果是否符合使用者利益。這些仍是需要投入的方向,目標是兼顧強大 AI 的能力與本機 AI 的安全、隱私。
更多來自 DEVCON 8
Arrow 的硬體 DAO 實驗:AI 協作、在地製造與責任分工
A DAO Shipped an Aircraft: What It Takes to Coordinate Atoms with Tokens
Thomas Garrison
Kohaku:以 SDK 將隱私與安全功能帶入以太坊錢包
Kohaku : privacy for everyone, by default
Nico、Vitalik
私有狀態與公開網路:區塊鏈隱私的去中心化取捨
Private State, Public Network: The Tradeoffs Behind Privacy
Zachary Williamson