[sui-framework] Add party_transfer (not yet enabled) (#20947)

## Description 

- Adds public and private variants of party_transfer for Consensus V2
objects
- Adds compiler support for private generics checks
- Adds verifier support for private generics checks
- Native function is disabled currently via protocol config

## Test plan 

- Added tests

---

## Release notes

Check each box that your changes affect. If none of the boxes relate to
your changes, release notes aren't required.

For each box you select, include information after the relevant heading
that describes the impact of your changes that a user might notice and
any actions they must take to implement updates.

- [ ] Protocol: 
- [ ] Nodes (Validators and Full nodes): 
- [ ] gRPC:
- [ ] JSON-RPC: 
- [ ] GraphQL: 
- [ ] CLI: 
- [ ] Rust SDK:

Author: tnowacki

crates/sui-adapter-transactional-tests/tests/mvcc/receive_object_access_through_parent_df.snap

@@ -238,8 +238,8 @@ Contents: tto::M1::Wrapper<tto::M1::A> {
 
 task 11, line 98:
 //# run tto::M1::receive_b_parent --args object(2,4) receiving(2,7) --sender A
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::receive_impl (function index 12) at offset 0, Abort Code: 2
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 12, instruction: 0, function_name: Some("receive_impl") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(12), 0)] }), command: Some(0) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::receive_impl (function index 15) at offset 0, Abort Code: 2
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 15, instruction: 0, function_name: Some("receive_impl") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(15), 0)] }), command: Some(0) } }
 
 task 12, line 100:
 //# run tto::M1::receive_b_parent --args object(2,4) receiving(2,6) --sender A

crates/sui-adapter-transactional-tests/tests/mvcc/receive_object_access_through_parent_dof.snap

@@ -256,8 +256,8 @@ Contents: tto::M1::Wrapper<tto::M1::A> {
 
 task 13, line 102:
 //# run tto::M1::receive_b_parent --args object(2,8) receiving(2,9) --sender A
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::receive_impl (function index 12) at offset 0, Abort Code: 2
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 12, instruction: 0, function_name: Some("receive_impl") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(12), 0)] }), command: Some(0) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::receive_impl (function index 15) at offset 0, Abort Code: 2
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 15, instruction: 0, function_name: Some("receive_impl") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(15), 0)] }), command: Some(0) } }
 
 task 14, line 104:
 //# run tto::M1::receive_b_parent --args object(2,8) receiving(2,6) --sender A

crates/sui-adapter-transactional-tests/tests/party/not_enabled.move

@@ -0,0 +1,56 @@
+// Copyright (c) Mysten Labs, Inc.
+// SPDX-License-Identifier: Apache-2.0
+
+//# init --addresses ex=0x0
+
+//# publish
+module ex::m;
+
+public struct Pub has key, store {
+    id: UID,
+}
+
+public struct Priv has key {
+    id: UID,
+}
+
+public fun mint(ctx: &mut TxContext) {
+    let p = Pub { id: object::new(ctx) };
+    let q = Priv { id: object::new(ctx) };
+    transfer::public_transfer(p, ctx.sender());
+    transfer::transfer(q, ctx.sender());
+}
+
+public fun create_party(ctx: &mut TxContext) {
+    let p = Pub { id: object::new(ctx) };
+    transfer::public_party_transfer(p, sui::party::single_owner(@0))
+}
+
+public fun pub_party(obj: Pub, p: sui::party::Party) {
+    transfer::public_party_transfer(obj, p)
+}
+
+public fun priv_party(obj: Priv, p: sui::party::Party) {
+    transfer::party_transfer(obj, p)
+}
+
+//# run ex::m::mint
+
+// Aborts since party transfer is not enabled
+//# run ex::m::create_party
+
+// Aborts since party transfer is not enabled
+//# programmable --inputs object(2,0) @0
+//> 0: sui::party::single_owner(Input(1));
+//> ex::m::priv_party(Input(0), Result(0))
+
+
+// Aborts since party transfer is not enabled
+//# programmable --inputs object(2,1) @0
+//> 0: sui::party::single_owner(Input(1));
+//> ex::m::pub_party(Input(0), Result(0))
+
+// Aborts since party transfer is not enabled
+//# programmable --inputs object(2,1) @0
+//> 0: sui::party::single_owner(Input(1));
+//> sui::transfer::public_party_transfer<ex::m::Pub>(Input(0), Result(0))

