d0cd

The instruction number could be sufficient.

Leo attempts to query the network for the current consensus version and requests manual specification if it's unable to resolve. [link](https://github.com/ProvableHQ/leo/blob/c9614dd0bde8989c4d083181e94d4d6da13c72b0/leo/cli/commands/execute.rs#L239) Does that address this issue?

The Aleo Virtual Machine (snarkVM) allows users to seed the `ChaCha::rand` function with user-defined data. This functionality needs to be added to Leo. Note that the AVM seeds the default...

The [message](https://github.com/ProvableHQ/leo/blob/ae272a1a09822e8edb2179b189dc81ff05348443/tests/expectations/cli/test_add/STDOUT#L7) printed to the user by Leo indicates that the max program size is: 97.66 KB. However [in](https://github.com/ProvableHQ/snarkVM/blob/cf10c9df8092625b8cbc5163bc41ddf11b5992f7/console/network/src/lib.rs#L199) snarkVM it is 100KB. Leo does seem to be using the...

~snarkVM incorrectly uses the term "KB" for "kB". We can just have Leo specify "kB"~ Thinking about it a bit more, `ls -lh` shows KB/KiB. I think things are fine...

Could this be done as a generic core library? The motivation is to keep the language core as small as possible?