En última instancia, nuestra sociedad necesita que toda su pila digital esté asegurada.

Esto significa que necesitaremos un sistema que sea eficiente y general.

Actualmente, no está claro cómo obtener ambos.

Hay circuitos DSL (por ejemplo, Noir, $Leo) optimizados para casos de uso específicos; estos son altamente eficientes pero no generales.

Hay ZKVMs de gran ISA (por ejemplo, SP1, Jolt) que son generales pero no tan eficientes.

Usando Nock, creemos que hemos descubierto un diseño de ZKVM novedoso que desbloquea un equilibrio de eficiencia y generalidad de nivel civilizatorio.

Y si estamos en lo cierto, vamos a construir una pila de computación verticalmente integrada alrededor de Nock. Computación verificable pesada fuera de la cadena, asentada en la cadena.

Todavía no estamos allí, pero no se equivoquen: vamos por la yugular.