Constant KRNG

Source
pub const KRNG: Op;
Expand description

§KeyRange

0x80: KRNG

Read a range of values at each key from state starting at the key into memory starting at the given memory address.

The key is lexographically incremented for each value read. All keys are assumed to be the same length.

An [index, len] pair is written into memory for each value, followed by the values themselves. E.g. when reading values a and b, they will be laid out in memory from the given mem_addr as follows: [a_addr, a_len, b_addr, b_len, a_value, b_value]

§Stack Input

[key_w0, ...key_wN, key_len, num_keys_to_read, mem_addr]