作者：Kiwibig.eth，來源：作者推特@KiwiCryptoBig
恭喜ZKM
1）翻了一下紀錄，最早是在去年三月，深度熊市的時候聊過這個計畫。
當時，團隊還在打磨整個產品， zkmips 的概念跟現在好像完全不一樣。
2）技術困難：當時ZKM 就在用zkMIPS ，建構通⽤的zkp 系統，是一種使用MIPS 指令集作為ZK rollup 的程式語言的方法。
MIPS架構20多年前由史丹佛大學開發，是一種簡潔、優化、具有高度擴展性的RISC架構。特點是：包含大量的暫存器、指令數和字元、可視的管道延時時隙，這些特性使MIPS架構能夠提供最高的每平方毫米效能和當今SoC設計中最低的能耗。
這些特性，其實是非常適合去寫ZK 指令的，但問題也是開發元件、工具包少，是相對很難建構的專案。
3）因此，當時我個人的判斷，做這麼底層的項目，應該需要很長的周期，在熊市是典型的勝率中等，賠率極好的項目。
關於ZKM 現在的故事
1）重新讀了白皮書，ZKM的格局又拉開了：
ZKM的使命是透過建構一個通用的零知識虛擬機（zkVM），在不犧牲安全性和去中心化的前提下，允許不同區塊鏈（甚至非區塊鏈系統）之間的狀態變更通信，從而顯著增強和整合去中心化互聯網，最終實現區塊鏈系統與非區塊鏈系統的整合。
2）技術細節
zkMIPS 提供一種高效、安全的方式，以零知識證明形式，驗證MIPS 架構下計算的正確性。
– MIPS 架構：zkMIPS 專為MIPS 處理器設計，以其簡潔的指令集和高效的效能而聞名，廣泛應用於嵌入式系統和物聯網裝置。 zkMIPS 利用MIPS 的固定指令集優勢，使得零知識證明的產生與驗證更有效率。
– 零知識證明：zkMIPS 利用了Algebraic Intermediate Representation (AIR) 和Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI) 等技術。 AIR 負責將MIPS 計算轉換為多項式，而FRI 則是一種用於驗證多項式近似低度的技術，這兩者結合使得zkMIPS 能夠高效地產生和驗證零知識證明。
– 軟體系統架構：包括ELF 裝載器、MIPS 虛擬機器（VM）、證明產生器（Prover）和通訊管理器等元件，支援將程式編譯為MIPS 執行檔、執行MIPS 指令序列，並基於執行軌跡生成ZKP。
3)應用場景
zkMIPS 的應用場景廣泛，涵蓋區塊鏈、物聯網、雲端運算和機器學習等多個領域，具有顯著的安全性和隱私性優勢。
a. Layer2 解決方案：在區塊鏈中，zkMIPS 與二層解決方案結合，透過ZKP 增強交易的隱私性和擴展性。它可以加速交易處理，同時保持鏈上資料的不可篡改和透明性。
物聯網（IoT）：zkMIPS 可用於提升物聯網設備間通訊的安全性和隱私性。在IoT 裝置之間傳送敏感資料時，zkMIPS 可確保資料的完整性和保密性，避免敏感資訊外洩。
b.去中心化雲端運算：在雲端運算場景下，zkMIPS 允許使用者利用雲端資源執行運算任務，同時確保運算結果的正確性和可信任性，而不需要信任雲端服務提供者。
c.零知識機器學習（zkML）：zkMIPS 可應用於機器學習模型，使得模型使用者可以驗證模型輸出的正確性，而無需暴露用於計算的私有資料或模型細節。這對於處理敏感資料（如醫療資訊、個人隱私資料）的場景尤其重要。
落地場景: Entangled Rollups
Entangled Rollups透過在不同的Rollups之間共享資料和狀態，使得它們之間能夠進行高效率的交叉鏈通訊。
也很會迎合市場，抓住比特幣這波熱潮，Entangled Rollups 可以作為比特幣的安全跨鏈橋來使用。
1)跨鏈流動性統一：透過Entangled Rollups架構，可以實現各個區塊鏈之間的無縫連接，從而允許資產和資訊在不同的區塊鏈網路（如以太坊、Cosmos、Ton等）之間自由流動，解決了目前區塊鏈生態系統中流動性高度碎片化的問題。
2)安全的跨鏈橋接：現有的跨鏈橋接方式存在安全隱患，Entangled Rollups透過遞歸零知識證明同步不同區塊鏈的狀態，繞過傳統橋接機制，提供了更安全的使用者體驗。
3)比特幣Layer 2解決方案：Entangled Rollups為比特幣網路提供了一個Layer 2解決方案，不僅為BTC持有者和礦工提供了一種透過參與去中心化順序器節點來獲得交易手續費收入和ZKM挖礦獎勵的新方式，而且透過proof-of-stake去中心化順序器架構，實現了比特幣的可持續收益和網路安全。
4)本地安全和永續收益：Entangled Rollups透過其獨特的Optimistic Challenge Process機制和去中心化順序器，為BTC Layer 2網路提供了原生的安全性和為節點運營商、質押者和用戶提供了可持續的收益管道。
最後，也是感慨轉眼已經一年多了。
對於一個研究員來說，觀察一個一年前做出判斷的項目，是一個很好的回饋和認知閉環。
回去再看當時最原始的研究報告，發現團隊這一年真的在一點點完成當年的構想。
