ZKM 特輯 @ProjectZKM 發佈了 zkMIPS 1.0，這是其基於 MIPS 的虛擬機的第一個完全生產就緒版本，專為高性能可驗證計算而設計： 這是自專案開始以來最重大的升級，由於進行了全面的技術改革，性能比0.3.0版本提高了6到19倍。 升級的一些關鍵方面包括： • 該架構從 MIPS2 升級到 MIPS32r2，能夠訪問更廣泛的指令集，並解鎖編譯器級優化和更小的程式大小。 • zkMIPS 現在在 Plonky3 後端（使用 FRI 協定的現代 STARK 系統）上運行，並受益於向 31 位 KoalaBear 素數位段的轉變，提供比以前的 64 位金髮姑娘設置更快的算術。 • Merkle 樹已被多集哈希取代，以實現記憶體一致性，從而減少見證大小並支援並行驗證。基於模組化晶元的電路架構最大限度地減少了約束區域，並且 Keccak 和現場算術等熱路徑作已卸載到預編譯中，以降低驗證成本。 該系統已經集成到 ZKM Proof Network 中，並作為 @ethereumfndn @eth_proofs 計劃的一部分，用於實時驗證 @ethereum 主網區塊。它還與 @GOATRollup 一起投入生產， 是基於 BitVM2 構建的比特幣 L2。 反應 多家媒體立即報導了這一消息，@Utoday_en 發佈了一個獨家專題，介紹了該專案與其他 zkVM 的不同之處： 文章對 ZKM 團隊及其卓越的工程質量給予了總體好評，並強調選擇 MIPS32r2 而不是 RISC-V 具有架構優勢：程式更短、約束更少、與 ZK 電路的匹配更好。 此次發佈還收到了 Ethproofs、@a16zcrypto 和 House of ZK 自己的 @0x1164 的評論： ZKM 宣佈公開討論 zkMIPS 1.0 版本，該專案的 CTO @sd_eigen 討論了優化、基準測試結果、系統架構和未來開發計劃。 該活動將於 5 月 12 日中午 12 點 UTC 舉行： 工程洞察 在最近的一篇文章中，該項目解釋了為什麼在開發其 zkMIPS 虛擬機時，該團隊選擇了 MIPS32r2 架構而不是 RISC-V——儘管後者是大多數現代 zkVM 的默認選擇。 這篇文章指出，這個決定不是為了與眾不同，而是為了為可擴展的可驗證計算選擇最有效的基礎。 主要原因之一是MIPS32r2的指令密度較高。使用MOVZ、MOVN和 MADDU 等作，可以用更少的步驟來表示複雜的邏輯，從而減少執行跟蹤長度。相比之下，RISC-V 上的相同logic通常需要更多的指令，從而增加了證明負擔。 另一個因素是 MIPS 生態系統的成熟度和穩定性。憑藉數十年的使用和固定的規格，MIPS 經過了充分的測試——甚至用於關鍵系統，如 Optimism 的防欺詐 VM。RISC-V 雖然發展迅速，但仍然在不斷發展和碎片化。 完整的文章可以在這裡找到：