Con NockVM, estamos construyendo la primera máquina virtual basada en combinador personalizada para la prueba de conocimiento cero.