get_obj_inclusion_proof API and e2e light-client test (#23960)

## Description 

Add a new API to fetch an object version at a given checkpoint sequence
number along with an inclusion proof the object was written during that
checkpoint sequence number.

## Test plan 

Light client e2e tested + get_object_inclusion_proof happy / unhappy
cases

---

## 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: alex-mysten

crates/sui-core/src/accumulators/mod.rs

@@ -71,11 +71,11 @@ impl MergedValue {
         split: Self,
         root: Argument,
         address: &AccumulatorAddress,
+        checkpoint_seq: u64,
         builder: &mut ProgrammableTransactionBuilder,
     ) {
         let ty = ClassifiedType::classify(&address.ty);
         let address_arg = builder.pure(address.address).unwrap();
-        let checkpoint_seq = 0u64; /* TODO: replace with actual checkpoint sequence number */
 
         match (ty, merge, split) {
             (
@@ -214,10 +214,9 @@ impl AccumulatorSettlementTxBuilder {
     pub fn new(
         cache: Option<&dyn TransactionCacheRead>,
         ckpt_effects: &[TransactionEffects],
+        checkpoint_seq: u64,
         tx_index_offset: u64,
     ) -> Self {
-        let checkpoint_seq = 0u64; /* TODO: replace with actual checkpoint sequence number */
-
         let mut updates = BTreeMap::<_, _>::new();
 
         let mut addresses = HashMap::<_, _>::new();
@@ -322,6 +321,7 @@ impl AccumulatorSettlementTxBuilder {
         epoch: u64,
         accumulator_root_obj_initial_shared_version: SequenceNumber,
         checkpoint_height: u64,
+        checkpoint_seq: u64,
     ) -> (
         Vec<TransactionKind>, /* settlements */
         TransactionKind,      /* barrier */
@@ -348,6 +348,7 @@ impl AccumulatorSettlementTxBuilder {
                 updates.drain(..),
                 total_input_sui,
                 total_output_sui,
+                checkpoint_seq,
             )
         };
 
@@ -439,6 +440,7 @@ impl AccumulatorSettlementTxBuilder {
         updates: impl Iterator<Item = (AccumulatorObjId, Update)>,
         total_input_sui: u64,
         total_output_sui: u64,
+        checkpoint_seq: u64,
     ) -> TransactionKind {
         let mut builder = ProgrammableTransactionBuilder::new();
 
@@ -465,7 +467,14 @@ impl AccumulatorSettlementTxBuilder {
             let address = addresses.get(&accumulator_obj).unwrap();
             let merged_value = MergedValue::from(merge);
             let split_value = MergedValue::from(split);
-            MergedValue::add_move_call(merged_value, split_value, root, address, &mut builder);
+            MergedValue::add_move_call(
+                merged_value,
+                split_value,
+                root,
+                address,
+                checkpoint_seq,
+                &mut builder,
+            );
         }
 
         TransactionKind::ProgrammableSystemTransaction(builder.finish())

crates/sui-core/src/checkpoints/mod.rs

@@ -1437,6 +1437,7 @@ impl CheckpointBuilder {
         &self,
         sorted_tx_effects_included_in_checkpoint: &[TransactionEffects],
         checkpoint_height: CheckpointHeight,
+        checkpoint_seq: CheckpointSequenceNumber,
         tx_index_offset: u64,
     ) -> (TransactionKey, Vec<TransactionEffects>) {
         let _scope =
@@ -1455,6 +1456,7 @@ impl CheckpointBuilder {
         let builder = AccumulatorSettlementTxBuilder::new(
             Some(self.effects_store.as_ref()),
             sorted_tx_effects_included_in_checkpoint,
+            checkpoint_seq,
             tx_index_offset,
         );
 
@@ -1465,6 +1467,7 @@ impl CheckpointBuilder {
             epoch,
             accumulator_root_obj_initial_shared_version,
             checkpoint_height,
+            checkpoint_seq,
         );
 
         let settlement_txns: Vec<_> = settlement_txns
@@ -1661,13 +1664,22 @@ impl CheckpointBuilder {
             sorted.extend(CausalOrder::causal_sort(unsorted));
 
             if let Some(settlement_root) = settlement_root {
-                // tx_effects.len() gives us the offset for this pending checkpoint's transactions
-                // in the final concatenated checkpoint
+                //TODO: this is an incorrect heuristic for checkpoint seq number
+                //      due to checkpoint splitting, to be fixed separately
+                let last_checkpoint =
+                    Self::load_last_built_checkpoint_summary(&self.epoch_store, &self.store)?;
+                let next_checkpoint_seq = last_checkpoint
+                    .as_ref()
+                    .map(|(seq, _)| *seq)
+                    .unwrap_or_default()
+                    + 1;
                 let tx_index_offset = tx_effects.len() as u64;
+
                 let (tx_key, settlement_effects) = self
                     .construct_and_execute_settlement_transactions(
                         &sorted,
                         pending.details.checkpoint_height,
+                        next_checkpoint_seq,
                         tx_index_offset,
                     )
                     .await;

crates/sui-core/src/mock_checkpoint_builder.rs

@@ -131,15 +131,17 @@ impl MockCheckpointBuilder {
             .map(|e| e.effects.clone())
             .collect();
 
-        let builder = AccumulatorSettlementTxBuilder::new(None, &effects, 0);
-
         let checkpoint_height = self.get_next_checkpoint_number();
+        let checkpoint_seq = checkpoint_height;
+
+        let builder = AccumulatorSettlementTxBuilder::new(None, &effects, checkpoint_seq, 0);
 
         let (settlement_txns, barrier_tx) = builder.build_tx(
             protocol_config,
             self.epoch,
             OBJECT_START_VERSION,
             checkpoint_height,
+            checkpoint_seq,
         );
 
         settlement_txns