ethereum - オペコード JUMP は EVM スタックでどのように機能しますか?

Question

ここでは、「Advanced Solidity」チュートリアルに従っています。

理解に苦しんでいる例に出くわしました。

この例で、JUMP がスタックの状態に影響を与えるのはなぜですか? プログラムカウンターにのみ影響すると予想していました。

(つまり、JUMP の後、PC: 11 で、スタックの長さは 2 ではなく 3 になると予想します。JUMP は PUSH 0x0B の後に来ます。)

ありがとう。

Answer 1

理解した。

JUMPスタックの一番上にある値を受け取り、宛先として使用します。その値が宛先に「なります」。

Aは、最初に実行し、プログラム カウンターをプッシュされた値に移動するJUMPと考えることができます。PUSH

Gitterの Martin / @holiman の功績ethereum/tests。ありがとう。