Module mc_oblivious_traits::testing

Some generic tests that exercise objects implementing these traits

Functions

exercise_omap

Exercise an OMAP by writing, reading, accessing, and removing a progressively larger set of random locations

exercise_omap_counter_table

Exercise an OMAP used as an oblivious counter table via the access_and_insert operation

exercise_oram

Exercise an ORAM by writing, reading, and rewriting, a progressively larger set of random locations

exercise_oram_consecutive

Exercise an ORAM by writing, reading, and rewriting, all locations consecutively

test_omap_overflow

Take an empty omap and add items consecutively to it until it overflows. Then test that on overflow we have rollback semantics, and we can still find all of the items that we added.