Merge pull request #56 from filecoin-project/improve-limb-conversion

Improve 64-bit to 32-bit limb conversion
This commit is contained in:
str4d 2022-11-25 20:53:15 +00:00 committed by GitHub
commit f80525dc24
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 23 additions and 5 deletions

View File

@ -12,10 +12,28 @@ pub use fq::*;
fn u64_to_u32(limbs: &[u64]) -> alloc::vec::Vec<u32> {
limbs
.iter()
.flat_map(|limb| {
Some((limb & 0xFFFF_FFFF) as u32)
.into_iter()
.chain(Some((limb >> 32) as u32))
})
.flat_map(|limb| [(limb & 0xFFFF_FFFF) as u32, (limb >> 32) as u32].into_iter())
.collect()
}
#[cfg(feature = "gpu")]
#[test]
fn test_u64_to_u32() {
use rand::{RngCore, SeedableRng};
use rand_xorshift::XorShiftRng;
let mut rng = XorShiftRng::from_seed([0; 16]);
let u64_limbs: alloc::vec::Vec<u64> = (0..6).map(|_| rng.next_u64()).collect();
let u32_limbs = crate::fields::u64_to_u32(&u64_limbs);
let u64_le_bytes: alloc::vec::Vec<u8> = u64_limbs
.iter()
.flat_map(|limb| limb.to_le_bytes())
.collect();
let u32_le_bytes: alloc::vec::Vec<u8> = u32_limbs
.iter()
.flat_map(|limb| limb.to_le_bytes())
.collect();
assert_eq!(u64_le_bytes, u32_le_bytes);
}