update move prover (#3924)

* update move prover * update starcoin-framework and test * update move repo * update version * update starcoin-framework * set version 1.13.6
starcoinorg · Aug 2, 2023 · c7af47a · c7af47a
1 parent 236c0f2
commit c7af47a
Show file tree

Hide file tree

Showing 35 changed files with 69 additions and 69 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -322,31 +322,31 @@ log4rs = { version = "1.2.0", features = ["background_rotation", "gzip"] }
 lru = "0.7.8"
 merkletree = { version = "0.22.1" }
 mirai-annotations = "1.10.1"
-move-binary-format = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-bytecode-source-map = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-bytecode-verifier = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-cli = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-command-line-common = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-compiler = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-core-types = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-coverage = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-disassembler = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-docgen = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-errmapgen = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-ir-compiler = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-ir-types = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-model = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-package = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-prover = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-prover-test-utils = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-resource-viewer = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-stdlib = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-transactional-test-runner = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-unit-test = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b", features = ["table-extension"] }
-move-vm-runtime = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-vm-types = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-table-extension = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b" }
-move-vm-test-utils = { git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b", features = ["table-extension"] }
+move-binary-format = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-bytecode-source-map = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-bytecode-verifier = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-cli = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-command-line-common = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-compiler = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-core-types = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-coverage = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-disassembler = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-docgen = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-errmapgen = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-ir-compiler = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-ir-types = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-model = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-package = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-prover = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-prover-test-utils = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-resource-viewer = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-stdlib = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-transactional-test-runner = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-unit-test = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70", features = ["table-extension"] }
+move-vm-runtime = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-vm-types = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-table-extension = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70" }
+move-vm-test-utils = { git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70", features = ["table-extension"] }
 
 names = { version = "0.14.0", default-features = false }
 network-api = { path = "network/api", package = "network-api" }
@@ -431,7 +431,7 @@ starcoin-crypto = { git = "https://github.com/starcoinorg/starcoin-crypto", rev
 starcoin-decrypt = { path = "commons/decrypt" }
 starcoin-dev = { path = "vm/dev" }
 starcoin-executor = { path = "executor" }
-starcoin-framework = { git = "https://github.com/starcoinorg/starcoin-framework", rev = "7ce805c4d3c7ba1e5e1bebcc4a9ee8a115e6df85" }
+starcoin-framework = { git = "https://github.com/starcoinorg/starcoin-framework", rev = "1f8ebec924fe8768888b02975614650c4a1c63c9" }
 starcoin-genesis = { path = "genesis" }
 starcoin-logger = { path = "commons/logger" }
 starcoin-metrics = { path = "commons/metrics" }
@@ -504,7 +504,7 @@ unsigned-varint = { version = "0.6.0", features = [
     "futures",
     "asynchronous_codec",
 ] }
-vm = { package = "move-binary-format", git = "https://github.com/starcoinorg/move", rev = "e31d9847cd1843ad571ba6f83e63b04cd96e254b", features = [
+vm = { package = "move-binary-format", git = "https://github.com/starcoinorg/move", rev = "b9d6ef3ec28de55c82df1a8d37accb91cc449c70", features = [
     "fuzzing",
 ] }
 vm-status-translator = { path = "vm/vm-status-translator" }

diff --git a/genesis/generated/halley/genesis b/genesis/generated/halley/genesis
diff --git a/vm/starcoin-transactional-test-harness/tests/cases/call_api_cmd.exp b/vm/starcoin-transactional-test-harness/tests/cases/call_api_cmd.exp
@@ -2,7 +2,7 @@ processed 10 tasks
 
 task 5 'run'. lines 11-19:
 {
-  "gas_used": 15127,
+  "gas_used": 11125,
   "status": "Executed"
 }
 

diff --git a/vm/starcoin-transactional-test-harness/tests/cases/call_api_cmd_halley.exp b/vm/starcoin-transactional-test-harness/tests/cases/call_api_cmd_halley.exp
@@ -2,6 +2,6 @@ processed 4 tasks
 
 task 3 'run'. lines 7-14:
 {
-  "gas_used": 10461,
+  "gas_used": 8712,
   "status": "Executed"
 }
diff --git a/vm/stdlib/compiled/latest/stdlib/008_Vector.mv b/vm/stdlib/compiled/latest/stdlib/008_Vector.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/010_ACL.mv b/vm/stdlib/compiled/latest/stdlib/010_ACL.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/012_Math.mv b/vm/stdlib/compiled/latest/stdlib/012_Math.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/013_Option.mv b/vm/stdlib/compiled/latest/stdlib/013_Option.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/014_BCS.mv b/vm/stdlib/compiled/latest/stdlib/014_BCS.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/021_VMConfig.mv b/vm/stdlib/compiled/latest/stdlib/021_VMConfig.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/036_Authenticator.mv b/vm/stdlib/compiled/latest/stdlib/036_Authenticator.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/037_Account.mv b/vm/stdlib/compiled/latest/stdlib/037_Account.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/040_Ring.mv b/vm/stdlib/compiled/latest/stdlib/040_Ring.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/043_BlockReward.mv b/vm/stdlib/compiled/latest/stdlib/043_BlockReward.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/044_Collection.mv b/vm/stdlib/compiled/latest/stdlib/044_Collection.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/045_Collection2.mv b/vm/stdlib/compiled/latest/stdlib/045_Collection2.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/046_Compare.mv b/vm/stdlib/compiled/latest/stdlib/046_Compare.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/051_EVMAddress.mv b/vm/stdlib/compiled/latest/stdlib/051_EVMAddress.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/055_GasSchedule.mv b/vm/stdlib/compiled/latest/stdlib/055_GasSchedule.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/057_Oracle.mv b/vm/stdlib/compiled/latest/stdlib/057_Oracle.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/061_NFT.mv b/vm/stdlib/compiled/latest/stdlib/061_NFT.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/063_MerkleProof.mv b/vm/stdlib/compiled/latest/stdlib/063_MerkleProof.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/064_MerkleNFTDistributor.mv b/vm/stdlib/compiled/latest/stdlib/064_MerkleNFTDistributor.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/068_Genesis.mv b/vm/stdlib/compiled/latest/stdlib/068_Genesis.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/073_NFTGallery.mv b/vm/stdlib/compiled/latest/stdlib/073_NFTGallery.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/076_PriceOracleAggregator.mv b/vm/stdlib/compiled/latest/stdlib/076_PriceOracleAggregator.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/078_Secp256k1.mv b/vm/stdlib/compiled/latest/stdlib/078_Secp256k1.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/081_SimpleMap.mv b/vm/stdlib/compiled/latest/stdlib/081_SimpleMap.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/083_StarcoinVerifier.mv b/vm/stdlib/compiled/latest/stdlib/083_StarcoinVerifier.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/084_String.mv b/vm/stdlib/compiled/latest/stdlib/084_String.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/087_TransactionManager.mv b/vm/stdlib/compiled/latest/stdlib/087_TransactionManager.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/088_TransferScripts.mv b/vm/stdlib/compiled/latest/stdlib/088_TransferScripts.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/090_TypeInfo.mv b/vm/stdlib/compiled/latest/stdlib/090_TypeInfo.mv
diff --git a/vm/stdlib/compiled/latest/stdlib/091_U256.mv b/vm/stdlib/compiled/latest/stdlib/091_U256.mv