crates/sui-adapter-transactional-tests/tests/party/not_enabled.snap

@@ -0,0 +1,44 @@
+---
+source: external-crates/move/crates/move-transactional-test-runner/src/framework.rs
+---
+processed 7 tasks
+
+task 1, lines 6-35:
+//# publish
+created: object(1,0)
+mutated: object(0,0)
+gas summary: computation_cost: 1000000, storage_cost: 7638000,  storage_rebate: 0, non_refundable_storage_fee: 0
+
+task 2, lines 37-39:
+//# run ex::m::mint
+created: object(2,0), object(2,1)
+mutated: object(0,0)
+gas summary: computation_cost: 1000000, storage_cost: 3442800,  storage_rebate: 978120, non_refundable_storage_fee: 9880
+
+task 3, lines 40-42:
+//# run ex::m::create_party
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::party_transfer_impl (function index 13) at offset 0, Abort Code: 5
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 13, instruction: 0, function_name: Some("party_transfer_impl") }, 5), source: Some(VMError { major_status: ABORTED, sub_status: Some(5), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(13), 0)] }), command: Some(0) } }
+
+task 4, lines 43-48:
+//# programmable --inputs object(2,0) @0
+//> 0: sui::party::single_owner(Input(1));
+//> ex::m::priv_party(Input(0), Result(0))
+// Aborts since party transfer is not enabled
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::party_transfer_impl (function index 13) at offset 0, Abort Code: 5
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 13, instruction: 0, function_name: Some("party_transfer_impl") }, 5), source: Some(VMError { major_status: ABORTED, sub_status: Some(5), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(13), 0)] }), command: Some(1) } }
+
+task 5, lines 49-53:
+//# programmable --inputs object(2,1) @0
+//> 0: sui::party::single_owner(Input(1));
+//> ex::m::pub_party(Input(0), Result(0))
+// Aborts since party transfer is not enabled
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::party_transfer_impl (function index 13) at offset 0, Abort Code: 5
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 13, instruction: 0, function_name: Some("party_transfer_impl") }, 5), source: Some(VMError { major_status: ABORTED, sub_status: Some(5), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(13), 0)] }), command: Some(1) } }
+
+task 6, lines 54-56:
+//# programmable --inputs object(2,1) @0
+//> 0: sui::party::single_owner(Input(1));
+//> sui::transfer::public_party_transfer<ex::m::Pub>(Input(0), Result(0))
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::party_transfer_impl (function index 13) at offset 0, Abort Code: 5
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 13, instruction: 0, function_name: Some("party_transfer_impl") }, 5), source: Some(VMError { major_status: ABORTED, sub_status: Some(5), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(13), 0)] }), command: Some(1) } }

crates/sui-adapter-transactional-tests/tests/party/private_transfer_ptb.move

