Could possibly be a HashMap. Ideally it would be a tree, but this is too heavy for the zkvm. Requirements: - intuitive API - efficient in zkvm - low bandwidth on api _Originally posted by @distractedm1nd in https://github.com/deltadevsde/prism/pull/180#discussion_r1889936586_