From de3249dcfcff5c628f77da3c3d1e65f5fe8b0d7f Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Wed, 11 Mar 2026 01:59:19 -0300
Subject: todos

---
 lib/merkle.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'lib/merkle.ml')

diff --git a/lib/merkle.ml b/lib/merkle.ml
index e3f68d9..ffa7171 100644
--- a/lib/merkle.ml
+++ b/lib/merkle.ml
@@ -54,6 +54,12 @@ module HashSet : S = struct
   let member hash tree = StringSet.mem hash tree
 
   let keys tree = StringSet.elements tree
+  (* TODO: Streaming/pagination for large tuple sets. Currently materializes
+     entire keyset into memory, which fails for relations with billions of tuples.
+     Replace with paginated access (keys_paginated offset limit) or lazy generator
+     to avoid loading all hashes upfront. Consider replacing HashSet with proper
+     radix-merkle tree (plebeia) for native lazy traversal. *)
+
 
   let root_hash tree =
     if StringSet.is_empty tree then
-- 
cgit v1.2.3