Com o NockVM, estamos construindo a primeira máquina virtual baseada em combinador personalizada para comprovação de conhecimento zero.