在最終分析，我們的社會需要整個數位堆疊的安全。

這意味著我們需要一個既高效又通用的系統。

目前，如何達到這兩個目標還不清楚。

有些 DSL 電路（例如 Noir、$Leo）是針對特定用例優化的；這些非常高效但不通用。

還有大型 ISA ZKVM（例如 SP1、Jolt），這些是通用但效率不高的。

使用 Nock，我們認為我們已經發現了一種新穎的 ZKVM 設計，可以實現高效率和通用性的平衡。

如果我們是正確的，我們將在 Nock 周圍建立一個垂直整合的計算堆疊。驗證的重量級計算離線，在線上結算。

我們還沒有達到這個目標，但不要錯誤地認為：我們正在瞄準核心。