Dengan NockVM, kami membangun Mesin Virtual berbasis kombinator pertama yang dibuat khusus untuk pembuktian Zero-Knowledge.