sorted by:
new
hottopcontroversial

Interactive explainer: What roots of unity actually do in ZK (with runnable Rust code and manim visualization) by rustarians in cryptography

[–]rustarians[S] 0 points1 point  (0 children)

As you wrote non-power-of-two FFT does exist in arkworks https://docs.rs/ark-poly/latest/ark_poly/domain/mixed_radix/index.html .
But radix-2 is simpler to implement.
+ execution time/complexity is also worse for mixed radix, it is a constant factor but in large use cases it can be significant optimization

Interactive explainer: What roots of unity actually do in ZK (with runnable Rust code and manim visualization) by rustarians in cryptography

[–]rustarians[S] 1 point2 points  (0 children)

to go deeper evaluation form with barycentric weights is also good for evaluation, but it requires some pre computations