BitVMXは、CPUの実行トレースをハッシュチェーンにして、不正な計算の照合する形なのね。計算ステップ毎にマークルツリーを構成して検証するBitVM 1より効率的になると。