¿Por qué construimos una pila completa optimizada para ZK en Nock? En un episodio reciente del podcast @epicenterbtc, @loganzorp explica: 1. Es mínimo con muy pocas instrucciones, pero completo de Turing. 2. Se basa en una única estructura de datos: el árbol binario.