Implement scanner format round-trip tests

zebra-chain/src/block/height.rs

@@ -23,6 +23,7 @@ pub mod json_conversion;
 /// There are multiple formats for serializing a height, so we don't implement
 /// `ZcashSerialize` or `ZcashDeserialize` for `Height`.
 #[derive(Copy, Clone, Debug, Eq, PartialEq, PartialOrd, Ord, Hash, Serialize, Deserialize)]
+#[cfg_attr(any(test, feature = "proptest-impl"), derive(Default))]
 pub struct Height(pub u32);
 
 #[derive(Error, Debug)]

zebra-state/src/service/finalized_state/disk_format/block.rs

@@ -65,7 +65,7 @@ pub const TRANSACTION_LOCATION_DISK_BYTES: usize = HEIGHT_DISK_BYTES + TX_INDEX_
 #[derive(Copy, Clone, Debug, Eq, PartialEq, Ord, PartialOrd, Hash)]
 #[cfg_attr(
     any(test, feature = "proptest-impl"),
-    derive(Arbitrary, Serialize, Deserialize)
+    derive(Arbitrary, Default, Serialize, Deserialize)
 )]
 pub struct TransactionIndex(pub(super) u16);
 
@@ -126,7 +126,7 @@ impl TransactionIndex {
 #[derive(Copy, Clone, Debug, Eq, PartialEq, Ord, PartialOrd, Hash)]
 #[cfg_attr(
     any(test, feature = "proptest-impl"),
-    derive(Arbitrary, Serialize, Deserialize)
+    derive(Arbitrary, Default, Serialize, Deserialize)
 )]
 pub struct TransactionLocation {
     /// The block height of the transaction.

zebra-state/src/service/finalized_state/disk_format/scan.rs

@@ -13,6 +13,12 @@ use crate::{FromDisk, IntoDisk, TransactionLocation};
 
 use super::block::TRANSACTION_LOCATION_DISK_BYTES;
 
+#[cfg(any(test, feature = "proptest-impl"))]
+use proptest_derive::Arbitrary;
+
+#[cfg(test)]
+mod tests;
+
 /// The type used in Zebra to store Sapling scanning keys.
 /// It can represent a full viewing key or an individual viewing key.
 pub type SaplingScanningKey = String;
@@ -22,6 +28,7 @@ pub type SaplingScanningKey = String;
 /// Currently contains a TXID in "display order", which is big-endian byte order following the u256
 /// convention set by Bitcoin and zcashd.
 #[derive(Copy, Clone, Debug, Eq, PartialEq)]
+#[cfg_attr(any(test, feature = "proptest-impl"), derive(Arbitrary, Default))]
 pub struct SaplingScannedResult([u8; 32]);
 
 impl From<SaplingScannedResult> for transaction::Hash {
@@ -38,6 +45,7 @@ impl From<&[u8; 32]> for SaplingScannedResult {
 
 /// A database column family entry for a block scanned with a Sapling vieweing key.
 #[derive(Clone, Debug, Eq, PartialEq)]
+#[cfg_attr(any(test, feature = "proptest-impl"), derive(Arbitrary, Default))]
 pub struct SaplingScannedDatabaseEntry {
     /// The database column family key. Must be unique for each scanning key and scanned block.
     pub index: SaplingScannedDatabaseIndex,
@@ -48,6 +56,7 @@ pub struct SaplingScannedDatabaseEntry {
 
 /// A database column family key for a block scanned with a Sapling vieweing key.
 #[derive(Clone, Debug, Eq, PartialEq, Ord, PartialOrd)]
+#[cfg_attr(any(test, feature = "proptest-impl"), derive(Arbitrary, Default))]
 pub struct SaplingScannedDatabaseIndex {
     /// The Sapling viewing key used to scan the block.
     pub sapling_key: SaplingScanningKey,

zebra-state/src/service/finalized_state/disk_format/scan/tests.rs

@@ -0,0 +1,3 @@
+//! Tests for scanner database serialization.
+
+mod prop;

zebra-state/src/service/finalized_state/disk_format/scan/tests/prop.rs

@@ -0,0 +1,36 @@
+//! Randomised proptests for scanner database formats.
+
+use proptest::{arbitrary::any, prelude::*};
+
+use crate::{
+    service::finalized_state::arbitrary::assert_value_properties, SaplingScannedDatabaseIndex,
+    SaplingScannedResult, SaplingScanningKey,
+};
+
+#[test]
+fn roundtrip_sapling_scanning_key() {
+    let _init_guard = zebra_test::init();
+
+    proptest!(|(val in any::<SaplingScanningKey>())| assert_value_properties(val));
+}
+
+#[test]
+fn roundtrip_sapling_db_index() {
+    let _init_guard = zebra_test::init();
+
+    proptest!(|(val in any::<SaplingScannedDatabaseIndex>())| assert_value_properties(val));
+}
+
+#[test]
+fn roundtrip_sapling_result() {
+    let _init_guard = zebra_test::init();
+
+    proptest!(|(val in any::<SaplingScannedResult>())| assert_value_properties(val));
+}
+
+#[test]
+fn roundtrip_option_sapling_result() {
+    let _init_guard = zebra_test::init();
+
+    proptest!(|(val in any::<Option<SaplingScannedResult>>())| assert_value_properties(val));
+}

zebra-state/src/service/finalized_state/disk_format/tests/prop.rs

@@ -26,12 +26,15 @@ use crate::service::finalized_state::{
 
 // Common
 
-// TODO: turn this into a unit test, it has a fixed value
+/// This test has a fixed value, so testing it once is sufficient.
 #[test]
 fn roundtrip_unit_type() {
     let _init_guard = zebra_test::init();
 
-    proptest!(|(val in any::<()>())| assert_value_properties(val));
+    // The unit type `()` is serialized to the empty (zero-length) array `[]`.
+    #[allow(clippy::let_unit_value)]
+    let value = ();
+    assert_value_properties(value);
 }
 
 // Block