Add latest_immutable_file_number in CardanoTransactionsProofsMessage

Author: Damien LACHAUME / PALO-IT

mithril-aggregator/src/message_adapters/to_cardano_transactions_proof_message.rs

@@ -14,6 +14,7 @@ impl ToCardanoTransactionsProofsMessageAdapter {
         certificate_hash: &str,
         transactions_set_proofs: Vec<CardanoTransactionsSetProof>,
         transaction_hashes_to_certify: Vec<TransactionHash>,
+        latest_immutable_file_number: u64,
     ) -> StdResult<CardanoTransactionsProofsMessage> {
         let transactions_hashes_not_certified = compute_not_certified_transactions(
             &transactions_set_proofs,
@@ -24,6 +25,7 @@ impl ToCardanoTransactionsProofsMessageAdapter {
             certificate_hash,
             try_adapt_set_proof_message(transactions_set_proofs)?,
             transactions_hashes_not_certified,
+            latest_immutable_file_number,
         ))
     }
 }
@@ -86,10 +88,12 @@ mod tests {
         }
 
         let certificate_hash = "certificate_hash";
+        let latest_immutable_file_number = 1234;
         let message = ToCardanoTransactionsProofsMessageAdapter::try_adapt(
             certificate_hash,
             transactions_set_proofs.clone(),
             transaction_hashes.to_vec(),
+            latest_immutable_file_number,
         )
         .unwrap();
         let transactions_set_proofs = transactions_set_proofs
@@ -100,6 +104,7 @@ mod tests {
             certificate_hash,
             transactions_set_proofs,
             transactions_hashes_non_certified.to_vec(),
+            latest_immutable_file_number,
         );
         assert_eq!(expected_message, message);
     }

mithril-client/src/cardano_transaction_client.rs

@@ -239,8 +239,12 @@ mod tests {
         let mut aggregator_client = MockAggregatorHTTPClient::new();
         let certificate_hash = "cert-hash-123".to_string();
         let set_proof = CardanoTransactionsSetProof::dummy();
-        let transactions_proofs =
-            CardanoTransactionsProofs::new(&certificate_hash, vec![set_proof.clone()], vec![]);
+        let transactions_proofs = CardanoTransactionsProofs::new(
+            &certificate_hash,
+            vec![set_proof.clone()],
+            vec![],
+            99999,
+        );
         let expected_transactions_proofs = transactions_proofs.clone();
         aggregator_client
             .expect_get_content()

mithril-client/tests/extensions/fake.rs

@@ -163,6 +163,7 @@ mod proof {
                     proof: ProtocolMkProof::new(proof.clone()).to_json_hex().unwrap(),
                 }],
                 non_certified_transactions: vec![],
+                latest_immutable_file_number: 9999,
             })
             .unwrap();
 

mithril-common/src/messages/cardano_transactions_proof.rs

@@ -24,6 +24,9 @@ pub struct CardanoTransactionsProofsMessage {
 
     /// Transactions that could not be certified
     pub non_certified_transactions: Vec<TransactionHash>,
+
+    /// Latest immutable file number associated to the Cardano Transactions
+    pub latest_immutable_file_number: u64,
 }
 
 #[cfg_attr(
@@ -108,11 +111,13 @@ impl CardanoTransactionsProofsMessage {
         certificate_hash: &str,
         certified_transactions: Vec<CardanoTransactionsSetProofMessagePart>,
         non_certified_transactions: Vec<TransactionHash>,
+        latest_immutable_file_number: u64,
     ) -> Self {
         Self {
             certificate_hash: certificate_hash.to_string(),
             certified_transactions,
             non_certified_transactions,
+            latest_immutable_file_number,
         }
     }
 
@@ -180,6 +185,7 @@ mod tests {
                 proof: "invalid".to_string(),
             }],
             vec![],
+            99999,
         );
 
         let error = txs_proofs
@@ -197,7 +203,7 @@ mod tests {
 
     #[test]
     fn verify_no_certified_transaction_fail() {
-        let txs_proofs = CardanoTransactionsProofsMessage::new("whatever", vec![], vec![]);
+        let txs_proofs = CardanoTransactionsProofsMessage::new("whatever", vec![], vec![], 99999);
 
         let error = txs_proofs
             .verify()
@@ -224,6 +230,7 @@ mod tests {
             "whatever",
             vec![set_proof.try_into().unwrap()],
             vec![],
+            99999,
         );
 
         let verified_txs = txs_proofs
@@ -243,6 +250,7 @@ mod tests {
             "whatever",
             vec![set_proof.try_into().unwrap()],
             vec![],
+            99999,
         );
 
         let error = txs_proofs
@@ -278,6 +286,7 @@ mod tests {
                 .map(|p| p.try_into().unwrap())
                 .collect(),
             vec![],
+            99999,
         );
 
         let error = txs_proofs