Add event size limit & Update Move ptr (MystenLabs#8355)

Adds event size limit of 256kB
Updates Move prt

Cargo.toml

@@ -105,26 +105,26 @@ opt-level = 1
 tokio = "1.24.1"
 
 # Move dependencies
-move-binary-format = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-bytecode-utils = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-bytecode-verifier = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-cli = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-compiler = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-core-types = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03", features = ["address20"] }
-move-disassembler = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-package = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-stdlib = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-vm-runtime = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-unit-test = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-vm-test-utils = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-vm-types = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-command-line-common = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-transactional-test-runner = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-ir-types = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-prover = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-prover-boogie-backend = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-stackless-bytecode = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
-move-symbol-pool = { git = "https://github.com/move-language/move", rev = "b6bff7ebf8b6ab5ede3558ad8e1b192737268b03" }
+move-binary-format = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-bytecode-utils = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-bytecode-verifier = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-cli = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-compiler = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-core-types = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a", features = ["address20"] }
+move-disassembler = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-package = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-stdlib = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-vm-runtime = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-unit-test = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-vm-test-utils = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-vm-types = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-command-line-common = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-transactional-test-runner = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-ir-types = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-prover = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-prover-boogie-backend = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-stackless-bytecode = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
+move-symbol-pool = { git = "https://github.com/move-language/move", rev = "9e147155262646b5afef59ec1248586c8e8d503a" }
 
 fastcrypto = { git = "https://github.com/MystenLabs/fastcrypto", rev = "54c0db503f35560ed25b2d084fface8acdd8ee96" }
 fastcrypto-zkp = { git = "https://github.com/MystenLabs/fastcrypto", rev = "54c0db503f35560ed25b2d084fface8acdd8ee96", package = "fastcrypto-zkp" }

crates/sui-adapter-transactional-tests/tests/dynamic_fields/borrow_wrong_type.exp

@@ -12,9 +12,9 @@ created: object(107), object(108)
 written: object(106)
 
 task 3 'run'. lines 38-38:
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::dynamic_field::borrow_child_object (function index 3) at offset 0, Abort Code: 2
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 3, instruction: 0, function_name: Some("borrow_child_object") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("dynamic_field") }), indices: [], offsets: [(FunctionDefinitionIndex(3), 0)] }) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::dynamic_field::borrow_child_object (function index 10) at offset 0, Abort Code: 2
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 10, instruction: 0, function_name: Some("borrow_child_object") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("dynamic_field") }), indices: [], offsets: [(FunctionDefinitionIndex(10), 0)] }) } }
 
 task 4 'run'. lines 40-40:
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::dynamic_field::borrow_child_object_mut (function index 4) at offset 0, Abort Code: 2
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 4, instruction: 0, function_name: Some("borrow_child_object_mut") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("dynamic_field") }), indices: [], offsets: [(FunctionDefinitionIndex(4), 0)] }) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::dynamic_field::borrow_child_object_mut (function index 11) at offset 0, Abort Code: 2
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 11, instruction: 0, function_name: Some("borrow_child_object_mut") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("dynamic_field") }), indices: [], offsets: [(FunctionDefinitionIndex(11), 0)] }) } }

crates/sui-adapter-transactional-tests/tests/dynamic_fields/borrow_wrong_type_object.exp

@@ -12,9 +12,9 @@ created: object(107), object(108), object(109)
 written: object(106)
 
 task 3 'run'. lines 43-43:
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::dynamic_field::borrow_child_object (function index 3) at offset 0, Abort Code: 2
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 3, instruction: 0, function_name: Some("borrow_child_object") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("dynamic_field") }), indices: [], offsets: [(FunctionDefinitionIndex(3), 0)] }) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::dynamic_field::borrow_child_object (function index 10) at offset 0, Abort Code: 2
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 10, instruction: 0, function_name: Some("borrow_child_object") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("dynamic_field") }), indices: [], offsets: [(FunctionDefinitionIndex(10), 0)] }) } }
 
 task 4 'run'. lines 45-45:
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::dynamic_field::borrow_child_object_mut (function index 4) at offset 0, Abort Code: 2
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 4, instruction: 0, function_name: Some("borrow_child_object_mut") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("dynamic_field") }), indices: [], offsets: [(FunctionDefinitionIndex(4), 0)] }) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::dynamic_field::borrow_child_object_mut (function index 11) at offset 0, Abort Code: 2
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 11, instruction: 0, function_name: Some("borrow_child_object_mut") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("dynamic_field") }), indices: [], offsets: [(FunctionDefinitionIndex(11), 0)] }) } }

