Met NockVM bouwen we de eerste op combinatoren gebaseerde Virtuele Machine, speciaal ontworpen voor Zero-Knowledge bewijsvoering.