fig-endpoint-receipt.tex

\documentclass[tikz,border=7pt]{standalone}
\usepackage[T1]{fontenc}
\usepackage{lmodern,amsmath,amssymb}
\hyphenpenalty=10000
\exhyphenpenalty=10000
\usetikzlibrary{arrows.meta,positioning,calc,fit,backgrounds}
\definecolor{ink}{HTML}{243B4A}
\definecolor{pale}{HTML}{EFF5F7}
\definecolor{warm}{HTML}{FAF5E8}
\tikzset{every node/.style={font=\sffamily\small,text=ink},
 box/.style={draw=ink!65,rounded corners=2pt,fill=pale,align=center,inner sep=7pt},
 warmbox/.style={box,fill=warm},
 arr/.style={-{Latex[length=2mm]},draw=ink!80,line width=.65pt},
 lab/.style={font=\sffamily\footnotesize,fill=white,inner sep=2pt},
 dot/.style={circle,draw=ink!75,fill=white,minimum size=8mm,inner sep=1pt},
 title/.style={font=\sffamily\bfseries\small,align=center}}
\begin{document}\begin{tikzpicture}

\node[title] at (6.2,2.9) {A historical endpoint does not select the required type};
\node[box,text width=2.4cm] (end) at (0,1.3) {prefix at time $2m$\\$0^{2m}$};
\node[box] (p) at (4,1.3) {$0^{2m}$};\node[box] (q) at (6.6,1.3) {$0^{2m-2}$};
\node (dots) at (9,1.3) {$\cdots$};\node[warmbox] (r) at (11.2,1.3) {$00$};
\draw[arr] (end)--node[lab,above]{longest suffix}(p);
\draw[arr] (p)--node[lab,above]{$\lambda$}(q);\draw[arr] (q)--node[lab,above]{$\lambda$}(dots);\draw[arr] (dots)--node[lab,above]{$\lambda$}(r);
\node[align=center] at (7.4,-.05) {Untyped recovery requires $m-1$ suffix links.};
\node[box] (receipt) at (1,-1.5) {typed receipt};
\draw[arr] (receipt.east)--(11.2,-1.5)--(r.south);
\node[lab] at (7,-1.5) {directly names a record of type $00$};

\end{tikzpicture}\end{document}