Add HashMap collection

[NikitaMasych]

Problem

It is an essential attribute of each language to have an opportunity to utilize hash table for distinct purposes. Furthermore, it would be a valuable asset to have in ZK environment, considering integration boost with other protocols due to increased feasibility to implement state tries - latter as graphs, may be stored and operated efficiently in hash table form internally.

Happy Case

Basic trait declaring the set of essential operations may look the following way:

trait Map<K, V> {
    fn len(self) -> u64;
    fn get(self, key: K) -> Option<V>;
    fn insert(&mut self, key: K, value: V);
    fn remove(&mut self, key: K);
}

Alternatives Considered

No response

Additional Context

Since Noir is heavily inspired by Rust, in this contribution one port distinct hash-related traits, such as BuildHasher, Hasher and Hash to add flexibility in HashMap implementation.

Would you like to submit a PR for this Issue?

Yes

Support Needs

No response