Ultimately, our society needs its entire digital stack secured.

This means we'll need a system that is both efficient and general.

Currently, it's not clear how to get both.

There are DSL Circuits (e.g., Noir, $Leo) optimized for specific use cases; these are highly efficient but not general.

There are big-ISA ZKVMs (e.g., SP1, Jolt) which are general but not so efficient.

Using Nock, we think we've discovered a novel ZKVM design that unlocks a civilization-grade balance of efficiency and generality.

And if we're right, we're going to build a vertically integrated computing stack around Nock. Verifiable heavyweight compute off-chain, settled on-chain.

We're not there yet, but make no mistake: We're going for the jugular.