feat(159): `HashMap<usize, _>` -> `Vec<Option<_>>`

snarkify / sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

MIT License

119 stars 17 forks source link

feat(159): `HashMap<usize, _>` -> `Vec<Option<_>>` #218

Closed cyphersnake closed 6 months ago

cyphersnake commented 6 months ago

Motivation The degree is small, so HashMap is redundant here Part of #159

Overview Simple enough migration. Also corrected an error in subtraction with this implementation. It is possible to use vec_option crate to optimise storage of discriminators, but I will try to use it when there is a benchmark