snarkvm_console_types_group/
from_bits.rs

1// Copyright (c) 2019-2025 Provable Inc.
2// This file is part of the snarkVM library.
3
4// Licensed under the Apache License, Version 2.0 (the "License");
5// you may not use this file except in compliance with the License.
6// You may obtain a copy of the License at:
7
8// http://www.apache.org/licenses/LICENSE-2.0
9
10// Unless required by applicable law or agreed to in writing, software
11// distributed under the License is distributed on an "AS IS" BASIS,
12// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13// See the License for the specific language governing permissions and
14// limitations under the License.
15
16use super::*;
17
18impl<E: Environment> FromBits for Group<E> {
19    /// Initializes a new group by recovering the **x-coordinate** of an affine group from a list of **little-endian** bits.
20    fn from_bits_le(bits_le: &[bool]) -> Result<Self> {
21        Self::from_x_coordinate(Field::<E>::from_bits_le(bits_le)?)
22    }
23
24    /// Initializes a new group by recovering the **x-coordinate** of an affine group from a list of **big-endian** bits.
25    fn from_bits_be(bits_be: &[bool]) -> Result<Self> {
26        Self::from_x_coordinate(Field::<E>::from_bits_be(bits_be)?)
27    }
28}
29
30#[cfg(test)]
31mod tests {
32    use super::*;
33    use snarkvm_console_network_environment::Console;
34
35    type CurrentEnvironment = Console;
36
37    const ITERATIONS: usize = 100;
38
39    fn check_from_bits_le() -> Result<()> {
40        let mut rng = TestRng::default();
41
42        for i in 0..ITERATIONS {
43            // Sample a random element.
44            let expected: Group<CurrentEnvironment> = Uniform::rand(&mut rng);
45            let given_bits = expected.to_bits_le();
46            assert_eq!(Group::<CurrentEnvironment>::size_in_bits(), given_bits.len());
47
48            let candidate = Group::<CurrentEnvironment>::from_bits_le(&given_bits)?;
49            assert_eq!(expected, candidate);
50
51            // Add excess zero bits.
52            let candidate = [given_bits, vec![false; i]].concat();
53
54            let candidate = Group::<CurrentEnvironment>::from_bits_le(&candidate)?;
55            assert_eq!(expected, candidate);
56            assert_eq!(Group::<CurrentEnvironment>::size_in_bits(), candidate.to_bits_le().len());
57        }
58        Ok(())
59    }
60
61    fn check_from_bits_be() -> Result<()> {
62        let mut rng = TestRng::default();
63
64        for i in 0..ITERATIONS {
65            // Sample a random element.
66            let expected: Group<CurrentEnvironment> = Uniform::rand(&mut rng);
67            let given_bits = expected.to_bits_be();
68            assert_eq!(Group::<CurrentEnvironment>::size_in_bits(), given_bits.len());
69
70            let candidate = Group::<CurrentEnvironment>::from_bits_be(&given_bits)?;
71            assert_eq!(expected, candidate);
72
73            // Add excess zero bits.
74            let candidate = [vec![false; i], given_bits].concat();
75
76            let candidate = Group::<CurrentEnvironment>::from_bits_be(&candidate)?;
77            assert_eq!(expected, candidate);
78            assert_eq!(Group::<CurrentEnvironment>::size_in_bits(), candidate.to_bits_be().len());
79        }
80        Ok(())
81    }
82
83    #[test]
84    fn test_from_bits_le() -> Result<()> {
85        check_from_bits_le()
86    }
87
88    #[test]
89    fn test_from_bits_be() -> Result<()> {
90        check_from_bits_be()
91    }
92}
snarkvm_console_types_group/from_bits.rs

snarkvm_console_types_group/
from_bits.rs
