cairo_vm::cairo_run

Function write_encoded_memory

Source
pub fn write_encoded_memory(
    relocated_memory: &[Option<Felt252>],
    dest: &mut impl Writer,
) -> Result<(), EncodeTraceError>
Expand description

Writes a binary representation of the relocated memory.

The memory pairs (address, value) are encoded and concatenated:

  • address -> 8-byte encoded
  • value -> 32-byte encoded