ZkFold.Symbolic.Algorithms.FFT

Documentation

fft :: forall ctx n. (Symbolic ctx, KnownNat n) => ctx (Vector (2 ^ n)) -> ctx (Vector (2 ^ n))

ifft :: forall ctx n. (Symbolic ctx, KnownNat n) => ctx (Vector (2 ^ n)) -> ctx (Vector (2 ^ n))