test: add praos test case

golddydev · golddydev · commit a0c00453e2a9 · 2025-10-30T16:44:57.000+01:00
diff --git a/common/src/ouroboros/data/7854823.cbor b/common/src/ouroboros/data/7854823.cbor
@@ -0,0 +1 @@
+828a1a0077dae71a046344c15820991e0770751806103894d8fffaf86fcc90f238c6ac00bdc7cb0a953e4a59fd93582041ec779d32f5ca1fc81a8cb4152e6bc1f0ab569abe1c0de8b66d76242d23a70f5820b5b6a6b790e6926f6ba856255aaf3eb5192cc80c03eeec7469cd3f64344bafb78258403f42ef44b8525ee45ca45a094191f00b359e9205a400b0607c87fe488f3b44442afc9e7c3e28ded9080c71d84eb7840ecb2e7240721ee243b45a761048ad6c53585054ac3b2bc94b54705b951146a83cba92041fdf537644628c64e9549365e74c10502fb7c23f34d7daa8327843f728513b225044a9390f86fb2a83951c4a39a13c17472c71cf50d74f1ce12d04dc85e9021a00015b1158202c1657b98fabe337cff8811a0b198dd36dfa61a415fdc5e5759f43cfa1103c48845820249caec7a56b2ede7dfdb956178fc6d7d5c96b5f35e63ddc7987e9261ac277c70b1902065840c4bbbda856bebac009d32c276080a54bb6322ab3252d09ad4c7c4a3e3f9b8931dd81b1795dbd165d8d3ca493d77966eb682bfff0edc1d151ef0ad42efb91ba0d8207005901c03824c9afe0176e3abf9e9bcf6972fb8c408d218fe0eab8026780a9995c7cc8fbf2a6f7d54fcb138bcff109b578d020baf5dbae751dad81980d52146afc615905ea103db0ff10d488fc9d0dbfa410066768d93c566fc346ff4b81bd41137df20c446771dd0d24399d61a9caeddce7abb55e6647247158ac252cf87e56871f4535857f6dbbf90b99d9b4bd6ca20705f7deff4e7d3220c002c4e7e5d96927751d96e08c92886ac223a4f7141625da97819a3b574dbf80ca50418f33ce2858b41f2fe63290bda8fcfe8382defc7ce721ed6d96466efe69a0bcb31a3951447b3e73c07e167240a99b492a71b0f9a6af321620d16b944b7b7ce89353ce0b65fc19f3744357603fca23f2b0056c607f817b24ee15b51008ab43e470016e46c0a1589bf184b46b79e808750f7a96fa747387414b9e691b95e7003e825308e4cd4fcf67d87233cb90282e3a5e65ce5cd3448e2a5d5ee6b232a431a45c252ed9a04dbee9cf89c5d5f975481b3be2623bf4a517205b69516d59e0a1877643e25485846911252315499cc705061ee74bd8a6ca2a9ffe46f2905839372b008074d775b6f6f7bb3f245263d306f0194133f947909ff4af9f9815800f1173ef7ea602886f55e1fd
diff --git a/common/src/ouroboros/praos.rs b/common/src/ouroboros/praos.rs
@@ -83,3 +83,68 @@ fn vrf_result<'a>(header: &'a MultiEraHeader) -> Option<&'a VrfCert> {
         _ => None,
     }
 }
