INNER CODE UNIT · Rust

test_batch_inversion_allow_zeros_zero_on_chunk_boundary

0xMiden/crypto · miden-crypto/src/lib.rs:257

        fn test_batch_inversion_allow_zeros_zero_on_chunk_boundary() {
            let mut v = vec![Felt::new_unchecked(7); 1025];
            v[1023] = ZERO;
            batch_inversion_allow_zeros(&mut v);
            assert_eq!(v[1023], ZERO);
            for i in (0..1023).chain(1024..1025) {
                assert_eq!(v[i], Felt::new_unchecked(7).inverse());
            }
        }
    }
}

// TESTS
// ================================================================================================

#[cfg(test)]
mod tests {

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…