新聞 
幣種資訊 
關於我們 
微軟($MSFT)公開零知識虛擬機（zkVM）Magnetar，可驗證一般程式的執行結果。研究團隊表示，在 15 項測試工作中，Magnetar 的證明吞吐量高於既有對照系統。
微軟研究院（Microsoft Research）於 10 月 15 日公布，Magnetar 在筆記型電腦上每秒可為 720 萬至 870 萬條處理器指令產生證明。在 15 項測試工作中，同一台裝置的平均吞吐量比既有系統高 10 至 39 倍；驗證證明約需 12 毫秒。論文摘要列出的各對照系統幾何平均速度提升幅度，分別為 SP1 Hypercube 的約 39 倍、Jolt-Dory 的約 18 倍，以及 Jolt-Akita 的約 9.6 倍。這些結果僅適用於研究團隊選定的工作、對照系統與測試環境。
零知識證明可讓驗證者不必重新執行程式，就能確認結果是否來自指定計算。視證明內容而定，也能在不公開輸入資料的情況下完成驗證。在區塊鏈應用中，這項技術可用來證明鏈外計算的正確性，讓驗證者確認結果。
Magnetar 可為以處理器指令集 RISC-V 編譯的程式執行過程產生證明。開發者可將以 Rust、Go 或 C 撰寫的程式編譯後使用。研究團隊表示，測試工作也包含由小型以太坊虛擬機（EVM）直譯器處理的代幣轉帳。
微軟研究院表示，這套設計可將長時間計算拆分成多個部分，分別產生證明後再合併，並應用於帳本或區塊鏈等長時間運作的系統。不過，此次測試沒有測量完整商用 Rollup 的營運成本或用戶手續費，因此不能將研究團隊報告的吞吐量直接解讀為特定網路的成本降幅。
Magnetar 的安全設計採用 SHA-256、SHA-3 等標準雜湊函數。微軟研究院將其不依賴橢圓曲線、格密碼或可信設定列為抗量子設計特點。論文摘要記錄，測試環境中的證明大小約為 600KiB，驗證時間為 11 至 13 毫秒。這些是研究團隊對設計與測試結果的說明，並不代表已在實際部署環境完成評估。
Magnetar 的效能與安全特性，是在研究團隊選定的工作和測試環境中測得。公開測試包含小型 EVM 直譯器工作，但尚未公布整合至商用區塊鏈的結果或實際成本測量。
留言 0