darkfi/script/research/zkvm-metering/generator/proof/debug.zk

k = 11;
field = "pallas";

constant "Debug" {}

witness "Debug" {
    Base a,
}

circuit "Debug" {
    debug(a);
}