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

k = 11;
field = "pallas";

constant "ConstrainEqualPoint" {}

witness "ConstrainEqualPoint" {
    EcPoint a,
    EcPoint b,
}

circuit "ConstrainEqualPoint" {
    constrain_equal_point(a, b);
}