System procedures

Module miden::core::sys contains a set of system-level utility procedures.

Procedure	Description
truncate_stack	Removes elements deep in the stack until the depth of the stack is exactly 16. The elements are removed in such a way that the top 16 elements of the stack remain unchanged. If the stack would otherwise contain more than 16 elements at the end of execution, then adding a call to this function at the end will reduce the size of the public inputs that are shared with the verifier. Input: Stack with 16 or more elements. Output: Stack with only the original top 16 elements. Cycles: 17 + 11 * overflow_words, where overflow_words is the number of words to drop.
drop_stack_top	Drops the top 16 values from the stack. Input: Stack with 16 or more elements. Output: Stack with the top 16 elements removed.
log_precompile_request	Logs a precompile commitment and removes the helper words produced by the underlying log_precompile instruction. Input: [COMM, TAG, ...] Output: [...] (top three helper words R0, R1, CAP_NEXT are dropped internally) Cycles: 1 (plus cost of the underlying log_precompile instruction).