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

k = 11;
field = "pallas";

constant "RangeCheck" {}

witness "RangeCheck" {
    Base a,
}

circuit "RangeCheck" {
    range_check(64, a);
}