crates/sui-adapter-transactional-tests/tests/dynamic_fields/remove_wrong_type.exp

@@ -12,5 +12,5 @@ created: object(107), object(108)
 written: object(106)
 
 task 3 'run'. lines 35-35:
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::dynamic_field::remove_child_object (function index 14) at offset 0, Abort Code: 2
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 14, instruction: 0, function_name: Some("remove_child_object") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("dynamic_field") }), indices: [], offsets: [(FunctionDefinitionIndex(14), 0)] }) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::dynamic_field::remove_child_object (function index 12) at offset 0, Abort Code: 2
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 12, instruction: 0, function_name: Some("remove_child_object") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("dynamic_field") }), indices: [], offsets: [(FunctionDefinitionIndex(12), 0)] }) } }

crates/sui-adapter-transactional-tests/tests/dynamic_fields/remove_wrong_type_object.exp

@@ -12,5 +12,5 @@ created: object(107), object(108), object(109)
 written: object(106)
 
 task 3 'run'. lines 40-40:
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::dynamic_field::remove_child_object (function index 14) at offset 0, Abort Code: 2
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 14, instruction: 0, function_name: Some("remove_child_object") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("dynamic_field") }), indices: [], offsets: [(FunctionDefinitionIndex(14), 0)] }) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::dynamic_field::remove_child_object (function index 12) at offset 0, Abort Code: 2
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 12, instruction: 0, function_name: Some("remove_child_object") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("dynamic_field") }), indices: [], offsets: [(FunctionDefinitionIndex(12), 0)] }) } }

crates/sui-adapter-transactional-tests/tests/dynamic_fields/transfer_object.exp

@@ -37,5 +37,5 @@ task 9 'run'. lines 83-83:
 written: object(109), object(118)
 
 task 10 'run'. lines 85-85:
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::dynamic_field::borrow_child_object_mut (function index 4) at offset 0, Abort Code: 1
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 4, instruction: 0, function_name: Some("borrow_child_object_mut") }, 1), source: Some(VMError { major_status: ABORTED, sub_status: Some(1), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("dynamic_field") }), indices: [], offsets: [(FunctionDefinitionIndex(4), 0)] }) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::dynamic_field::borrow_child_object_mut (function index 11) at offset 0, Abort Code: 1
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("dynamic_field") }, function: 11, instruction: 0, function_name: Some("borrow_child_object_mut") }, 1), source: Some(VMError { major_status: ABORTED, sub_status: Some(1), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("dynamic_field") }), indices: [], offsets: [(FunctionDefinitionIndex(11), 0)] }) } }

crates/sui-adapter-transactional-tests/tests/shared/upgrade.exp

@@ -17,13 +17,13 @@ Version: 2
 Contents: t::m::Obj {id: sui::object::UID {id: sui::object::ID {bytes: fake(110)}}}
 
 task 4 'run'. lines 46-46:
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::share_object (function index 1) at offset 0, Abort Code: 0
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 1, instruction: 0, function_name: Some("share_object") }, 0), source: Some(VMError { major_status: ABORTED, sub_status: Some(0), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(1), 0)] }) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::share_object (function index 2) at offset 0, Abort Code: 0
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 2, instruction: 0, function_name: Some("share_object") }, 0), source: Some(VMError { major_status: ABORTED, sub_status: Some(0), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(2), 0)] }) } }
 
 task 5 'run'. lines 48-48:
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::share_object (function index 1) at offset 0, Abort Code: 0
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 1, instruction: 0, function_name: Some("share_object") }, 0), source: Some(VMError { major_status: ABORTED, sub_status: Some(0), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(1), 0)] }) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::share_object (function index 2) at offset 0, Abort Code: 0
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 2, instruction: 0, function_name: Some("share_object") }, 0), source: Some(VMError { major_status: ABORTED, sub_status: Some(0), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(2), 0)] }) } }
 
 task 6 'run'. lines 50-50:
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::share_object (function index 1) at offset 0, Abort Code: 0
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 1, instruction: 0, function_name: Some("share_object") }, 0), source: Some(VMError { major_status: ABORTED, sub_status: Some(0), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(1), 0)] }) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::share_object (function index 2) at offset 0, Abort Code: 0
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 2, instruction: 0, function_name: Some("share_object") }, 0), source: Some(VMError { major_status: ABORTED, sub_status: Some(0), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(2), 0)] }) } }