shplonk verifier failed, "Simulation failed with status: EXECUTION_LIMIT_REACHED"

[luxebeng]

Now shplonk verifier is failed and the aptos version is 3.5.1. test result is based on commit 3edbe76

example	gwc	shplonk
vec_mul	ok	"Error: "Simulation failed with status: EXECUTION_LIMIT_REACHED"
shuffle	ok	"Error: "Simulation failed with status: EXECUTION_LIMIT_REACHED"
shuffle-api	ok	"Error": "Simulation failed with status: Move abort in 0x4a59164aeb0632441fde1e9b83cd3f6f785fd6240bb8fe44bebf80fec37ad782::verifier_api: 0x70001"

And try to enlarge the gas limit, the issue is still there.

--- a/aptos-move/aptos-gas-schedule/src/gas_schedule/transaction.rs
+++ b/aptos-move/aptos-gas-schedule/src/gas_schedule/transaction.rs
@@ -212,7 +212,7 @@ crate::gas_schedule::macros::define_gas_parameters!(
         [
             max_execution_gas_gov: InternalGas,
             { RELEASE_V1_13.. => "max_execution_gas.gov" },
-            4_000_000_000,
+            8_000_000_000,
         ],
         [
             max_io_gas: InternalGas,

And, double check with original codebase(commit ID: 71664ef), and aptos CLI is using some debugging branch, enlarge-algebra-memory, the issue still remains.

aptos-core/target/release/aptos move run --json-file VectorMul-verify-proof-shplonk.json
{
  "Error": "Simulation failed with status: EXECUTION_LIMIT_REACHED"
}