Layout

Explain the VM layout. Its write once memory model (perhaps also include the reason behind it)

Explain registries as well.

Then what happens when there is proof mode involved