You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
The key has expired.
Implemented call operation for context-isolated function calls.
Added support for custom kernels.
Implemented syscall operation for kernel calls, and added a new caller instruction for accessing the hash of the calling function.
Implemented mem_stream operation for fast hashing of memory regions.
Implemented adv_pipe operation for fast "unhashing" of inputs into memory.
Added support for unlimited number of stack inputs/outputs.
[BREAKING] Redesigned Miden assembly input/output instructions for environment, random access memory, local memory, and non-deterministic "advice" inputs.
[BREAKING] Reordered the output stack for Miden assembly cryptographic operations mtree_set and mtree_get to improve efficiency.
Refactored the advice provider to add support for advice maps, and added the adv.mem decorator for copying memory regions into the advice map.
[BREAKING] Refactored the Assembler and added support for module providers. (Standard library is no longer available by default.)
Implemented AIR constraints for the stack component.
Added Miden REPL tool.
Improved performance with various internal refactorings and optimizations.