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

k = 11;
field = "pallas";

constant "BoolCheck" {}

witness "BoolCheck" {
    Base a,
}

circuit "BoolCheck" {
    bool_check(a);
}