rootProject.name = "hu.bme.zokrates_prover"