微軟 Magnetar 研究提升區塊鏈證明效率

微軟研究的 Magnetar 系統利用標準的基於哈希的密碼學加速程式執行的證明。該系統於 10 月 15 日宣布，旨在解決生成零知識證明的高成本，這些證明在不信任執行機器的情況下驗證計算。該系統支持從 Rust、Go 和 C 編譯的代碼，速度比一些現有的證明系統快 10 到 39 倍。根據微軟的測試，驗證大約需要 12 毫秒。Magnetar 的設計基於標準哈希函數，旨在最小化對可能受到未來量子攻擊影響的密碼學的依賴。降低的證明成本可能促進可驗證的鏈外計算和區塊鏈環境中的複雜應用邏輯。然而，基準結果並不保證在生產 rollups 或所有智能合約工作負載中會有類似的改進，因為集成、硬體條件和證明大小是關鍵因素。此外，該技術可能使機構和 AI 代理能夠生成可驗證的證據，證明軟體符合特定指令，同時保護私密數據。研究表明，未來的潛力在於將密碼學證明與更常規的計算任務聯繫起來，這取決於在實驗室環境之外成功實施的情況。