From 16b6a4a4b9c4c81cb5ebb5a8186335a3e95e9ca5 Mon Sep 17 00:00:00 2001
From: Sarah Jamie Lewis <sarah@openprivacy.ca>
Date: Sun, 15 Aug 2021 14:38:21 -0700
Subject: [PATCH] clarification on bounds of inputs

---
 src/lib.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/lib.rs b/src/lib.rs
index 6244930..c02c20f 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -232,6 +232,10 @@ mod tests {
         let mut solver = Solver::new(s, t);
         for i in 0..10 {
             // These are the indexes which are to be random...you can try swapping them around..
+            // REMEMBER: the number of true hash needs to be AT LEAST `t+1` AND the number of fake hashes
+            // must be AT-MOST `s`.
+            // If |random hashes| > s this this procedure will *not* work
+            // There is an extended algorithm for extract assuming |true hashes| > t though - we do not implement it.
             if i != 2 && i != 5 && i != 8 {
                 let x0: u64 = rng.gen_range(0..PRIME_ORDER);
                 let hash = dhf.hash(PrimeOrderDomain::new(x0));