С NockVM мы создаем первую виртуальную машину на основе комбинаторов, специально разработанную для доказательства с нулевым разглашением.