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

k = 11;
field = "pallas";

constant "BaseMul" {}

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

circuit "BaseMul" {
    product = base_mul(a, b);
    # constrain_instance(product)
}