Skip to content

Commit 7ad00f3

Browse files
test(starknet_os): add small fft regression test
1 parent 0a037e7 commit 7ad00f3

File tree

1 file changed

+13
-0
lines changed
  • crates/starknet_os/src/hints/hint_implementation/kzg

1 file changed

+13
-0
lines changed

crates/starknet_os/src/hints/hint_implementation/kzg/test.rs

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,19 @@ fn generate(generator: &BigInt) -> Vec<BigInt> {
2121
array
2222
}
2323

24+
#[rstest]
25+
fn test_small_fft_regression(#[values(true, false)] bit_reversed: bool) {
26+
let prime = BigInt::from(17);
27+
let generator = BigInt::from(3);
28+
let coeffs: Vec<BigInt> = [0, 1, 2, 3].into_iter().map(BigInt::from).collect();
29+
let expected_eval: Vec<BigInt> = (if bit_reversed { [6, 15, 9, 4] } else { [6, 9, 15, 4] })
30+
.into_iter()
31+
.map(BigInt::from)
32+
.collect();
33+
let actual_eval = fft(&coeffs, &generator, &prime, bit_reversed).unwrap();
34+
assert_eq!(actual_eval, expected_eval);
35+
}
36+
2437
#[rstest]
2538
fn test_fft(#[values(true, false)] bit_reversed: bool) {
2639
let prime = BigInt::from_str_radix(BLS_PRIME, 10).unwrap();

0 commit comments

Comments
 (0)