symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Base.Protocol.Plonkup.Utils

Documentation

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

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