Standard library v0.1 content about miden-vm HOT 4 CLOSED

You’ve definitely spent more time considering this than I have, so I’ll need to look at it more to get a better feel for your list. What I should have said is that I would prefer to prioritize doing as many u256 as possible before doing u128.

from miden-vm.

I would rather skip u128 and aim for all u256 operations.

from miden-vm.

Agree on skipping u128. Regarding u256, supporting everything would be quite difficult. Here is my initial list with thoughts:

• add - [done]
• sub - [done]
• mul - [done], can probably be optimized.
• div - once mul is working, shouldn't be too difficult.
• sdiv - skip for now?
• smod- skip for now?
• mod - skip for now?
• addmod - skip for now?
• mulmod - skip for now?
• exp - skip for now?
• signextend - skip for now?
• lt - [kind of done], there is an implementation, but it can be improved.
• gt - similar to lt.
• slt- skip for now?
• sgt - skip for now?
• eq - [done]
• iszero - [done]
• and - [done]
• or - [done]
• xor - [done]
• not- easy, we should do it.
• shl - not sure how to do this yet, might require changes to the instruction set, but would be good to include it even now.
• shr- same as shl.
• sar - skip for now?

from miden-vm.

For v0.1 release (which will accompany v0.2 release of the VM), we will include the following in the standard library:

• math::u64
• crypto::hashes::blake3
• crypto::hashes::sha256

I'm closing this issue and will open another one for v0.2 stdlib content.

from miden-vm.