pub const FIRST_NON_DETERMINISTICALLY_INITIALIZED_MEMORY_ADDRESS: BFieldElement;Expand description
Non-deterministically initialized memory lives in the range $[0: 2^{32})$
See the memory convention for details.
pub const FIRST_NON_DETERMINISTICALLY_INITIALIZED_MEMORY_ADDRESS: BFieldElement;Non-deterministically initialized memory lives in the range $[0: 2^{32})$
See the memory convention for details.