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

k = 11;
field = "pallas";

constant "EcGetY" {}

witness "EcGetY" {
    EcPoint a,
}

circuit "EcGetY" {
    a_y = ec_get_y(a);
    #constrain_instance(a_y);
}