我们的社会最终需要保障其整个数字堆栈的安全。

这意味着我们需要一个既高效又通用的系统。

目前，如何同时实现这两点还不清楚。

有专门优化用于特定用例的DSL电路（例如Noir、$Leo），这些电路高效但不通用。

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

使用Nock，我们认为我们发现了一种新的ZKVM设计，可以实现高效和通用性的文明级平衡。

如果我们是正确的，我们将围绕Nock构建一个垂直集成的计算堆栈。可验证的重量级计算在链下进行，在链上结算。

我们还没有到那一步，但不要误会：我们的目标是核心。