An ACL2 library for the AleoVM.
AleoVM is the virtual machine of the Aleo blockchain. AleoVM is implemented in snarkVM.
AleoVM features an assembly-like language used for both off-chain and on-chain execution. The off-chain execution results in a zero-knowledge proof that is verified on chain; the on-chain execution happens after the proof is verified, via a `futures' mechanism.