snarkVM
snarkVM copied to clipboard
Check subgroup membership in `from_coordinates` for `SW` and `TE`
I think we should also check subgroup membership here (and also in the TE case). If we know for certain that something is in the subgroup, then we should add a from_coordinates_unchecked method that omits the subgroup check.
Originally posted by @Pratyush in https://github.com/AleoHQ/snarkVM/issues/959#issuecomment-1215388751