https://devfolio.co/projects/risk-hmac-implementation-and-miden-amm-emulator-30ab