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> ToBits for ProgramID<N> {
 22      /// Returns the little-endian bits of the program ID.
 23      fn write_bits_le(&self, vec: &mut Vec<bool>) {
 24          (&self).write_bits_le(vec);
 25      }
 26  
 27      /// Returns the big-endian bits of the program ID.
 28      fn write_bits_be(&self, vec: &mut Vec<bool>) {
 29          (&self).write_bits_be(vec);
 30      }
 31  }
 32  
 33  impl<N: Network> ToBits for &ProgramID<N> {
 34      /// Returns the little-endian bits of the program ID.
 35      fn write_bits_le(&self, vec: &mut Vec<bool>) {
 36          self.name().write_bits_le(vec);
 37          self.network().write_bits_le(vec);
 38      }
 39  
 40      /// Returns the big-endian bits of the program ID.
 41      fn write_bits_be(&self, vec: &mut Vec<bool>) {
 42          self.name().write_bits_be(vec);
 43          self.network().write_bits_be(vec);
 44      }
 45  }
 46  
 47  #[cfg(test)]
 48  mod tests {
 49      use super::*;
 50      use crate::data::identifier::tests::sample_lowercase_identifier_as_string;
 51      use alphavm_console_network::MainnetV0;
 52  
 53      type CurrentNetwork = MainnetV0;
 54  
 55      const ITERATIONS: usize = 100;
 56  
 57      #[test]
 58      fn test_to_bits_le() -> Result<()> {
 59          let mut rng = TestRng::default();
 60  
 61          for _ in 0..ITERATIONS {
 62              // Sample a random fixed-length alphanumeric string, that always starts with an alphabetic character.
 63              let expected_name_string = sample_lowercase_identifier_as_string::<CurrentNetwork>(&mut rng)?;
 64              // Recover the field element from the bits.
 65              let expected_name_field = Field::<CurrentNetwork>::from_bits_le(&expected_name_string.to_bits_le())?;
 66              let expected_network_field = Field::<CurrentNetwork>::from_bits_le(&"alpha".to_string().to_bits_le())?;
 67              // Compute the expected bits.
 68              let mut expected_bits = expected_name_field.to_bits_le()[..expected_name_string.len() * 8].to_vec();
 69              expected_bits.extend(&expected_network_field.to_bits_le()[..5 * 8]);
 70  
 71              let candidate = ProgramID::<CurrentNetwork>::from_str(&format!("{expected_name_string}.alpha"))?;
 72              assert_eq!(
 73                  expected_name_field.to_bits_le()[..expected_name_string.len() * 8],
 74                  candidate.name().to_bits_le()
 75              );
 76              assert_eq!(expected_network_field.to_bits_le()[..5 * 8], candidate.network().to_bits_le());
 77              assert_eq!(expected_bits, candidate.to_bits_le());
 78          }
 79          Ok(())
 80      }
 81  
 82      #[test]
 83      fn test_to_bits_be() -> Result<()> {
 84          let mut rng = TestRng::default();
 85  
 86          for _ in 0..ITERATIONS {
 87              // Sample a random fixed-length alphanumeric string, that always starts with an alphabetic character.
 88              let expected_name_string = sample_lowercase_identifier_as_string::<CurrentNetwork>(&mut rng)?;
 89              // Recover the field element from the bits.
 90              let expected_name_field = Field::<CurrentNetwork>::from_bits_le(&expected_name_string.to_bits_le())?;
 91              let expected_network_field = Field::<CurrentNetwork>::from_bits_le(&"alpha".to_string().to_bits_le())?;
 92              // Compute the expected bits.
 93              let mut expected_bits = expected_name_field.to_bits_le()[..expected_name_string.len() * 8]
 94                  .iter()
 95                  .rev()
 96                  .copied()
 97                  .collect::<Vec<_>>();
 98              expected_bits.extend(expected_network_field.to_bits_le()[..5 * 8].iter().rev().copied());
 99  
100              let candidate = ProgramID::<CurrentNetwork>::from_str(&format!("{expected_name_string}.alpha"))?;
101              assert_eq!(
102                  expected_name_field.to_bits_le()[..expected_name_string.len() * 8]
103                      .iter()
104                      .rev()
105                      .copied()
106                      .collect::<Vec<_>>(),
107                  candidate.name().to_bits_be()
108              );
109              assert_eq!(
110                  expected_network_field.to_bits_le()[..5 * 8].iter().rev().copied().collect::<Vec<_>>(),
111                  candidate.network().to_bits_be()
112              );
113              assert_eq!(expected_bits, candidate.to_bits_be());
114          }
115          Ok(())
116      }
117  }