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

k = 11;
field = "pallas";

constant "EcGetX" {}

witness "EcGetX" {
    EcPoint a,
}

circuit "EcGetX" {
    a_x = ec_get_x(a);
    #constrain_instance(a_x);
}