size_in_bits.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> Identifier<N> { 22 /// Returns the number of bits of this identifier. 23 pub fn size_in_bits(&self) -> u8 { 24 // The size in bits always fits in a u8, as the underlying representation is a field element. 25 debug_assert!(Field::<N>::size_in_data_bits() <= u8::MAX as usize); 26 // Convert the size to bits (as a byte-aligned multiple). 27 8 * self.1 28 } 29 } 30 31 #[cfg(test)] 32 mod tests { 33 use super::*; 34 use crate::data::identifier::tests::sample_identifier_as_string; 35 use alphavm_console_network::MainnetV0; 36 37 type CurrentNetwork = MainnetV0; 38 39 const ITERATIONS: usize = 100; 40 41 #[test] 42 fn test_size_in_bits() -> Result<()> { 43 let mut rng = TestRng::default(); 44 45 for _ in 0..ITERATIONS { 46 // Sample a random fixed-length alphanumeric string, that always starts with an alphabetic character. 47 let expected_string = sample_identifier_as_string::<CurrentNetwork>(&mut rng)?; 48 49 let candidate = Identifier::<CurrentNetwork>::from_str(&expected_string)?; 50 assert_eq!(expected_string.len() * 8, candidate.size_in_bits() as usize); 51 } 52 Ok(()) 53 } 54 }