essential_constraint_vm::asm::short

Constant PVAR

source
pub const PVAR: Constraint;
Expand description

§PubVar

0x3B: PVAR

Access a range of public decision variable words at pathway_ix and key key_0, ...key_N.

Push words onto the stack starting from the value at value_ix and continuing for len words.

§Stack Input

[pathway_ix, key_0, ...key_N, key_len, value_ix, value_len]

§Stack Output

[word, ...] The stack output length depends on the value of the value_len stack input word.

§Panics

  • pathway_ix is out of range.
  • The range value_ix..(value_ix + len) is out of range for key.