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 Literal<N> {
22      /// Serializes the literal into a string or as 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 Literal<N> {
32      /// Deserializes the literal 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, "literal"),
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      const ITERATIONS: u64 = 1000;
49  
50      #[test]
51      fn test_serde_json() -> Result<()> {
52          let mut rng = TestRng::default();
53  
54          for _ in 0..ITERATIONS {
55              // Sample a new literal.
56              let expected = Literal::<CurrentNetwork>::sample(LiteralType::Field, &mut rng);
57  
58              // Serialize
59              let expected_string = &expected.to_string();
60              let candidate_string = serde_json::to_string(&expected)?;
61              assert_eq!(expected_string, serde_json::Value::from_str(&candidate_string)?.as_str().unwrap());
62  
63              // Deserialize
64              assert_eq!(expected, Literal::from_str(expected_string)?);
65              assert_eq!(expected, serde_json::from_str(&candidate_string)?);
66          }
67          Ok(())
68      }
69  
70      #[test]
71      fn test_bincode() -> Result<()> {
72          let mut rng = TestRng::default();
73  
74          for _ in 0..ITERATIONS {
75              // Sample a new literal.
76              let expected = Literal::<CurrentNetwork>::sample(LiteralType::Field, &mut rng);
77  
78              // Serialize
79              let expected_bytes = expected.to_bytes_le()?;
80              let expected_bytes_with_size_encoding = bincode::serialize(&expected)?;
81              assert_eq!(&expected_bytes[..], &expected_bytes_with_size_encoding[8..]);
82  
83              // Deserialize
84              assert_eq!(expected, Literal::read_le(&expected_bytes[..])?);
85              assert_eq!(expected, bincode::deserialize(&expected_bytes_with_size_encoding[..])?);
86          }
87          Ok(())
88      }
89  }