+
+#[cfg(test)]
+mod tests {
+    use crate::{
+        crypto::keyhash_256, protocol_params::NonceHash, serialization::Bech32WithHrp, BlockHash,
+        BlockStatus, Era,
+    };
+
+    use super::*;
+
+    #[test]
+    fn test_7854823_block() {
+        let praos_params = PraosParams::mainnet();
+        let epoch_nonce = Nonce::from(
+            NonceHash::try_from(
+                hex::decode("8dad163edf4607452fec9c5955d593fb598ca728bae162138f88da6667bba79b")
+                    .unwrap()
+                    .as_slice(),
+            )
+            .unwrap(),
+        );
+
+        let block_header_7854823: Vec<u8> =
+            hex::decode(include_str!("./data/7854823.cbor")).unwrap();
+        let block_info = BlockInfo {
+            status: BlockStatus::Immutable,
+            slot: 73614529,
+            hash: BlockHash::try_from(
+                hex::decode("4884996cff870563ffddab5d1255a82a58482ba9351536f5b72c882f883c8947")
+                    .unwrap(),
+            )
+            .unwrap(),
+            timestamp: 1665180820,
+            number: 7854823,
+            epoch: 368,
+            epoch_slot: 1729,
+            new_epoch: false,
+            era: Era::Babbage,
+        };
+        let block_header =
+            MultiEraHeader::decode(block_info.era as u8, None, &block_header_7854823).unwrap();
+        let pool_id = Vec::<u8>::from_bech32_with_hrp(
+            "pool195gdnmj6smzuakm4etxsxw3fgh8asqc4awtcskpyfnkpcvh2v8t",
+            "pool",
+        )
+        .unwrap();
+        let active_spos = HashMap::from([(
+            pool_id.clone(),
+            keyhash_256(block_header.vrf_vkey().unwrap()),
+        )]);
+        let active_spdd = HashMap::from([(pool_id.clone(), 64590523391239)]);
+        let result = validate_vrf_praos(
+            &block_info,
+            &block_header,
+            &epoch_nonce,
+            &praos_params,
+            &active_spos,
+            &active_spdd,
+            25069171797357766,
+        )
+        .and_then(|vrf_validations| vrf_validations.iter().try_for_each(|assert| assert()));
+        println!("{:?}", result);
+        assert!(result.is_ok());
+    }
+}
diff --git a/common/src/ouroboros/tpraos.rs b/common/src/ouroboros/tpraos.rs
@@ -185,7 +185,6 @@ mod tests {
 
         let block_header_4490511: Vec<u8> =
             hex::decode(include_str!("./data/4490511.cbor")).unwrap();
-        let block_header = MultiEraHeader::decode(1, None, &block_header_4490511).unwrap();
         let block_info = BlockInfo {
             status: BlockStatus::Immutable,
             slot: 4492800,
@@ -201,6 +200,8 @@ mod tests {
             new_epoch: true,
             era: Era::Shelley,
         };
+        let block_header =
+            MultiEraHeader::decode(block_info.era as u8, None, &block_header_4490511).unwrap();
         let active_spos = HashMap::new();
         let active_spdd = HashMap::new();
         let result = validate_vrf_tpraos(
@@ -234,7 +235,6 @@ mod tests {
 
         let block_header_4556956: Vec<u8> =
             hex::decode(include_str!("./data/4556956.cbor")).unwrap();
-        let block_header = MultiEraHeader::decode(1, None, &block_header_4556956).unwrap();
         let block_info = BlockInfo {
             status: BlockStatus::Immutable,
             slot: 5824849,
@@ -250,6 +250,8 @@ mod tests {
             new_epoch: false,
             era: Era::Shelley,
         };
+        let block_header =
+            MultiEraHeader::decode(block_info.era as u8, None, &block_header_4556956).unwrap();
         let pool_id = Vec::<u8>::from_bech32_with_hrp(
             "pool1pu5jlj4q9w9jlxeu370a3c9myx47md5j5m2str0naunn2q3lkdy",
             "pool",
@@ -291,7 +293,6 @@ mod tests {
 
         let block_header_4576496: Vec<u8> =
             hex::decode(include_str!("./data/4576496.cbor")).unwrap();
-        let block_header = MultiEraHeader::decode(1, None, &block_header_4576496).unwrap();
         let block_info = BlockInfo {
             status: BlockStatus::Immutable,
             slot: 6220749,
@@ -307,6 +308,8 @@ mod tests {
             new_epoch: false,
             era: Era::Shelley,
         };
+        let block_header =
+            MultiEraHeader::decode(block_info.era as u8, None, &block_header_4576496).unwrap();
         let pool_id = Vec::<u8>::from_bech32_with_hrp(
             "pool1pu5jlj4q9w9jlxeu370a3c9myx47md5j5m2str0naunn2q3lkdy",
             "pool",
@@ -348,7 +351,6 @@ mod tests {
 
         let block_header_4576496: Vec<u8> =
             hex::decode(include_str!("./data/4576496.cbor")).unwrap();
-        let block_header = MultiEraHeader::decode(1, None, &block_header_4576496).unwrap();
         let block_info = BlockInfo {
             status: BlockStatus::Immutable,
             slot: 6220749,
@@ -364,6 +366,8 @@ mod tests {
             new_epoch: false,
             era: Era::Shelley,
         };
+        let block_header =
+            MultiEraHeader::decode(block_info.era as u8, None, &block_header_4576496).unwrap();
         let pool_id = Vec::<u8>::from_bech32_with_hrp(
             "pool1pu5jlj4q9w9jlxeu370a3c9myx47md5j5m2str0naunn2q3lkdy",
             "pool",
@@ -406,7 +410,6 @@ mod tests {
 
         let block_header_4576496: Vec<u8> =
             hex::decode(include_str!("./data/4576496.cbor")).unwrap();
-        let block_header = MultiEraHeader::decode(1, None, &block_header_4576496).unwrap();
         let block_info = BlockInfo {
             status: BlockStatus::Immutable,
             slot: 6220749,
@@ -422,6 +425,8 @@ mod tests {
             new_epoch: false,
             era: Era::Shelley,
         };
+        let block_header =
+            MultiEraHeader::decode(block_info.era as u8, None, &block_header_4576496).unwrap();
         let pool_id = Vec::<u8>::from_bech32_with_hrp(
             "pool1pu5jlj4q9w9jlxeu370a3c9myx47md5j5m2str0naunn2q3lkdy",
             "pool",
@@ -469,7 +474,6 @@ mod tests {
 
         let block_header_4576496: Vec<u8> =
             hex::decode(include_str!("./data/4576496.cbor")).unwrap();
-        let block_header = MultiEraHeader::decode(1, None, &block_header_4576496).unwrap();
         let block_info = BlockInfo {
             status: BlockStatus::Immutable,
             slot: 6220749,
@@ -485,6 +489,8 @@ mod tests {
             new_epoch: false,
             era: Era::Shelley,
         };
+        let block_header =
+            MultiEraHeader::decode(block_info.era as u8, None, &block_header_4576496).unwrap();
         let pool_id = Vec::<u8>::from_bech32_with_hrp(
             "pool1pu5jlj4q9w9jlxeu370a3c9myx47md5j5m2str0naunn2q3lkdy",
             "pool",
diff --git a/modules/block_vrf_validator/src/block_vrf_validator.rs b/modules/block_vrf_validator/src/block_vrf_validator.rs
@@ -4,7 +4,7 @@
 use acropolis_common::{
     messages::{CardanoMessage, Message},
     state_history::{StateHistory, StateHistoryStore},
-    BlockInfo, BlockStatus, Era,
+    BlockInfo, BlockStatus,
 };
 use anyhow::Result;
 use caryatid_sdk::{module, Context, Module, Subscription};
@@ -149,21 +149,17 @@ impl BlockVrfValidator {
                     // decode header
                     // Derive the variant from the era - just enough to make
                     // MultiEraHeader::decode() work.
-                    let variant = match block_info.era {
-                        Era::Byron => 0,
-                        Era::Shelley => 1,
-                        Era::Allegra => 2,
-                        Era::Mary => 3,
-                        Era::Alonzo => 4,
-                        _ => 5,
-                    };
                     let span = info_span!(
                         "block_vrf_validator.decode_header",
                         block = block_info.number
                     );
                     let mut header = None;
                     span.in_scope(|| {
-                        header = match MultiEraHeader::decode(variant, None, &block_msg.header) {
+                        header = match MultiEraHeader::decode(
+                            block_info.era as u8,
+                            None,
+                            &block_msg.header,
+                        ) {
                             Ok(header) => Some(header),
                             Err(e) => {
                                 error!("Can't decode header {}: {e}", block_info.slot);

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	+828a1a0077dae71a046344c15820991e0770751806103894d8fffaf86fcc90f238c6ac00bdc7cb0a953e4a59fd93582041ec779d32f5ca1fc81a8cb4152e6bc1f0ab569abe1c0de8b66d76242d23a70f5820b5b6a6b790e6926f6ba856255aaf3eb5192cc80c03eeec7469cd3f64344bafb78258403f42ef44b8525ee45ca45a094191f00b359e9205a400b0607c87fe488f3b44442afc9e7c3e28ded9080c71d84eb7840ecb2e7240721ee243b45a761048ad6c53585054ac3b2bc94b54705b951146a83cba92041fdf537644628c64e9549365e74c10502fb7c23f34d7daa8327843f728513b225044a9390f86fb2a83951c4a39a13c17472c71cf50d74f1ce12d04dc85e9021a00015b1158202c1657b98fabe337cff8811a0b198dd36dfa61a415fdc5e5759f43cfa1103c48845820249caec7a56b2ede7dfdb956178fc6d7d5c96b5f35e63ddc7987e9261ac277c70b1902065840c4bbbda856bebac009d32c276080a54bb6322ab3252d09ad4c7c4a3e3f9b8931dd81b1795dbd165d8d3ca493d77966eb682bfff0edc1d151ef0ad42efb91ba0d8207005901c03824c9afe0176e3abf9e9bcf6972fb8c408d218fe0eab8026780a9995c7cc8fbf2a6f7d54fcb138bcff109b578d020baf5dbae751dad81980d52146afc615905ea103db0ff10d488fc9d0dbfa410066768d93c566fc346ff4b81bd41137df20c446771dd0d24399d61a9caeddce7abb55e6647247158ac252cf87e56871f4535857f6dbbf90b99d9b4bd6ca20705f7deff4e7d3220c002c4e7e5d96927751d96e08c92886ac223a4f7141625da97819a3b574dbf80ca50418f33ce2858b41f2fe63290bda8fcfe8382defc7ce721ed6d96466efe69a0bcb31a3951447b3e73c07e167240a99b492a71b0f9a6af321620d16b944b7b7ce89353ce0b65fc19f3744357603fca23f2b0056c607f817b24ee15b51008ab43e470016e46c0a1589bf184b46b79e808750f7a96fa747387414b9e691b95e7003e825308e4cd4fcf67d87233cb90282e3a5e65ce5cd3448e2a5d5ee6b232a431a45c252ed9a04dbee9cf89c5d5f975481b3be2623bf4a517205b69516d59e0a1877643e25485846911252315499cc705061ee74bd8a6ca2a9ffe46f2905839372b008074d775b6f6f7bb3f245263d306f0194133f947909ff4af9f9815800f1173ef7ea602886f55e1fd