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.