Con NockVM, estamos construyendo la primera Máquina Virtual basada en combinadores, diseñada específicamente para la prueba de Conocimiento Cero.