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

k = 11;
field = "pallas";

constant "ConstrainInstance" {}

witness "ConstrainInstance" {
    Base a,
}

circuit "ConstrainInstance" {
    constrain_instance(a);
}