Z_P : PVM page size. GP: 𝖹_P = 2^12 = 4,096.
3.7. PVM Parameters
def
Jar.Z_P : NatJar.Z_P : Nat
def
Jar.Z_Z : NatJar.Z_Z : Nat
Z_Z : PVM initialization zone size. GP: 𝖹_Z = 2^16 = 65,536.
def
Jar.Z_I : NatJar.Z_I : Nat
Z_I : PVM initialization input size. GP: 𝖹_I = 2^24 = 16,777,216.
def
Jar.Z_A : NatJar.Z_A : Nat
Z_A : PVM dynamic address alignment. GP: 𝖹_A = 2.
def
Jar.PVM_REGISTERS : NatJar.PVM_REGISTERS : Nat
Number of PVM registers. 13 in the GP.