Ethereumjs
要求解釋乙太坊操作碼中的一些符號
我打算為自己的項目實現 EVM,在閱讀黃皮書時,我無法理解一些符號,誰能幫我澄清一下:
上圖中的 µ_i 是什麼
從論文第 3 節的第二段:
兩組高度結構化的“頂級”狀態值用粗體小寫希臘字母表示。它們屬於世界狀態的那些,用σ表示(或其變體)和機器狀態的那些,μ。
所以µ代表 EVM 內部的狀態。*µ’*代表新的 EVM 狀態,在應用了一些轉換之後。例如:
(133) µ ’ s ≡ µ s + Δ
在第 3 節中進一步:
方括號用於索引和引用序列的單個組件或子序列,例如µ s
$$ 0 $$表示機器堆棧上的第一項。對於子序列,橢圓用於指定預期範圍,包括兩個限制的元素,例如 µ m$$ 0..31 $$表示機器記憶體的前 32 項
最後,您的i查詢(第 222 節):
µ ’ i被定義為這個新的活動記憶體的最大字數;
含義μ i是在 EVM 中進行任何更改之前活動記憶體的字數。