Add dedicated hostcall for inner PVM module compilation

preamble.tex

@@ -306,8 +306,7 @@
 \newcommand*{\CgasHconst}{\mathsf{M}_{H,c}}
 \newcommand*{\CgasHlinear}{\mathsf{M}_{H,\ell}}
 \newcommand*{\CgasE}{\mathsf{M}_E}
-\newcommand*{\CgasMconst}{\mathsf{M}_{M,c}}
-\newcommand*{\CgasMlinear}{\mathsf{M}_{M,\ell}}
+\newcommand*{\CgasM}{\mathsf{M}_{M}}
 \newcommand*{\CgasPconst}{\mathsf{M}_{P,c}}
 \newcommand*{\CgasPlinear}{\mathsf{M}_{P,\ell}}
 \newcommand*{\CgasOconst}{\mathsf{M}_{O,c}}
@@ -337,6 +336,10 @@
 \newcommand*{\CgasTaurus}{\mathsf{M}_{\Taurus}}
 \newcommand*{\CgasAriesconst}{\mathsf{M}_{\Aries,c}}
 \newcommand*{\CgasArieslinear}{\mathsf{M}_{\Aries,\ell}}
+\newcommand*{\CgasGammamem}{\mathsf{M}_{\Gamma,\mathrm{m}}}
+\newcommand*{\CgasGammadb}{\mathsf{M}_{\Gamma,\mathrm{d}}}
+\newcommand*{\CgasGammamemlinear}{\mathsf{M}_{\Gamma,\mathrm{m},\ell}}
+\newcommand*{\CgasGammadblinear}{\mathsf{M}_{\Gamma,\mathrm{d},\ell}}
 
 % String
 \newcommand*{\Xavailable}{\mathsf{X}_A}
@@ -450,11 +453,14 @@
 
 %%%%%%%%%%%%
 % Named types (blackboard)
-\newcommand*{\innerpvm}{\mathbb{I}}
+\newcommand*{\pvm¬instance}{\mathbb{I}}
+\newcommand*{\pvm¬module}{\blob}
+\newcommand*{\pvm¬module¬map}{\mathbf{c}}
 \newcommand*{\pg¬code}{\pvm¬blob}
 \newcommand*{\pg¬ram}{\mathbf{u}}
 \newcommand*{\pg¬pc}{i}
 \newcommand*{\pg¬gaschargedflag}{\tilde{g}}
+\newcommand*{\pg¬handle}{h}
 
 \newcommand*{\implications}{\mathbb{L}}
 \newcommand*{\imX}{\mathbf{x}}

text/definitions.tex

@@ -38,7 +38,7 @@ \subsubsection{Custom Notation}
     \item[$\edkey$] The set of Ed25519 public keys. A subset of $\blob[32]$. See section \ref{sec:signing}.
     \item[$\bskey$] The set of Bandersnatch public keys. A subset of $\blob[32]$. See section \ref{sec:cryptography} and appendix \ref{sec:bandersnatch}.
   \end{description}
-  \item[$\innerpvm$] The set representing the state of an $\mathbb{I}$nner \textsc{pvm} instance. See equation \ref{eq:innerpvm}.
+  \item[$\pvm¬instance$] The set representing the state of an $\mathbb{I}$nner \textsc{pvm} instance. See equation \ref{eq:innerpvm}.
   \item[$\segment$] The set of data segments, equivalent to $\blob[\Csegmentsize]$. See equation \ref{eq:segment}.
   \item[$\valkey$] The set of validator $\mathbb{K}$ey-sets. See equation \ref{eq:validatorkeys}.
   \item[$\implications$] The set representing implications of accumulation. See equation \ref{eq:implications}.
@@ -111,12 +111,13 @@ \subsection{Functions}
     \item[$\Omega_T$] Transfer host-call.
     \item[$\Omega_U$] Upgrade-service host-call.
     \item[$\Omega_W$] Write-storage host-call.
-    \item[$\Omega_X$] Expunge-\textsc{pvm} host-call.
+    \item[$\Omega_X$] Expunge an inner-\textsc{pvm} instance or a compiled program module host-call.
     \item[$\Omega_Y$] Fetch data host-call.
     \item[$\Omega_Z$] Pages inner-\textsc{pvm} memory host-call.
     \item[$\Omega_\Taurus$] Yield accumulation trie result host-call.
     \item[$\Omega_\Aries$] Provide preimage host-call.
     \item[$\Omega_\Gemini$] Grow heap host-call.
+    \item[$\Omega_\Gamma$] Compile host-call.
   \end{description}
 \end{description}
 
@@ -317,8 +318,7 @@ \subsubsection{Host-function gas costs}
   \item[$\CgasK = 968$] $\Omega_K$ (\texttt{invoke}) base gas cost.
   \item[$\CgasLconst = 600$] $\Omega_L$ (\texttt{lookup}) base gas cost.
   \item[$\CgasLlinear = 248$] $\Omega_L$ (\texttt{lookup}) gas per 1024 octets ($\fnmemgas(\CgasLlinear, \ell)$).
-  \item[$\CgasMconst = 1862$] $\Omega_M$ (\texttt{machine}) base gas cost.
-  \item[$\CgasMlinear = 112$] $\Omega_M$ (\texttt{machine}) gas per 1024 octets, program size ($\fnmemgas(\CgasMlinear, \ell)$).
+  \item[$\CgasM = 1862$] $\Omega_M$ (\texttt{machine}) gas cost.
   \item[$\CgasN = 3855$] $\Omega_N$ (\texttt{new}) base gas cost.
   \item[$\CgasOconst = 297$] $\Omega_O$ (\texttt{poke}) base gas cost.
   \item[$\CgasOlinear = 224$] $\Omega_O$ (\texttt{poke}) gas per 1024 octets ($\fnmemgas(\CgasOlinear, \ell)$).
@@ -364,6 +364,10 @@ \subsubsection{Host-function gas costs}
   \item[$\CgasArieslinear = 2264$] $\Omega_\Aries$ (\texttt{provide}) gas per 1024 octets ($\fnmemgas(\CgasArieslinear, \ell)$).
   \item[$\CgasGeminiconst = 275$] $\Omega_\Gemini$ (\texttt{grow\_heap}) base gas cost.
   \item[$\CgasGeminilinear = 121$] $\Omega_\Gemini$ (\texttt{grow\_heap}) gas per additional page.
+  \item[$\CgasGammamem = 1862$] $\Omega_\Gamma$ (\texttt{compile}) base gas cost when compiling from memory.
+  \item[$\CgasGammadb = 1862$] $\Omega_\Gamma$ (\texttt{compile}) base gas cost when compiling from the database.
+  \item[$\CgasGammamemlinear = 264$] $\Omega_\Gamma$ (\texttt{compile}) in-memory read gas per 1024 octets ($\fnmemgas(\CgasGammamemlinear, \ell)$).
+  \item[$\CgasGammadblinear = 366$] $\Omega_\Gamma$ (\texttt{compile}) database lookup read gas per 1024 octets ($\fnmemgas(\CgasGammadblinear, \ell)$).
 \end{description}
 
 \subsubsection{Signing Contexts}