package hu.bmeta.cctf

fun main() {
    val address = listOf("1530452586","1880905349","1172110512","1070303071","1455349188")
    val message = listOf("104","116","116","112","115","58","47","47","119","119","119","46","121","111","117","116","117","98","101","46","99","111","109","47","119","97","116","99","104","63","118","61","100","81","119","52","119","57","87","103","88","99","81","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0")
    Zokrates.initZokrates()
    Zokrates.compile("hash.zok","hash")
    val hashArgs = mutableListOf<String>()
    hashArgs.addAll(address)
    hashArgs.addAll(message)
    val result = Zokrates.computeWithness(hashArgs,"hash")
    println(result)

    val zkpArgs = mutableListOf<String>()
    zkpArgs.addAll(result)
    zkpArgs.addAll(address)
    zkpArgs.addAll(message)

    Zokrates.compile("root.zok")
    val results2 = Zokrates.computeWithness(zkpArgs)
    println(results2)

    Zokrates.generateProof(scheme = Zokrates.ProvingScheme.GM17)
    Zokrates.verify()

}