no-std mc-oblivious-map

Implementation of Oblivious Hash Map data structures on top of Oblivious RAM

4 stable releases

2.3.0 Mar 25, 2023
2.2.0 Mar 12, 2022
2.0.0 Apr 17, 2021
1.0.0 Mar 9, 2021

#486 in Cryptography

Download history 21/week @ 2024-06-15 4/week @ 2024-06-22 1/week @ 2024-06-29 49/week @ 2024-07-06 59/week @ 2024-07-13 33/week @ 2024-07-20 113/week @ 2024-07-27 1/week @ 2024-08-03 95/week @ 2024-08-31 59/week @ 2024-09-07 8/week @ 2024-09-14 218/week @ 2024-09-21 65/week @ 2024-09-28

352 downloads per month

GPL-3.0 license

155KB
2.5K SLoC

mc-oblivious-map

This crate provides an implementation of an oblivious hashmap on top of oblivious RAM, meeting the requirements in the trait described in mc-oblivious-traits.

In crate right now:

  • An implementation of Cuckoo hashing with buckets, using Oblivious RAM as the cuckoo hashing arena. See wikipedia for background. This is close to or the same as CUCKOO-DISJOINT algorithm described by this paper, except for the use of Oblivious RAM. The access-or-insert method is novel in this work, see code comments for discussion.

For more background, see also "power of two choices" hashing (ABKU99, Mitzenmacher). And wikipedia for additional background. This is conceptually an ancestor of cuckoo hashing. The main reason to use this, or cuckoo hashing, in our context, is that it guarantees that reads make exactly two accesses to the table, which makes the constant-time property easy to verify. Cuckoo hashing achieves good memory utilization, better than "power of two choices", which is what we tried first.

Dependencies

~440KB