@@ -0,0 +1,44 @@
+// Copyright (c) Mysten Labs, Inc.
+// SPDX-License-Identifier: Apache-2.0
+
+//# init --addresses ex=0x0
+
+//# publish
+module ex::m;
+
+public struct Priv has key {
+    id: UID,
+}
+
+public fun mint(ctx: &mut TxContext) {
+    let q = Priv { id: object::new(ctx) };
+    transfer::transfer(q, ctx.sender());
+}
+
+public fun priv(ctx: &mut TxContext): Priv {
+    Priv { id: object::new(ctx) }
+}
+
+//# run ex::m::mint
+
+// Does not have store
+//# programmable --inputs object(2,0) @0
+//> 0: sui::party::single_owner(Input(1));
+//> sui::transfer::public_party_transfer<ex::m::Priv>(Input(0), Result(0))
+
+// Does not have store
+//# programmable --inputs @0
+//> 0: ex::m::priv();
+//> 1: sui::party::single_owner(Input(0));
+//> sui::transfer::public_party_transfer<ex::m::Priv>(Result(0), Result(1))
+
+// Private transfer
+//# programmable --inputs object(2,0) @0
+//> 0: sui::party::single_owner(Input(1));
+//> sui::transfer::party_transfer<ex::m::Priv>(Input(0), Result(0))
+
+// Private transfer
+//# programmable --inputs @0
+//> 0: ex::m::priv();
+//> 1: sui::party::single_owner(Input(0));
+//> sui::transfer::party_transfer<ex::m::Priv>(Result(0), Result(1))

crates/sui-adapter-transactional-tests/tests/party/private_transfer_ptb.snap

@@ -0,0 +1,49 @@
+---
+source: external-crates/move/crates/move-transactional-test-runner/src/framework.rs
+---
+processed 7 tasks
+
+task 1, lines 6-20:
+//# publish
+created: object(1,0)
+mutated: object(0,0)
+gas summary: computation_cost: 1000000, storage_cost: 5198400,  storage_rebate: 0, non_refundable_storage_fee: 0
+
+task 2, lines 22-24:
+//# run ex::m::mint
+created: object(2,0)
+mutated: object(0,0)
+gas summary: computation_cost: 1000000, storage_cost: 2219200,  storage_rebate: 978120, non_refundable_storage_fee: 9880
+
+task 3, lines 25-29:
+//# programmable --inputs object(2,0) @0
+//> 0: sui::party::single_owner(Input(1));
+//> sui::transfer::public_party_transfer<ex::m::Priv>(Input(0), Result(0))
+// Does not have store
+Error: Transaction Effects Status: Move Bytecode Verification Error. Please run the Bytecode Verifier for more information.
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: VMVerificationOrDeserializationError, source: Some(VMError { major_status: CONSTRAINT_NOT_SATISFIED, sub_status: None, message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [] }), command: Some(1) } }
+
+task 4, lines 30-35:
+//# programmable --inputs @0
+//> 0: ex::m::priv();
+//> 1: sui::party::single_owner(Input(0));
+//> sui::transfer::public_party_transfer<ex::m::Priv>(Result(0), Result(1))
+// Private transfer
+Error: Transaction Effects Status: Move Bytecode Verification Error. Please run the Bytecode Verifier for more information.
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: VMVerificationOrDeserializationError, source: Some(VMError { major_status: CONSTRAINT_NOT_SATISFIED, sub_status: None, message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [] }), command: Some(2) } }
+
+task 5, lines 36-40:
+//# programmable --inputs object(2,0) @0
+//> 0: sui::party::single_owner(Input(1));
+//> sui::transfer::party_transfer<ex::m::Priv>(Input(0), Result(0))
+// Private transfer
+Error: Transaction Effects Status: Non Entry Function Invoked. Move Call must start with an entry function
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: NonEntryFunctionInvoked, source: Some("Cannot directly call sui::transfer::party_transfer. Use the public variant instead, sui::transfer::public_party_transfer"), command: Some(1) } }
+
+task 6, lines 41-44:
+//# programmable --inputs @0
+//> 0: ex::m::priv();
+//> 1: sui::party::single_owner(Input(0));
+//> sui::transfer::party_transfer<ex::m::Priv>(Result(0), Result(1))
+Error: Transaction Effects Status: Non Entry Function Invoked. Move Call must start with an entry function
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: NonEntryFunctionInvoked, source: Some("Cannot directly call sui::transfer::party_transfer. Use the public variant instead, sui::transfer::public_party_transfer"), command: Some(2) } }

