k = 11;
field = "pallas";

constant "EcMulBase" {
	EcFixedPointBase NULLIFIER_K,
}

witness "EcMulBase" {
    Base secret,
}

circuit "EcMulBase" {
    public = ec_mul_base(secret, NULLIFIER_K);
    #constrain_instance(ec_get_x(public));
    #constrain_instance(ec_get_y(public));
}
