Stage cofactorless strict verification for later when test vectors are available.

diff --git a/src/assembly/crypto_verify.ts b/src/assembly/crypto_verify.ts
index da31e180745fe371370c0c930d0389a8f7ee0a3e..df797a329a8abf0076cbb706f366ee0449da4725 100644 (file)
--- a/src/assembly/crypto_verify.ts
+++ b/src/assembly/crypto_verify.ts
@@ -107,4 +107,7 @@ export function crypto_verify_strict (s: StaticArray<u8>, M: StaticArray<u8>, ml
        ge_sub_p3(check, expected_r, sb_ah)
 
        return ge_has_small_order(check) - 1
+
+       // if (ge_has_small_order(check) == 0) return -1
+       // return equalbytes(s, check_r) - 1
 }