微軟研究院（Microsoft Research）喺 blog 公佈咗一個叫 Magnetar 嘅系統，目標係把「零知識證明」（zero-knowledge proofs, ZKP）由實驗室概念推進到可以實際套用。呢個係佢哋超過十年研究嘅最新成果。

零知識證明嘅核心原理：程式跑完之後，除咗正常輸出，還會產生一份「證明」——一張加密證書，證明「呢個程式、呢啲輸入，產生了呢個輸出」。收到證明嘅人可以喺幾毫秒內核對，唔使重跑程式，唔使知道運行者係邊個，亦唔需要取得程序所處理嘅資料。同時因為「零知識」特性，證明不會洩露任何應該保密嘅輸入。

三大長期難題

零知識證明概念喺 1980 年代已有，但一直冇變成為通用工具，卡喺三個難題：

速度：產生證明歷史上需要比運行程式本身多達百萬倍嘅計算量。近年研究將呢個 overhead 壓低，但最快嘅系統都喺其他地方做了妥協。Magnetar 宣稱平均比此前最快嘅同類系統快 10 至 39 倍。

通用性：好多證明系統要求開發者手動將程式改寫成「加密電路」（cryptographic circuit），即一個固定嘅算術描述。呢個過程可以花幾個月，每次改動應用程式都要重寫電路，而且翻譯過程本身常出現安全漏洞。Magnetar 嘅做法係證明一般處理器嘅執行過程，令任何編譯好嘅程式都可以「照原樣」被證明。佢支援 Rust、Go 同 C 三種主流程式語言。

安全基礎：Magnetar 嘅安全性只依賴標準 hash function（雜湊函數），唔依賴未經驗證嘅新數學假設，旨在確保數十年後仍然可信。

點解呢嘢同你有關？

微軟喺公告中舉咗兩個應用場景：AI 代理（AI agent）代表用户執行動作時，可以附上證明，證明每個動作都符合預設策略；受監管嘅金融機構可以證明交易處理正確，而唔使公開交易內容。呢啲應用嘅前提係「產生證明要同運行程式一樣日常」。

模姐驗嚇貨：呢個係研究進展，唔係產品發布。微軟冇提供獨立第三方評測，冇公佈代碼開源狀態，冇交代具體哪類 workload 嘅 10–39 倍係同邊個基準系統比較。10–39 倍嘅區間亦好闊，代表不同 workload 差異大。想驗證，要等同行評審論文同獨立複製。零知識證明入波主流，真係需要時間。

模姐｜深度調教