After the https://github.com/0xMiden/miden-base/pull/2158 will be merged, we should address the remaining issues: - [x] Remove the SMT_PEEK_EVENT from asset vault: https://github.com/0xMiden/miden-base/issues/2115. - [x] Change `hperm` and `hmerge` to `rpo256::permute` and `rpo256::merge` everywhere. - [x] Rename `RpoFalcon512` to `Falcon512Rpo` everywhere. - [ ] Figure out if we can still search for procedures by name in account components: https://github.com/0xMiden/miden-base/issues/2185 - [x] Export/import constants directly (instead of having wrapper functions): https://github.com/0xMiden/miden-base/issues/2168 _Originally posted by @bobbinth in https://github.com/0xMiden/miden-base/pull/2158#pullrequestreview-3580433632_