ZkFold.Base.Protocol.Plonkup.Utils

Documentation

getParams :: forall a. (Eq a, FiniteField a) => Natural -> (a, a, a)

getSecrectParams :: forall n g1 g2. (KnownNat n, Arithmetic (ScalarFieldOf g1), CyclicGroup g1, CyclicGroup g2, Scale (ScalarFieldOf g1) g2) => ScalarFieldOf g1 -> (Vector (n + 5) g1, g2)

sortByList :: Ord a => [a] -> [a] -> [a]