Con NockVM, stiamo costruendo la prima macchina virtuale basata su combinatori, progettata su misura per la prova a conoscenza zero.