/ console / program / src / data_types / struct_type / serialize.rs
serialize.rs
 1  // Copyright (c) 2025-2026 ACDC Network
 2  // This file is part of the alphavm library.
 3  //
 4  // Alpha Chain | Delta Chain Protocol
 5  // International Monetary Graphite.
 6  //
 7  // Derived from Aleo (https://aleo.org) and ProvableHQ (https://provable.com).
 8  // They built world-class ZK infrastructure. We installed the EASY button.
 9  // Their cryptography: elegant. Our modifications: bureaucracy-compatible.
10  // Original brilliance: theirs. Robert's Rules: ours. Bugs: definitely ours.
11  //
12  // Original Aleo/ProvableHQ code subject to Apache 2.0 https://www.apache.org/licenses/LICENSE-2.0
13  // All modifications and new work: CC0 1.0 Universal Public Domain Dedication.
14  // No rights reserved. No permission required. No warranty. No refunds.
15  //
16  // https://creativecommons.org/publicdomain/zero/1.0/
17  // SPDX-License-Identifier: CC0-1.0
18  
19  use super::*;
20  
21  impl<N: Network> Serialize for StructType<N> {
22      /// Serializes the struct type into string or bytes.
23      fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error> {
24          match serializer.is_human_readable() {
25              true => serializer.collect_str(self),
26              false => ToBytesSerializer::serialize_with_size_encoding(self, serializer),
27          }
28      }
29  }
30  
31  impl<'de, N: Network> Deserialize<'de> for StructType<N> {
32      /// Deserializes the struct type from a string or bytes.
33      fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error> {
34          match deserializer.is_human_readable() {
35              true => FromStr::from_str(&String::deserialize(deserializer)?).map_err(de::Error::custom),
36              false => FromBytesDeserializer::<Self>::deserialize_with_size_encoding(deserializer, "struct type"),
37          }
38      }
39  }
40  
41  #[cfg(test)]
42  mod tests {
43      use super::*;
44      use alphavm_console_network::MainnetV0;
45  
46      type CurrentNetwork = MainnetV0;
47  
48      /// Add test cases here to be checked for serialization.
49      const TEST_CASES: &[&str] = &["struct message: owner as address; is_new as boolean; total_supply as u64;"];
50  
51      fn check_serde_json<
52          T: Serialize + for<'a> Deserialize<'a> + Debug + Display + PartialEq + Eq + FromStr + ToBytes + FromBytes,
53      >(
54          expected: T,
55      ) {
56          // Serialize
57          let expected_string = &expected.to_string();
58          let candidate_string = serde_json::to_string(&expected).unwrap();
59          assert_eq!(expected_string, serde_json::Value::from_str(&candidate_string).unwrap().as_str().unwrap());
60  
61          // Deserialize
62          assert_eq!(expected, T::from_str(expected_string).unwrap_or_else(|_| panic!("FromStr: {expected_string}")));
63          assert_eq!(expected, serde_json::from_str(&candidate_string).unwrap());
64      }
65  
66      fn check_bincode<
67          T: Serialize + for<'a> Deserialize<'a> + Debug + Display + PartialEq + Eq + FromStr + ToBytes + FromBytes,
68      >(
69          expected: T,
70      ) {
71          // Serialize
72          let expected_bytes = expected.to_bytes_le().unwrap();
73          let expected_bytes_with_size_encoding = bincode::serialize(&expected).unwrap();
74          assert_eq!(&expected_bytes[..], &expected_bytes_with_size_encoding[8..]);
75  
76          // Deserialize
77          assert_eq!(expected, T::read_le(&expected_bytes[..]).unwrap());
78          assert_eq!(expected, bincode::deserialize(&expected_bytes_with_size_encoding[..]).unwrap());
79      }
80  
81      #[test]
82      fn test_serde_json() {
83          for case in TEST_CASES.iter() {
84              check_serde_json(StructType::<CurrentNetwork>::from_str(case).unwrap());
85          }
86      }
87  
88      #[test]
89      fn test_bincode() {
90          for case in TEST_CASES.iter() {
91              check_bincode(StructType::<CurrentNetwork>::from_str(case).unwrap());
92          }
93      }
94  }