I think there might be an issue with the vesting example.

[zootechdrum]

What Git revision are you using?

2.39.5

What operating system are you using, and which version?

• [ ] Linux / Ubuntu
• [ ] Linux / Other
• [x ] macOS M1 Pro
• [ ] Windows

Describe what the problem is?

I think there might be an issue with the vesting example. When I copy and paste the code on the first example and i run the command aiken check I get an error in the terminal stating that Blake2b_224 is an unknown module. I could be wrong, but I believe the modules should now be imported from crypto such as

use aiken/crypto.{Blake2b_224, Hash}
use aiken/crypto.{VerificationKey}

What should be the expected behavior?

I expected these modules to be imported without any issue.

Vesting example can be found here. https://aiken-lang.org/example--vesting