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

k = 11;
field = "pallas";

constant "ConstrainEqualBase" {}

witness "ConstrainEqualBase" {
    Base a,
    Base b,
}

circuit "ConstrainEqualBase" {
    constrain_equal_base(a, b);
}