No final, nossa sociedade precisa que toda a sua pilha digital esteja protegida.

Isso significa que precisamos de um sistema que seja eficiente e geral.

Atualmente, não está claro como conseguir ambos.

Existem Circuitos DSL (por exemplo, Noir, $Leo) otimizados para casos de uso específicos; estes são altamente eficientes, mas não gerais.

Existem ZKVMs big-ISA (por exemplo, SP1, Jolt) que são gerais, mas não tão eficientes.

Usando o Nock, acreditamos que descobrimos um design ZKVM inovador que desbloqueia um equilíbrio de eficiência e generalidade em nível de civilização.

E se estivermos certos, vamos construir uma pilha de computação verticalmente integrada em torno do Nock. Computação verificável pesada fora da cadeia, resolvida na cadeia.

Ainda não chegamos lá, mas não se engane: Estamos indo direto ao alvo.