crates/sui-adapter-transactional-tests/tests/receive_object/basic_receive.snap

@@ -70,5 +70,5 @@ Contents: tto::M1::B {
 
 task 8, line 46:
 //# run tto::M1::receiver --args object(2,0) receiving(2,1)@3
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::receive_impl (function index 12) at offset 0, Abort Code: 3
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 12, instruction: 0, function_name: Some("receive_impl") }, 3), source: Some(VMError { major_status: ABORTED, sub_status: Some(3), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(12), 0)] }), command: Some(0) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::receive_impl (function index 15) at offset 0, Abort Code: 3
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 15, instruction: 0, function_name: Some("receive_impl") }, 3), source: Some(VMError { major_status: ABORTED, sub_status: Some(3), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(15), 0)] }), command: Some(0) } }

crates/sui-adapter-transactional-tests/tests/receive_object/move_vec_receiving_types.snap

@@ -104,8 +104,8 @@ task 11, lines 93-97:
 //> 0: MakeMoveVec<sui::transfer::Receiving<tto::M1::B>>([Input(1), Input(2), Input(3), Input(4)]);
 //> 1: tto::M1::receive_all(Input(0), Result(0));
 // Try to spoof a receiving object
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::receive_impl (function index 12) at offset 0, Abort Code: 2
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 12, instruction: 0, function_name: Some("receive_impl") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(12), 0)] }), command: Some(1) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::receive_impl (function index 15) at offset 0, Abort Code: 2
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 15, instruction: 0, function_name: Some("receive_impl") }, 2), source: Some(VMError { major_status: ABORTED, sub_status: Some(2), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(15), 0)] }), command: Some(1) } }
 
 task 12, lines 98-100:
 //# programmable --inputs object(2,0) receiving(2,1) receiving(2,2) receiving(2,3) receiving(2,4)

crates/sui-adapter-transactional-tests/tests/receive_object/receive_and_deleted.snap

@@ -63,5 +63,5 @@ No object at id 2,1
 
 task 8, line 46:
 //# run tto::M1::deleter --args object(2,0) receiving(2,1)@3
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::receive_impl (function index 12) at offset 0, Abort Code: 3
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 12, instruction: 0, function_name: Some("receive_impl") }, 3), source: Some(VMError { major_status: ABORTED, sub_status: Some(3), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(12), 0)] }), command: Some(0) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::receive_impl (function index 15) at offset 0, Abort Code: 3
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 15, instruction: 0, function_name: Some("receive_impl") }, 3), source: Some(VMError { major_status: ABORTED, sub_status: Some(3), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(15), 0)] }), command: Some(0) } }

crates/sui-adapter-transactional-tests/tests/receive_object/receive_and_send_back.snap

@@ -70,5 +70,5 @@ Contents: tto::M1::B {
 
 task 8, line 47:
 //# run tto::M1::send_back --args object(2,0) receiving(2,1)@3
-Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::receive_impl (function index 12) at offset 0, Abort Code: 3
-Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 12, instruction: 0, function_name: Some("receive_impl") }, 3), source: Some(VMError { major_status: ABORTED, sub_status: Some(3), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(12), 0)] }), command: Some(0) } }
+Error: Transaction Effects Status: Move Runtime Abort. Location: sui::transfer::receive_impl (function index 15) at offset 0, Abort Code: 3
+Execution Error: ExecutionError: ExecutionError { inner: ExecutionErrorInner { kind: MoveAbort(MoveLocation { module: ModuleId { address: sui, name: Identifier("transfer") }, function: 15, instruction: 0, function_name: Some("receive_impl") }, 3), source: Some(VMError { major_status: ABORTED, sub_status: Some(3), message: None, exec_state: None, location: Module(ModuleId { address: sui, name: Identifier("transfer") }), indices: [], offsets: [(FunctionDefinitionIndex(15), 0)] }), command: Some(0) } }