“… - Finds the corresponding Bloom Filter for record i that it holds , where s ′ = [1, s ]. Assuming that .
- Computes the code‐word .
- Tests if contains 1's in all r locations denoted by .
- If so, computes and checks if sum ≥ ϕ ,
- If the inequality holds, outputs 1; otherwise, uses other trapdoor values to follow steps‐ [
…”