アレフゼロ、EVM、ソリディティ、ラスト