在最終分析,我們的社會需要整個數位堆疊的安全。
這意味著我們需要一個既高效又通用的系統。
目前,如何達到這兩個目標還不清楚。
有些 DSL 電路(例如 Noir、$Leo)是針對特定用例優化的;這些非常高效但不通用。
還有大型 ISA ZKVM(例如 SP1、Jolt),這些是通用但效率不高的。
使用 Nock,我們認為我們已經發現了一種新穎的 ZKVM 設計,可以實現高效率和通用性的平衡。
如果我們是正確的,我們將在 Nock 周圍建立一個垂直整合的計算堆疊。驗證的重量級計算離線,在線上結算。
我們還沒有達到這個目標,但不要錯誤地認為:我們正在瞄準核心。