2022-09-02 14:57:52 +00:00
|
|
|
import stint, ./common/eth_hash
|
2019-02-05 14:22:21 +00:00
|
|
|
|
|
|
|
type UInt2048 = StUint[2048]
|
|
|
|
|
2024-08-09 05:20:35 +00:00
|
|
|
iterator chunksForBloom(h: MDigest[256]): array[2, uint8] =
|
2019-02-05 14:22:21 +00:00
|
|
|
yield [h.data[0], h.data[1]]
|
|
|
|
yield [h.data[2], h.data[3]]
|
|
|
|
yield [h.data[4], h.data[5]]
|
|
|
|
|
|
|
|
proc chunkToBloomBits(chunk: array[2, uint8]): UInt2048 =
|
|
|
|
let h = chunk[0].int
|
|
|
|
let l = chunk[1].int
|
|
|
|
one(UInt2048) shl ((l + (h shl 8)) and 2047)
|
|
|
|
|
2024-08-09 05:20:35 +00:00
|
|
|
iterator bloomBits(h: MDigest[256]): UInt2048 =
|
2019-02-05 14:22:21 +00:00
|
|
|
for chunk in chunksForBloom(h):
|
|
|
|
yield chunkToBloomBits(chunk)
|
|
|
|
|
|
|
|
type BloomFilter* = object
|
|
|
|
value*: UInt2048
|
|
|
|
|
2024-08-09 05:20:35 +00:00
|
|
|
proc incl*(f: var BloomFilter, h: MDigest[256]) =
|
2019-02-05 14:22:21 +00:00
|
|
|
for bits in bloomBits(h):
|
|
|
|
f.value = f.value or bits
|
|
|
|
|
2024-08-09 05:20:35 +00:00
|
|
|
proc init*(_: type BloomFilter, h: MDigest[256]): BloomFilter =
|
2020-09-30 05:04:23 +00:00
|
|
|
result.incl(h)
|
|
|
|
|
2019-02-05 14:22:21 +00:00
|
|
|
# TODO: The following 2 procs should be one genric, but it doesn't compile. Nim bug?
|
2022-09-02 14:57:52 +00:00
|
|
|
proc incl*(f: var BloomFilter, v: string) = f.incl(keccakHash(v))
|
|
|
|
proc incl*(f: var BloomFilter, v: openArray[byte]) = f.incl(keccakHash(v))
|
2019-02-05 14:22:21 +00:00
|
|
|
|
2024-08-09 05:20:35 +00:00
|
|
|
proc contains*(f: BloomFilter, h: MDigest[256]): bool =
|
2019-02-05 14:22:21 +00:00
|
|
|
for bits in bloomBits(h):
|
|
|
|
if (f.value and bits).isZero: return false
|
|
|
|
return true
|
|
|
|
|
2021-12-20 12:14:50 +00:00
|
|
|
template contains*[T](f: BloomFilter, v: openArray[T]): bool =
|
2022-09-02 14:57:52 +00:00
|
|
|
f.contains(keccakHash(v))
|