Comments (5)
Do we also want to allow passing the address via the stack for the
mem
operations like we do when dealing with words?
Yes, I think it would make sense to do that.
from miden-vm.
Sounds good! I've updated the sepcs to include these new instructions.
from miden-vm.
Adding dedicated operations to read/write single elements at the VM level is possible, but we should probably do it at a later date, once we have a better picture of how frequently these operations are used.
Yeah, I think it makes sense to hold off on this.
However, we could add instructions at the assembly level to help with this.
Sounds good. Do we also want to allow passing the address via the stack for the mem
operations like we do when dealing with words?
from miden-vm.
Great, I'll take a look as I finish the rest of the io push
refactor
from miden-vm.
Closed by #110
from miden-vm.
Related Issues (20)
- Hexadecimal literals in constants are not supported HOT 1
- Add `on_assert_failed()` method to the `Host` trait HOT 1
- Consider adding tracing to the `Host` interface HOT 1
- Implement more optimized version of `u32lt` HOT 1
- Create newtype wrapper for advice map
- `ExecutionTrace.main_trace`: change type to `MainTrace`
- `AuxColumnBuilder`: consider using a `BTreeMap` for requests HOT 3
- Investigate faster polynomial evaluation in Falcon DSA HOT 1
- docs.rs build is failling because of stdlib masl compilation HOT 7
- Add infrastructure to isolate the contents of the Advice Provider based on the call context.
- `mtree_get` should return only `V` (not the root as well) HOT 1
- Rewrite MAST to use structure-of-arrays/table-based representation HOT 6
- `stdlib smt`: add support for leaves with multiple key/value pairs
- Remove `smt64` from `stdlib` HOT 1
- Implement`adv.push_smtset` and `adv.push_smtget`
- Allow the removal of entries from advice map
- Handle extra memory requests made by new `RCombBase` op HOT 1
- `debug.stack` decorator is broken HOT 1
- Implement extensible subsystem for on-demand storage/provisioning of MAST objects HOT 7
- Test to ensure that `RCOMBBASE` instruction can be executed and proven HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from miden-vm.