From 4bff4f743a67e8813df3a5cbd6c7996fb8bf2396 Mon Sep 17 00:00:00 2001
From: Michael Hamburg <mike@shiftleft.org>
Date: Mon, 20 Jul 2015 17:53:26 -0700
Subject: [PATCH] add a FIXME; also big perf regr in verify for some reason

---
 src/public_include/decaf/crypto.hxx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/public_include/decaf/crypto.hxx b/src/public_include/decaf/crypto.hxx
index 2db2323..ceb1db9 100644
--- a/src/public_include/decaf/crypto.hxx
+++ b/src/public_include/decaf/crypto.hxx
@@ -65,7 +65,7 @@ public:
         return typename Group::Point(ser);
     }
     
-    /** @brief Verify a sig.  TODO: nothrow version? */
+    /** @brief Verify a sig.  TODO: nothrow version? FIXME: doesn't check reduction of scalar! */
     inline void verify_shake(const SHAKE<SHAKE_BITS> &ctx_, const FixedBlock<SIG_BYTES> &sig) throw(CryptoException) {
         SHAKE<SHAKE_BITS> ctx(ctx_);
         ctx << ser << sig.slice(0,Group::Point::SER_BYTES);