from "ecc/babyjubjubParams" import BABYJUBJUB_PARAMS;
import "ecc/edwardsOnCurve" as onCurve;

// Code to create test cases:
// https://github.com/Zokrates/pycrypto
def testOnCurveTrue() -> bool {
    field testU = 17324563846726889236817837922625232543153115346355010501047597319863650987830;
    field testV = 20022170825455209233733649024450576091402881793145646502279487074566492066831;

    assert(onCurve([testU, testV], BABYJUBJUB_PARAMS));
    return true;
}

def main() {
    assert(testOnCurveTrue()); // onCurve throws for false
    return;
}
