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

k = 11;
field = "pallas";

constant "WitnessBase" {}

witness "WitnessBase" {
}

circuit "WitnessBase" {
    two = witness_base(2);
    #constrain_instance(two);
}