微軟研究院發表通用零知識虛擬機器 Magnetar

微軟研究院推出用於通用運算的零知識虛擬機器 Magnetar。該系統針對 RISC-V 架構進行執行證明，使以 Rust、Go 或 C 編寫的程式無須重寫為電路即可產出驗證證明。在 15 項基準測試中，Magnetar 平均證明速度比既有 zkVM 快 10 至 39 倍，且驗證證明僅需約 12 毫秒。

值得帶走的重點

• Magnetar 支援編譯至 RISC-V 的 Rust、Go 與 C 程式，平均證明生成速度比既有同級 zkVM 快 10 至 39 倍。
• 系統安全性僅依賴 SHA-256 或 SHA-3 等標準雜湊函數，無須受信任設定或橢圓曲線。