我們正在基於 @ziskvm 系統構建一個基於圖形的 zkVM。 我們的目標：從基本原則重新思考證明者架構，以解鎖更好的性能、可攜性和安全性。 🧵

ZKP 證明正進入一個「速度優先」的時代。幾乎每個證明者現在都支持 GPU 加速（CUDA、Metal 等）。 但硬體卸載背後的架構同樣重要，與原始硬體一樣。

目前有兩種主要的方法： - HAL 模式：相同的函數調用，不同的硬體後端。 - 圖形模式：將整個證明過程編碼為計算圖，然後針對每個平台進行優化和編譯。

分歧很明顯： - AI 系統 → 圖形模式 - 大多數 ZKP 證明者 → HAL 模式（出於歷史和 CPU 優先的原因） HAL 雖然方便，但隱藏了計算的全局結構。

圖形模式使整個證明者變得明確且可檢查，從而實現更深層的優化、跨平台執行以及更強的安全性和可審計性。 在即將發佈的文章中，我們將分享這一設計如何塑造我們基於圖形的 zkVM 以及它所解鎖的功能。⚡️