Avec NockVM, nous construisons la première machine virtuelle basée sur des combinateurs, spécialement conçue pour la preuve à divulgation nulle de connaissance.