ZkFold.Base.Algorithm.ReedSolomon

Documentation

numberOfError :: forall n k. (KnownNat n, KnownNat k) => Natural

generator :: (Field a, Eq a) => Int -> a -> Poly a

encode :: (Field c, Eq c) => [c] -> c -> Int -> Poly c

decode :: (Field c, Eq c) => Poly c -> c -> Int -> Int -> Poly c

berlekamp :: forall c. (Field c, Eq c) => Poly c -> Int -> (Integer, Poly c)

scalarN :: Semiring c => Int -> Int -> Vector c -> Vector c -> c

diff :: (Field c, Eq c) => Poly c -> Poly c