From 0acdd9db4a87dfce2957390e01c245adcc705c57 Mon Sep 17 00:00:00 2001
From: Chris Duncan <chris@zoso.dev>
Date: Thu, 27 Aug 2026 16:53:29 -0700
Subject: [PATCH] Stage cofactorless strict verification for later when test
 vectors are available.

---
 src/assembly/crypto_verify.ts | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/assembly/crypto_verify.ts b/src/assembly/crypto_verify.ts
index da31e18..df797a3 100644
--- 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
 }
-- 
2.52.0